Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

whitespace.

master
Thomas Refis 2018-02-12 16:37:34 +00:00
parent 9cb685557d
commit 571245f89e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/ctype.ml
View File

@ -736,7 +736,7 @@ let rec update_level env level expand ty =
with Cannot_expand ->
set_level ty level;
iter_type_expr (update_level env level expand) ty
end
end
| Tpackage (p, nl, tl) when level < Path.binding_time p ->
let p' = normalize_package_path env p in
if Path.same p p' then raise (Unify [(ty, newvar2 level)]);
@ -2471,7 +2471,7 @@ and unify3 env t1 t1' t2 t2' =
| Expression ->
occur !env t1' t2';
if is_self_type d1 (* PR#7711: do not abbreviate self type *)
then link_type t1' t2'
then link_type t1' t2'
else link_type t1' t2
| Pattern ->
add_type_equality t1' t2'