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
As mentioned in #5445, this is a consequence of dropping variable names upon instantiation.
We probably need to do something in this case, as we clearly want to keep those explicit names, at least in the current function definition.
Original bug ID: 5450
Reporter: pilki
Assigned to: @garrigue
Status: closed (set by @garrigue on 2011-12-27T09:01:47Z)
Resolution: fixed
Severity: feature
Fixed in version: 3.13.0+dev
Category: ~DO NOT USE (was: OCaml general)
Child of: #5444
Monitored by: @protz
Bug description
If you write
<<<
let f (x:'foo) = x
the inferred type is
val f : 'foo -> 'foo
but if you write
<<<
let g (type bar) (x:bar) = x
you end up with
val g : 'a -> 'a
instead of
val g : 'bar -> 'bar
The text was updated successfully, but these errors were encountered: