|Anonymous | Login | Signup for a new account||2017-02-21 17:35 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005444||OCaml||OCaml general||public||2011-12-23 16:44||2012-09-25 20:07|
|Target Version||Fixed in Version|
|Summary||0005444: A parent "feature request" for a serie of FR about printing type variables|
|Description||This feature request is used as a parent for a serie of feature requests (or maybe just comments) about the printing of type variable.|
In the trunk, when you type
let f (x:'foo) = x
the inferred type is now 'foo -> 'foo
But this still suffers a certain number of limitations that are reported in subsequent request
(Disclaimer: I talked a bit about that over email with Jacques Garrigue, and I know that some of this "features" are not worth the time. I still report them here for futur references)
|Tags||No tags attached.|
Thank you for making it look like I'm doing lots of work :-)
But maybe you didn't need to split to such detail.
Basically all the behaviors you describe come from the fact variable names are not inherited upon instantiation.
In some cases (single identifier at toplevel and (type u) notation) I agree there is a problem, but in other cases I'm basically not convinced that inheriting names would not be that helpful (and would have to be done with care).
To be precise, the main goal of named type variables was to make error reports clearer: if you have written a variable name, either in an expression or a type definition, it should be used when reporting errors inside that expression or type definition. If you find a case where it is not used, then this is a bug.
All children are resolved.
Do not close for future reference.
|2011-12-23 16:44||pilki||New Issue|
|2011-12-23 17:03||protz||Relationship added||parent of 0005445|
|2011-12-23 17:04||protz||Relationship added||parent of 0005446|
|2011-12-23 17:16||protz||Relationship added||parent of 0005447|
|2011-12-23 17:16||protz||Relationship added||parent of 0005448|
|2011-12-23 17:16||protz||Relationship added||parent of 0005449|
|2011-12-23 17:26||protz||Relationship added||parent of 0005450|
|2011-12-24 02:31||garrigue||Assigned To||=> garrigue|
|2011-12-24 02:31||garrigue||Status||new => assigned|
|2011-12-24 04:20||garrigue||Note Added: 0006532|
|2011-12-24 04:20||garrigue||Status||assigned => acknowledged|
|2011-12-28 03:25||garrigue||Note Added: 0006544|
|2011-12-28 03:25||garrigue||Status||acknowledged => resolved|
|2011-12-28 03:25||garrigue||Resolution||open => fixed|
|2012-09-25 20:07||xleroy||Status||resolved => closed|
|Copyright © 2000 - 2011 MantisBT Group|