diff options
Diffstat (limited to 'toplevel/classes.ml')
| -rw-r--r-- | toplevel/classes.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/classes.ml b/toplevel/classes.ml index 56f9cb564..07f4354b5 100644 --- a/toplevel/classes.ml +++ b/toplevel/classes.ml @@ -187,11 +187,11 @@ let new_instance ?(abstract=false) ?(global=false) poly ctx (instid, bk, cl) pro else ( let props = match props with - | Some (CRecord (loc, _, fs)) -> + | Some (true, CRecord (loc, _, fs)) -> if List.length fs > List.length k.cl_props then mismatched_props env' (List.map snd fs) k.cl_props; Some (Inl fs) - | Some t -> Some (Inr t) + | Some (_, t) -> Some (Inr t) | None -> if Flags.is_program_mode () then Some (Inl []) else None |