must cleanup_abbrev in matches

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5769 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-09 12:09:11 +00:00 · 2003-08-09 12:09:11 +00:00 · fec4c52bba
parent e9c6054e8b
commit fec4c52bba
1 changed files with 1 additions and 0 deletions
--- a/typing/ctype.ml
+++ b/typing/ctype.ml
@ -2108,6 +2108,7 @@ let all_distinct_vars env vars =
 let matches env ty ty' =
  let snap = snapshot () in
  let vars = rigidify ty in
+  cleanup_abbrev ();
  let ok =
    try unify env ty ty'; all_distinct_vars env vars
    with Unify _ -> false