You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5444 Reporter: pilki Assigned to:@garrigue Status: closed (set by @xavierleroy on 2012-09-25T18:07:21Z) Resolution: fixed Severity: feature Platform: all OS: all OS Version: all Category: ~DO NOT USE (was: OCaml general) Parent of:#5445#5446#5447#5448#5449#5450
Bug 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)
The text was updated successfully, but these errors were encountered:
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.
Original bug ID: 5444
Reporter: pilki
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2012-09-25T18:07:21Z)
Resolution: fixed
Severity: feature
Platform: all
OS: all
OS Version: all
Category: ~DO NOT USE (was: OCaml general)
Parent of: #5445 #5446 #5447 #5448 #5449 #5450
Bug 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)
The text was updated successfully, but these errors were encountered: