Skip to content
New issue

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

Update error location when unexpectedly parsing binder #3454

Open
andrevidela opened this issue Dec 21, 2024 · 0 comments
Open

Update error location when unexpectedly parsing binder #3454

andrevidela opened this issue Dec 21, 2024 · 0 comments

Comments

@andrevidela
Copy link
Collaborator

andrevidela commented Dec 21, 2024

Steps to Reproduce

mayBeesToMaybe : List (Maybe a) -> Maybe (List a)                                                                     
mayBeesToMaybe (x :: xs) = case x of                                                                                   
                                _ => Just (x : xs)   

Expected Behavior

Error: Unexpected binder in application.

ParserErrorHelp:4:35--4:37
 1 | 
 2 | mayBeesToMaybe : List (Maybe a) -> Maybe (List a)
 3 | mayBeesToMaybe (x :: xs) = case x of
 4 |                                 _ => Just (x : xs)
                                               ^^^^^^^^

Observed Behavior

Error: Expected '=>' or 'impossible'.

ParserErrorHelp:4:35--4:37
 1 | 
 2 | mayBeesToMaybe : List (Maybe a) -> Maybe (List a)
 3 | mayBeesToMaybe (x :: xs) = case x of
 4 |                                 _ => Just (x : xs)
                                       ^^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant