typo
This commit is contained in:
parent
11511ab0a2
commit
981c513bd9
1 changed files with 1 additions and 1 deletions
|
@ -40,7 +40,7 @@ let typeof t =
|
||||||
| Some _ -> Some ty_fn, env
|
| Some _ -> Some ty_fn, env
|
||||||
| None -> None, env)
|
| None -> None, env)
|
||||||
(* | (Some (Type.Var _ as ty1), _), _ ->
|
(* | (Some (Type.Var _ as ty1), _), _ ->
|
||||||
(* On this case we may have a function represented as the variable *)
|
(* On this case we may have a function represented as a variable *)
|
||||||
let ty2 = Type.Arrow (ty1, ty1) in
|
let ty2 = Type.Arrow (ty1, ty1) in
|
||||||
(match Unification.unify ty1 ty2 with
|
(match Unification.unify ty1 ty2 with
|
||||||
| Some env' -> Some ty2, env'
|
| Some env' -> Some ty2, env'
|
||||||
|
|
Reference in a new issue