`exists` parsed as existential quantification in expression #11

Closed
spockz opened this Issue Nov 28, 2012 · 1 comment

Projects

None yet

2 participants

Member
spockz commented Nov 28, 2012

Inside a do block exists is read as existential quantifier.

module Main where

main = do exists <- undefined
          return ()
[1/1] Compiling Haskell                  Main                   (ErrorTest.hs)
Parse (Haskell syntax) of module
*** ERROR ***
ErrorTest.hs(3,11):
    Expecting  : Symbol symbol let or pExpression or pPattern or (Symbol symbol ; or Nothing expected ...)* 
    Repaired by: deleting: Symbol symbol exists at line 3, column 11 of file "ErrorTest.hs"
*** ERROR ***
ErrorTest.hs(3,18):
    Expecting  : Symbol symbol let or pExpression or pPattern or (Symbol symbol ; or Nothing expected ...)* 
    Repaired by: deleting: Symbol symbol <- at line 3, column 18 of file "ErrorTest.hs"

It also happens inside a let-statement:

module Main where

main = let exists = undefined
        in return ()
[1/1] Compiling Haskell                  Main                   (ErrorTest.hs)
Parse (Haskell syntax) of module
*** ERROR ***
ErrorTest.hs(3,12):
    Expecting  : CloseBrace or pDeclaration or (Symbol symbol ; or Nothing expected ...)* 
    Repaired by: deleting: Symbol symbol exists at line 3, column 12 of file "ErrorTest.hs"
*** ERROR ***
ErrorTest.hs(3,19):
    Expecting  : CloseBrace or pDeclaration or (Symbol symbol ; or Nothing expected ...)* 
    Repaired by: deleting: Symbol symbol = at line 3, column 19 of file "ErrorTest.hs"
*** ERROR ***
ErrorTest.hs(4,9):
    Expecting  : Symbol symbol :: or Symbol symbol @ or pRhs or qconop or varop_no_bang or (pPatternBaseCon ...)+ or (Symbol symbol , ...
    Repaired by: deleting: CloseBrace
*** ERROR ***
ErrorTest.hs(4,9):
    Expecting  : Symbol symbol :: 
    Repaired by: deleting: Symbol symbol in at line 4, column 9 of file "ErrorTest.hs"
*** ERROR ***
ErrorTest.hs(4,12):
    Expecting  : Symbol symbol :: 
    Repaired by: inserting: Symbol symbol ::
... and more errors
@atzedijkstra atzedijkstra added a commit that referenced this issue Feb 4, 2014
@atzedijkstra atzedijkstra fixed issue #11 84e6797
Owner

Fixed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment