Commit 3d9644c2 authored by jkarni's avatar jkarni Committed by Edward Z. Yang
Browse files

Remove space after ASSERT.

  Which on OS X leaves macro unexpanded.
parent 3d80787f
......@@ -1357,7 +1357,7 @@ pushCoercionIntoLambda
pushCoercionIntoLambda in_scope x e co
-- This implements the Push rule from the paper on coercions
-- Compare with simplCast in Simplify
| ASSERT (not (isTyVar x) && not (isCoVar x)) True
| ASSERT(not (isTyVar x) && not (isCoVar x)) True
, Pair s1s2 t1t2 <- coercionKind co
, Just (_s1,_s2) <- splitFunTy_maybe s1s2
, Just (t1,_t2) <- splitFunTy_maybe t1t2
Supports Markdown
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