<div dir="ltr">Is it just perf-llvm? Does validate fail? What platform is this?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 26 June 2016 at 07:29, Erik de Castro Lopo <span dir="ltr"><<a href="mailto:mle+hs@mega-nerd.com" target="_blank">mle+hs@mega-nerd.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Erik de Castro Lopo wrote:<br>
<br>
> > Erik, could it be the same symptom as Edward is seeing here?<br>
> > <a href="https://ghc.haskell.org/trac/ghc/ticket/12230" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/12230</a><br>
><br>
> Yes it is.<br>
<br>
</span>Just to provide a little more info, the tests I'm seeing fail (perf-llvm)<br>
are:<br>
<br>
TEST="TH_repUnboxedTuples T10828 T10596 TH_reifyMkName T9064 T8628<br>
T11797 T10796b TH_reifyDecl2 TH_repPrim2 T10891 ClosedFam1TH<br>
ghci006 TH_reifyInstances TH_repPrim T9692 prog001 TH_Roles3<br>
T10796a T8639_api TH_reifyDecl1 T5362 T2222 T5037 T8884 TH_TyInstWhere2<br>
T11341 TH_foreignCallingConventions T3920 T7477 T9738 process009 T8953<br>
T4135 T2700 TH_Roles4 T9262 TH_RichKinds2 TH_repGuard T8761 ghci004 T4188<br>
TH_RichKinds"<br>
<br>
<br>
Some examples of the failue are:<br>
<br>
T10596.hs:1:1: error:<br>
Exception when trying to run compile-time code:<br>
ghc-stage2: ghc-iserv terminated (-11)<br>
Code: do { putQ (100 :: Int);<br>
x <- (getQ :: Q (Maybe Int));<br>
($) runIO print x;<br>
.... }<br>
<br>
<br>
T9064.hs:1:1: error:<br>
Exception when trying to run compile-time code:<br>
ghc-stage2: ghc-iserv terminated (-11)<br>
Code: do { info <- reify ''C;<br>
($)<br>
runIO<br>
do { ($) putStrLn pprint info;<br>
.... };<br>
return [] }<br>
<br>
<br>
TH_RichKinds2.hs:1:1: error:<br>
Exception when trying to run compile-time code:<br>
ghc-stage2: ghc-iserv terminated (-11)<br>
Code: let<br>
fixKs :: String -> String<br>
fixKs s = ...<br>
in<br>
do { decls <- [d| data SMaybe :: (k -> *) -> (Maybe k) -> *<br>
where<br>
SNothing :: SMaybe s Nothing<br>
SJust :: s a -> SMaybe s (Just a)<br>
<br>
type instance Map f (h : t) = (f h) : (Map f t)<br>
type instance Map f '[] = '[] |];<br>
reportWarning (fixKs (pprint decls));<br>
.... }<br>
<br>
<br>
So yes, very similar to #12230.<br>
<div class="HOEnZb"><div class="h5"><br>
Erik<br>
--<br>
----------------------------------------------------------------------<br>
Erik de Castro Lopo<br>
<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>