T8761 failing for ext-interp

[Simon Marlow]

Is it just perf-llvm?  Does validate fail?  What platform is this?

On 26 June 2016 at 07:29, Erik de Castro Lopo <mle+hs at mega-nerd.com> wrote:

> Erik de Castro Lopo wrote:
>
> > > Erik, could it be the same symptom as Edward is seeing here?
> > > https://ghc.haskell.org/trac/ghc/ticket/12230
> >
> > Yes it is.
>
> Just to provide a little more info, the tests I'm seeing fail (perf-llvm)
> are:
>
>     TEST="TH_repUnboxedTuples T10828 T10596 TH_reifyMkName T9064 T8628
>         T11797 T10796b TH_reifyDecl2 TH_repPrim2 T10891 ClosedFam1TH
>         ghci006 TH_reifyInstances TH_repPrim T9692 prog001 TH_Roles3
>         T10796a T8639_api TH_reifyDecl1 T5362 T2222 T5037 T8884
> TH_TyInstWhere2
>         T11341 TH_foreignCallingConventions T3920 T7477 T9738 process009
> T8953
>         T4135 T2700 TH_Roles4 T9262 TH_RichKinds2 TH_repGuard T8761
> ghci004 T4188
>         TH_RichKinds"
>
>
> Some examples of the failue are:
>
>     T10596.hs:1:1: error:
>         Exception when trying to run compile-time code:
>           ghc-stage2: ghc-iserv terminated (-11)
>         Code: do { putQ (100 :: Int);
>                x <- (getQ :: Q (Maybe Int));
>                ($) runIO print x;
>                .... }
>
>
>     T9064.hs:1:1: error:
>         Exception when trying to run compile-time code:
>           ghc-stage2: ghc-iserv terminated (-11)
>         Code: do { info <- reify ''C;
>                ($)
>                  runIO
>                  do { ($) putStrLn pprint info;
>                       .... };
>                return [] }
>
>
>     TH_RichKinds2.hs:1:1: error:
>         Exception when trying to run compile-time code:
>           ghc-stage2: ghc-iserv terminated (-11)
>         Code: let
>             fixKs :: String -> String
>             fixKs s = ...
>           in
>             do { decls <- [d| data SMaybe :: (k -> *) -> (Maybe k) -> *
>                                 where
>                                   SNothing :: SMaybe s Nothing
>                                   SJust :: s a -> SMaybe s (Just a)
>
>                               type instance Map f (h : t) = (f h) : (Map f
> t)
>                               type instance Map f '[] = '[] |];
>                  reportWarning (fixKs (pprint decls));
>                  .... }
>
>
> So yes, very similar to #12230.
>
> Erik
> --
> ----------------------------------------------------------------------
> Erik de Castro Lopo
> http://www.mega-nerd.com/
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160626/a68f0231/attachment-0001.html>