Permalink
Browse files

[debug] Unification: Missing case in traces.

  • Loading branch information...
1 parent 5a69890 commit 0bf039c3ab83179ae1a6f27178aff6560c631da8 @fpessaux fpessaux committed Aug 11, 2011
Showing with 4 additions and 0 deletions.
  1. +4 −0 libqmlcompil/typer_w/w_Unify.ml
@@ -587,6 +587,10 @@ let rec __unify_simple_type env seen_expansions ty1 ty2 =
#<End> ; (* <---------- END DEBUG *)
let (ty1', seen_expansions') =
W_TypeAbbrevs.incrementally_expand_abbrev env seen_expansions ty1 in
+ #<If:TYPER $minlevel 11> (* <---------- DEBUG *)
+ OManager.printf "SType_named non-manifest expanded: %a@."
+ W_PrintTypes.pp_simple_type ty1' ;
+ #<End> ; (* <---------- END DEBUG *)
if ty1 == ty1' then
raise
(Unification_simple_type_conflict

0 comments on commit 0bf039c

Please sign in to comment.