diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-25 13:15:04 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-28 09:55:07 +0100 |
commit | 6c2d9175c70d735834f0bd1673647d00f0a483b5 (patch) | |
tree | 0db9c04d32015480eebc87e8000c4777e5677d4d | |
parent | 7f6674d62e760d2afa53ff57bb4a115eed58901d (diff) | |
download | haskell-6c2d9175c70d735834f0bd1673647d00f0a483b5.tar.gz |
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 6d3916950d..6bb81d98a8 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 } |