[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