Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006313OCamltypingpublic2014-02-01 12:132014-07-16 15:08
Assigned To 
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: [^]
Patch is available at: [^]

> 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.

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
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker