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: 6620 Reporter:@yallop Status: acknowledged (set by @damiendoligez on 2014-12-17T23:06:29Z) Resolution: open Priority: normal Severity: feature Category: typing Tags: junior_job
Bug description
For uniformity, and in the interests of not having to name things that aren't used, it'd be useful to be able to leave type parameters in module type constraints unnamed:
module type S = sig type _ t end
module type T = S with type _ t = unit
The text was updated successfully, but these errors were encountered:
This is fixed in trunk (perhaps by the switch to Menhir?):
# module type S = sig type _ t end;;
module type S = sig type _ t end
# module type T = S with type _ t = unit;;
module type T = sig type _ t = unit end
Original bug ID: 6620
Reporter: @yallop
Status: acknowledged (set by @damiendoligez on 2014-12-17T23:06:29Z)
Resolution: open
Priority: normal
Severity: feature
Category: typing
Tags: junior_job
Bug description
For uniformity, and in the interests of not having to name things that aren't used, it'd be useful to be able to leave type parameters in module type constraints unnamed:
module type S = sig type _ t end
module type T = S with type _ t = unit
The text was updated successfully, but these errors were encountered: