|Anonymous | Login | Signup for a new account||2017-09-20 14:50 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0006313||OCaml||typing||public||2014-02-01 12:13||2014-07-16 15:08|
|Target Version||Fixed in Version|
|Summary||0006313: [github patch] warn user when a type variable in a type constraint has been instantiated|
|Description||Reported 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.
|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|