Commit 5f3d4fe4 authored by Pietro Abate's avatar Pietro Abate
Browse files

Minor compilation error

parent 336d06bb
......@@ -58,7 +58,7 @@ let rec _to_typed env l expr =
raise Error
let v = if Types.no_var vtype then Var(index, vname) else TVar(index, vname)
in env, l, { exp_loc=loc; exp_typ=t; exp_descr=v }
in env, l, { exp_loc=loc; exp_typ=vtype; exp_descr=v }
| Int (_, i) ->
let i = Big_int.big_int_of_int i in
env, l, { exp_loc=loc; exp_typ=(type_of_string "Int");
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