Fix if-def-ery for DEBUG
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 Jan 2012 17:18:52 +0000 (17:18 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 12 Jan 2012 17:18:52 +0000 (17:18 +0000)
compiler/types/Coercion.lhs

index 2b1656f..735b3e3 100644 (file)
@@ -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