Commit 4ada19d8 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix if-def-ery for DEBUG

parent 3b75c4e6
......@@ -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
......
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