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: 3712 Reporter: administrator Status: closed Resolution: not a bug Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
If you compile the following single line file with -dtypes and move the cursor
over 'a in emacs, then the type shown is 'unit' (or actually whatever the return
type of the 'let' is).
If you compile the following single line file with -dtypes and move the
cursor
over 'a in emacs, then the type shown is 'unit' (or actually whatever the
return
type of the 'let' is).
let f : ([Foo] as 'a) = Foo in ()
That's not a bug. The whole phrase is the smallest expression that contains
the 'a, and its type is ().
Original bug ID: 3712
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Ethan Aubin
Version: 3.07+2
OS: Solaris
Submission from: c-24-60-21-144.hsd1.ma.comcast.net (24.60.21.144)
If you compile the following single line file with -dtypes and move the cursor
over 'a in emacs, then the type shown is 'unit' (or actually whatever the return
type of the 'let' is).
let f : ([
Foo] as 'a) =
Foo in ()Cheers -- ethan.aubin@pobox.com
The text was updated successfully, but these errors were encountered: