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: 3848 Reporter: administrator Status: closed (set by @damiendoligez on 2012-09-11T12:06:07Z) Resolution: fixed Priority: low Severity: text Target version: 4.00.1+dev Category: ~DO NOT USE (was: OCaml general)
The type checker raises an error of Unbound type constructor
for the program below.
It should tell me ill-typedness of F(M).t.
(M does not match the argument signature F expects.)
module F(X:sig type t end) = struct type t = int end
module M = struct end
type t = F(M).t
The text was updated successfully, but these errors were encountered:
Original bug ID: 3848
Reporter: administrator
Status: closed (set by @damiendoligez on 2012-09-11T12:06:07Z)
Resolution: fixed
Priority: low
Severity: text
Target version: 4.00.1+dev
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Keiko NAKATA
Version: 3.09.0
OS: freebsd
Submission from: silicon.kurims.kyoto-u.ac.jp (130.54.16.72)
The type checker raises an error of Unbound type constructor
for the program below.
It should tell me ill-typedness of F(M).t.
(M does not match the argument signature F expects.)
module F(X:sig type t end) = struct type t = int end
module M = struct end
type t = F(M).t
The text was updated successfully, but these errors were encountered: