We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Hello! I'm getting parse error on following Haskell code:
[...] (~^) = defFunction2 (\a b -> get1 (member (Proxy :: Proxy "pow") (get0 a)) b) [...]
Please note, that :: Proxy "pow" is a valid Haskell expression if the Proxy was defined in the following way:
:: Proxy "pow"
data Proxy a = Proxy
with -XDataKinds extension enabled.
-XDataKinds
The error:
Language.Haskell.Stylish.Parse.parseModule: could not parse Std.hs: ParseFailed (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 23, srcColumn = 59}) "Parse error: \"pow\"
The text was updated successfully, but these errors were encountered:
Datakinds is not supported yet, see #19.
Sorry, something went wrong.
Should be fixed in HEAD now.
No branches or pull requests
Hello! I'm getting parse error on following Haskell code:
Please note, that
:: Proxy "pow"
is a valid Haskell expression if the Proxy was defined in the following way:with
-XDataKinds
extension enabled.The error:
The text was updated successfully, but these errors were encountered: