diff options
| author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2022-03-15 11:30:02 +0900 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2022-03-15 11:38:00 +0900 |
| commit | 734db8086d4b4e42ac894c4e3a984cb71b2a2470 (patch) | |
| tree | a06df8fff8d41246ff9d1c58d43443c0b966c9d5 /typing/types.ml | |
| parent | 2a5dd92ee52556b0842121be4694d5b967350499 (diff) | |
| download | ocaml-734db8086d4b4e42ac894c4e3a984cb71b2a2470.tar.gz | |
Fix #11101 by making `occur ty ty` succeed (#11109)
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/types.ml b/typing/types.ml index 739c7f18af..81febbf3fb 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -720,6 +720,7 @@ let log_type ty = let link_type ty ty' = let ty = repr ty in let ty' = repr ty' in + if ty == ty' then () else begin log_type ty; let desc = ty.desc in Transient_expr.set_desc ty (Tlink ty'); @@ -736,6 +737,7 @@ let link_type ty ty' = | None, None -> () end | _ -> () + end (* ; assert (check_memorized_abbrevs ()) *) (* ; check_expans [] ty' *) (* TODO: consider eliminating set_type_desc, replacing it with link types *) |