Fix structure/record inference

The original code simply used a wrong variable in place of the field name.
1ml-prime · Feb 19, 2020 · 2046638 · 2046638
1 parent d146ee9
commit 2046638
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/elab.ml b/elab.ml
@@ -446,7 +446,7 @@ Trace.debug (lazy ("[FunE] env =" ^ VarSet.fold (fun a s -> s ^ " " ^ a) (domain
  | InferT(z) ->
  (* TODO: row polymorphism *)
  let t, zs = guess_typ (Env.domain_typ (add_typs aks env)) BaseK in
- let tr = [l, t] in
+ let tr = [var.it, t] in
  resolve_always z (StrT(tr)); tr, zs
  | _ -> error exp1.at "expression is not a structure"
  in

diff --git a/regression.1ml b/regression.1ml
@@ -1,3 +1,7 @@
+record_inference x = x.works_a_little;
+
+;;
+
 type DEC_PUNNING = {int; list};
 
 ;;