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
Can you provide a concrete use case?
Your example doesn't really make sense, since you are using the fresh signature to unpack a first class module, and it can only be unpacked with its original signature.
Or is the goal just to avoid typing "with type ..." repeatedly?
Note that with the current approach to first class modules, this extension would be problematic, because if you pack a first-class module with a local signature you have to check that is doesn't leak outside.
If we further relax the restriction on first-class modules, so that the signature doesn't need to be predefined, it would be possible to just expand the signature in that case, but this is another language change.
Yes the goal is just to avoid to repeat the typing of with type t = a multiple times which can become very verbose if you have more multiple type variable you want to bind and multiple first-class module you want to unpack as arguments.
But yes, you are right, I'm not able to write a simple (but verbose) use-case where the typer is happy, so I'm not sure ... Feel free to close the issue then.
Original bug ID: 6370
Reporter: @samoht
Assigned to: @garrigue
Status: closed (set by @alainfrisch on 2014-04-16T16:39:47Z)
Resolution: won't fix
Priority: normal
Severity: minor
Version: 4.01.0
Category: typing
Monitored by: @hcarty
Bug description
Would be great to be able to write:
The text was updated successfully, but these errors were encountered: