[commit: ghc] master: Check: More Clang/CPP wibbles (befc4e4)
Gabor Greif
ggreif at gmail.com
Fri Dec 4 12:41:31 UTC 2015
Hi Ben,
there are still a bunch left:
git grep "ASSERT ("
Cheers,
Gabor
On 12/4/15, git at git.haskell.org <git at git.haskell.org> wrote:
> Repository : ssh://git@git.haskell.org/ghc
>
> On branch : master
> Link :
> http://ghc.haskell.org/trac/ghc/changeset/befc4e4c4c76fd89a092240935d9f508de2ee664/ghc
>
>>---------------------------------------------------------------
>
> commit befc4e4c4c76fd89a092240935d9f508de2ee664
> Author: Ben Gamari <ben at 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-commits at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits
>
More information about the ghc-devs
mailing list