Hi Ben, there are still a bunch left:
git grep "ASSERT (" Cheers, Gabor On 12/4/15, g...@git.haskell.org <g...@git.haskell.org> wrote: > Repository : ssh://g...@git.haskell.org/ghc > > On branch : master > Link : > http://ghc.haskell.org/trac/ghc/changeset/befc4e4c4c76fd89a092240935d9f508de2ee664/ghc > >>--------------------------------------------------------------- > > commit befc4e4c4c76fd89a092240935d9f508de2ee664 > Author: Ben Gamari <b...@smart-cactus.org> > 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-comm...@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits > _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs