Skip to content

Confusing error message when the user name a variable as an existing alphabetic infix operator #6162

@vicuna

Description

@vicuna

Original bug ID: 6162
Reporter: @gasche
Status: acknowledged (set by @gasche on 2013-09-05T15:43:06Z)
Resolution: open
Priority: low
Severity: feature
Category: lexing and parsing
Child of: #5068

Bug description

Both error messages highlight the bound identifier and are fairly confusing:

match foo with `Mod mod -> ();;

Error: Syntax error

let lsl = 4;;

Error: Syntax error

Intuitively, we'd like to special-case those errors to explain the conflict with the infix operator, but it's unclear that it is reasonably feasible to do so with the current parsing technology.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions