Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006313OCamlOCaml typingpublic2014-02-01 12:132014-07-16 15:08
Reportergasche 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.02.0+dev 
Target VersionFixed in Version 
Summary0006313: [github patch] warn user when a type variable in a type constraint has been instantiated
DescriptionReported by Grégoire Henry:
  https://github.com/ocaml/ocaml/pull/6 [^]
Patch is available at:
  https://github.com/ocaml/ocaml/pull/6.patch [^]

> It seems to be a common misunderstanding amongst beginners that type
> variables in type constraint are unification variables and that they
> should be explicitly quantified when desired.
>
> This small patch adds a warning when such non-quantified variable has
> been instantiated by the type checker. The verification is made /a
> posteriori/ by looking for type constraints in the typed tree.
>
> I'm not sure this warning is really a desired feature, but it is
> probably worth discussion. For instance, ocamlyacc-generated files use
> such variables on purpose.


  
Tagspatch
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-02-01 12:13 gasche New Issue
2014-02-19 20:13 doligez Tag Attached: patch
2014-07-16 15:08 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker