Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006162OCamlOCaml generalpublic2013-09-05 17:422015-12-02 18:25
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionlaterFixed in Version 
Summary0006162: Confusing error message when the user name a variable as an existing alphabetic infix operator
DescriptionBoth 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.
TagsNo tags attached.
Attached Files

- Relationships
child of 0005068acknowledged ocamlc/camlp4 should give better error messages for syntax errors 

-  Notes
doligez (administrator)
2014-01-21 15:45

I gave it a try but it's hard to fit as a change in the yacc grammar. Maybe it can be done by recovering the lookahead token after a syntax error.

- Issue History
Date Modified Username Field Change
2013-09-05 17:42 gasche New Issue
2013-09-05 17:43 gasche Status new => acknowledged
2013-09-05 17:43 gasche Relationship added child of 0005068
2013-09-05 17:44 gasche Description Updated View Revisions
2013-09-17 15:53 lpw25 Tag Attached: junior_job
2014-01-21 15:45 doligez Note Added: 0010822
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-06-19 17:21 gasche Tag Detached: junior_job
2014-07-16 20:11 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-22 21:41 doligez Target Version undecided => 4.03.0+dev / +beta1
2015-12-02 18:25 frisch Target Version 4.03.0+dev / +beta1 => later

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker