Commit c01870cc authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Typo

parent bc968c1b
......@@ -54,7 +54,9 @@ let rec infer : tterm -> sty = function
| Tcast (_, _, ty) -> ty
and infer_meth (Tmeth (_, _, _, ty)) = ty
exception Subype_checking_error of sty * sty
exception Subtype_checking_error of sty * sty
let dummy_var = (Id "_self")
let rec type_term env : sterm -> tterm = function
| Svar (x, ty) -> Tvar (x, ty)
......@@ -69,7 +71,7 @@ let rec type_term env : sterm -> tterm = function
if subtype ty2 ty1l then
Tapp (tt1, Tcast (tt2, ty2, ty1l), ty1l, ty1r)
else
raise (Subype_checking_error (ty2, ty1l))
raise (Subtype_checking_error (ty2, ty1l))
| Sabst (x, ty, body) ->
let tbody = type_term ((x, ty) :: env) body in
Tabst (x, ty, tbody, infer tbody)
......
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