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: 6930 Reporter: jmcarthur Assigned to:@garrigue Status: closed (set by @xavierleroy on 2017-02-16T14:14:56Z) Resolution: fixed Priority: normal Severity: minor Version: 4.02.1 Fixed in version: 4.02.3+dev Category: typing Monitored by:@gasche
Bug description
Using an alias as the result type of a GADT constructor seems to be crash the compiler as soon as you try to use the constructor. See "steps to reproduce."
Steps to reproduce
Try to compile the following program:
type t = T : (t as 't) -> 't
let f t = T t
Additional information
My example doesn't break if I define the type like this instead:
type t = T : 't -> (t as 't)
The text was updated successfully, but these errors were encountered:
Original bug ID: 6930
Reporter: jmcarthur
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:14:56Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.1
Fixed in version: 4.02.3+dev
Category: typing
Monitored by: @gasche
Bug description
Using an alias as the result type of a GADT constructor seems to be crash the compiler as soon as you try to use the constructor. See "steps to reproduce."
Steps to reproduce
Try to compile the following program:
Additional information
My example doesn't break if I define the type like this instead:
The text was updated successfully, but these errors were encountered: