Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006162OCamlOCaml generalpublic2013-09-05 17:422014-01-21 15:45
Reportergasche 
Assigned To 
PrioritylowSeveritytextReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.01.1+devFixed 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.
Tagsjunior_job
Attached Files

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

-  Notes
(0010822)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker