diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-25 12:15:04 (GMT) |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-28 08:55:07 (GMT) |
| commit | 6c2d9175c70d735834f0bd1673647d00f0a483b5 (patch) | |
| tree | 0db9c04d32015480eebc87e8000c4777e5677d4d | |
| parent | 7f6674d62e760d2afa53ff57bb4a115eed58901d (diff) | |
| download | ghc-6c2d9175c70d735834f0bd1673647d00f0a483b5.zip ghc-6c2d9175c70d735834f0bd1673647d00f0a483b5.tar.gz ghc-6c2d9175c70d735834f0bd1673647d00f0a483b5.tar.bz2 | |
A bit more tcTrace
| -rw-r--r-- | compiler/typecheck/TcUnify.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs index 6d39169..6bb81d9 100644 --- a/compiler/typecheck/TcUnify.hs +++ b/compiler/typecheck/TcUnify.hs @@ -1161,7 +1161,8 @@ unifyType :: Outputable a => Maybe a -- ^ If present, has type 'ty1' -> TcTauType -> TcTauType -> TcM TcCoercionN -- Actual and expected types -- Returns a coercion : ty1 ~ ty2 -unifyType thing ty1 ty2 = uType origin TypeLevel ty1 ty2 +unifyType thing ty1 ty2 = traceTc "utype" (ppr ty1 $$ ppr ty2 $$ ppr thing) >> + uType origin TypeLevel ty1 ty2 where origin = TypeEqOrigin { uo_actual = ty1, uo_expected = ty2 , uo_thing = mkErrorThing <$> thing } @@ -1173,7 +1174,8 @@ noThing :: Maybe (HsExpr Name) noThing = Nothing unifyKind :: Outputable a => Maybe a -> TcKind -> TcKind -> TcM CoercionN -unifyKind thing ty1 ty2 = uType origin KindLevel ty1 ty2 +unifyKind thing ty1 ty2 = traceTc "ukind" (ppr ty1 $$ ppr ty2 $$ ppr thing) >> + uType origin KindLevel ty1 ty2 where origin = TypeEqOrigin { uo_actual = ty1, uo_expected = ty2 , uo_thing = mkErrorThing <$> thing } |