Hi Ben, there are still a bunch left: git grep "ASSERT (" Cheers, Gabor On 12/4/15, git@git.haskell.org wrote:

Repository : ssh://git@git.haskell.org/ghc

On branch : master Link : http://ghc.haskell.org/trac/ghc/changeset/befc4e4c4c76fd89a092240935d9f508de...

...

---------------------------------------------------------------

commit befc4e4c4c76fd89a092240935d9f508de2ee664 Author: Ben Gamari Date: Fri Dec 4 13:07:16 2015 +0100

Check: More Clang/CPP wibbles

...

---------------------------------------------------------------

befc4e4c4c76fd89a092240935d9f508de2ee664 compiler/deSugar/Check.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs index 55dcfc2..dcf3b23 100644 --- a/compiler/deSugar/Check.hs +++ b/compiler/deSugar/Check.hs @@ -370,12 +370,12 @@ translateConPatVec univ_tys ex_tvs c (RecCon (HsRecFields fs _)) -- The data constructor was not defined using record syntax. For the -- pattern to be in record syntax it should be empty (e.g. Just {}). -- So just like the previous case. - | null orig_lbls = ASSERT (null matched_lbls) mkPatternVarsSM arg_tys + | null orig_lbls = ASSERT(null matched_lbls) mkPatternVarsSM arg_tys -- Some of the fields appear, in the original order (there may be holes). -- Generate a simple constructor pattern and make up fresh variables for -- the rest of the fields | matched_lbls `subsetOf` orig_lbls - = ASSERT (length orig_lbls == length arg_tys) + = ASSERT(length orig_lbls == length arg_tys) let translateOne (lbl, ty) = case lookup lbl matched_pats of Just p -> translatePat p Nothing -> mkPatternVarsSM [ty] @@ -616,7 +616,7 @@ process_guards us gs -- * Basic utilities

patternType :: Pattern -> Type -patternType (PmGuard pv _) = ASSERT (patVecArity pv == 1) (patternType p) +patternType (PmGuard pv _) = ASSERT(patVecArity pv == 1) (patternType p) where Just p = find ((==1) . patternArity) pv patternType (NonGuard pat) = pmPatType pat

@@ -826,8 +826,8 @@ splitConstraints (c : rest) = case c of TyConstraint cs -> (cs ++ ty_cs, tm_cs, bot_cs) TmConstraint e1 e2 -> (ty_cs, (e1,e2):tm_cs, bot_cs) - BtConstraint cs -> ASSERT (isNothing bot_cs) -- NB: Only one x ~ _|_ - (ty_cs, tm_cs, Just cs) + BtConstraint cs -> ASSERT(isNothing bot_cs) -- NB: Only one x ~ _|_ + (ty_cs, tm_cs, Just cs) where (ty_cs, tm_cs, bot_cs) = splitConstraints rest

_______________________________________________ ghc-commits mailing list ghc-commits@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits