diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 17:18:52 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 17:18:52 +0000 |
| commit | 4ada19d8ed90b03c3ced30be8fff3950a884748a (patch) | |
| tree | ab5c223986bcc12119056bdc3e9a8fe2344a997d | |
| parent | 3b75c4e6dbb46a0d29a9a70d9c749ed8678dadfc (diff) | |
| download | haskell-4ada19d8ed90b03c3ced30be8fff3950a884748a.tar.gz | |
Fix if-def-ery for DEBUG
| -rw-r--r-- | compiler/types/Coercion.lhs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 2b1656fcab..735b3e3e3b 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -624,12 +624,10 @@ mkNthCo n co = ASSERT( ok_tc_app _ty1 n && ok_tc_app _ty2 n ) where Pair _ty1 _ty2 = coercionKind co -#ifdef DEBUG ok_tc_app :: Type -> Int -> Bool ok_tc_app ty n = case splitTyConApp_maybe ty of Just (_, tys) -> tys `lengthExceeds` n Nothing -> False -#endif -- | Instantiates a 'Coercion' with a 'Type' argument. mkInstCo :: Coercion -> Type -> Coercion |