Commit b6f8d10a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-24 21:02:32 by cvscast] Beppe: typos

Original author: cvscast
Date: 2003-05-24 21:02:32+00:00
parent 9bacbf79
...@@ -699,7 +699,7 @@ and type_check' loc env e constr precise = match e with ...@@ -699,7 +699,7 @@ and type_check' loc env e constr precise = match e with
in in
if not (Types.Record.has_empty_record rconstr) then if not (Types.Record.has_empty_record rconstr) then
raise_loc loc raise_loc loc
(ShouldHave (constr,"More field should be present")); (ShouldHave (constr,"More fields should be present"));
let t = let t =
Types.record' (false, LabelMap.from_list (fun _ _ -> assert false) res) Types.record' (false, LabelMap.from_list (fun _ _ -> assert false) res)
in in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment