https://bugzilla.redhat.com/show_bug.cgi?id=991929
Peter Robinson <pbrobinson(a)gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pbrobinson(a)gmail.com
Version|20 |rawhide
Blocks| |245418 (ARMTracker)
--- Comment #3 from Peter Robinson <pbrobinson(a)gmail.com> ---
Gets a lot further in F-21/rawhide Agda-2.3.2.2
http://koji.fedoraproject.org/koji/taskinfo?taskID=7332502
[249 of 251] Compiling Agda.Interaction.InteractionTop (
src/full/Agda/Interaction/InteractionTop.hs,
dist/build/Agda/Interaction/InteractionTop.p_o )
[250 of 251] Compiling Agda.Interaction.GhcTop (
src/full/Agda/Interaction/GhcTop.hs, dist/build/Agda/Interaction/GhcTop.p_o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.6.3 for arm-unknown-linux):
applyTypeToArgs
haskell-src-exts-1.13.5:Language.Haskell.Exts.Comments.$w$cgmapQr{v rnkM}
[gid]
base:GHC.IO.Handle.FD.stdout{v r1eD} [gid]
base:GHC.IO.Handle.Types.NoBuffering{v r1g4} [gid[DataCon]]
forall r{tv ccCfZ} [tv] r'{tv ccCg0} [tv].
(r'{tv ccCg0} [tv] -> r{tv ccCfZ} [tv] -> r{tv ccCfZ} [tv])
-> r{tv ccCfZ} [tv]
-> (forall d{tv ccCg1} [tv].
base:Data.Data.Data{tc 29} d{tv ccCg1} [tv] =>
d{tv ccCg1} [tv] -> r'{tv ccCg0} [tv])
-> ghc-prim:GHC.Types.Bool{(w) tc 3c}
-> haskell-src-exts-1.13.5:Language.Haskell.Exts.SrcLoc.SrcSpan{tc s15g6M}
-> base:GHC.Base.String{tc 36u}
-> r{tv ccCfZ} [tv]
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
error: Bad exit status from /var/tmp/rpm-tmp.R33Jlz (%build)
Referenced Bugs:
https://bugzilla.redhat.com/show_bug.cgi?id=245418
[Bug 245418] Tracker for ARM support
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=peAYYTANsr&a=cc_unsubscribe