Commit b2d27e42 authored by dreixel's avatar dreixel
Browse files

Fix a bug in TcCanonical (Dimitrios spotted)

parent e3289425
......@@ -1296,7 +1296,7 @@ canEqLeafTyVarLeft d fl eqv tv s2 -- eqv : tv ~ s2
; if no_flattening_happened then
if isNothing occ_check_result then
canEqFailure d fl eqv
canEqFailure d fl (setVarType eqv $ mkEqPred (mkTyVarTy tv, xi2'))
else
continueWith $ CTyEqCan { cc_id = eqv
, cc_flavor = fl
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment