diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2015-12-01 01:53:24 +0900 |
---|---|---|
committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2015-12-01 01:53:24 +0900 |
commit | f7d20f161ae2103d376bd7432c1c7ba2b64023dc (patch) | |
tree | 4d02452f8dd498ec56d7d7355be6e0c1e12facd0 | |
parent | f6879077e08b5fc1c46463cfc401f6136bdd6aff (diff) | |
download | ocaml-f7d20f161ae2103d376bd7432c1c7ba2b64023dc.tar.gz |
Fix for commit 9229b1
-rw-r--r-- | typing/ctype.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/typing/ctype.ml b/typing/ctype.ml index d69fba248e..61e6a18c5b 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -605,6 +605,10 @@ let rec generalize ty = iter_type_expr generalize ty end +let generalize ty = + simple_abbrevs := Mnil; + generalize ty + (* Generalize the structure and lower the variables *) let rec generalize_structure var_level ty = |