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: 6734 Reporter:@whitequark Assigned to:@whitequark Status: closed (set by @whitequark on 2015-01-02T10:58:24Z) Resolution: duplicate Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general) Duplicate of:#6171 Monitored by:@hcarty
Bug description
Consider this simple example:
let t = Hashtbl.create(1)
type u = { v : unit }
let f () = let {v} = Hashtbl.find t "" in ()
The error message it produces is:
File "t.ml", line 5, characters 21-38:
Error: This expression has type u but an expression was expected of type u
The type constructor u would escape its scope
The first line is plain out bizarre. The second one is understandable... in hindsight. It did not occur to me that this would be the cause of the message until I terminally reduced the example...
The text was updated successfully, but these errors were encountered:
Original bug ID: 6734
Reporter: @whitequark
Assigned to: @whitequark
Status: closed (set by @whitequark on 2015-01-02T10:58:24Z)
Resolution: duplicate
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #6171
Monitored by: @hcarty
Bug description
Consider this simple example:
The error message it produces is:
The first line is plain out bizarre. The second one is understandable... in hindsight. It did not occur to me that this would be the cause of the message until I terminally reduced the example...
The text was updated successfully, but these errors were encountered: