Skip to content

Instantly share code, notes, and snippets.

@mietek
Created June 3, 2014 02:44
Show Gist options
  • Save mietek/346b768e34f233e29d7a to your computer and use it in GitHub Desktop.
Save mietek/346b768e34f233e29d7a to your computer and use it in GitHub Desktop.
Attachments for goldfirere/singletons#83
[("Project name","The Glorious Glasgow Haskell Compilation System")
,("GCC extra via C opts"," -fwrapv")
,("C compiler command","/usr/bin/gcc")
,("C compiler flags"," -m64 -fno-stack-protector")
,("C compiler link flags"," -m64")
,("ld command","/usr/bin/ld")
,("ld flags"," -arch x86_64")
,("ld supports compact unwind","YES")
,("ld supports build-id","NO")
,("ld supports filelist","YES")
,("ld is GNU ld","NO")
,("ar command","/usr/bin/ar")
,("ar flags","clqs")
,("ar supports at file","NO")
,("touch command","touch")
,("dllwrap command","/bin/false")
,("windres command","/bin/false")
,("libtool command","libtool")
,("perl command","/usr/bin/perl")
,("target os","OSDarwin")
,("target arch","ArchX86_64")
,("target word size","8")
,("target has GNU nonexec stack","False")
,("target has .ident directive","True")
,("target has subsections via symbols","True")
,("Unregisterised","NO")
,("LLVM llc command","llc")
,("LLVM opt command","opt")
,("Project version","7.8.2")
,("Booter version","7.6.3")
,("Stage","2")
,("Build platform","x86_64-apple-darwin")
,("Host platform","x86_64-apple-darwin")
,("Target platform","x86_64-apple-darwin")
,("Have interpreter","YES")
,("Object splitting supported","YES")
,("Have native code generator","YES")
,("Support SMP","YES")
,("Tables next to code","YES")
,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn l_dyn thr_l_dyn")
,("Support dynamic-too","YES")
,("Support parallel --make","YES")
,("Dynamic by default","NO")
,("GHC Dynamic","YES")
,("Leading underscore","YES")
,("Debug on","False")
,("LibDir","/opt/ghc-7.8.2/lib/ghc-7.8.2")
,("Global Package DB","/opt/ghc-7.8.2/lib/ghc-7.8.2/package.conf.d")
]
Configuring singletons-1.0...
Building singletons-1.0...
Preprocessing library singletons-1.0...
[ 1 of 45] Compiling Data.Singletons.SuppressUnusedWarnings ( src/Data/Singletons/SuppressUnusedWarnings.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/SuppressUnusedWarnings.o )
[ 2 of 45] Compiling Data.Singletons.Void ( src/Data/Singletons/Void.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Void.o )
[ 3 of 45] Compiling Data.Singletons.Util ( src/Data/Singletons/Util.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Util.o )
[ 4 of 45] Compiling Data.Singletons.Syntax ( src/Data/Singletons/Syntax.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Syntax.o )
[ 5 of 45] Compiling Data.Singletons.Types ( src/Data/Singletons/Types.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Types.o )
[ 6 of 45] Compiling Data.Singletons ( src/Data/Singletons.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons.o )
[ 7 of 45] Compiling Data.Singletons.Decide ( src/Data/Singletons/Decide.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Decide.o )
[ 8 of 45] Compiling Data.Singletons.Names ( src/Data/Singletons/Names.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Names.o )
[ 9 of 45] Compiling Data.Singletons.Promote.Monad ( src/Data/Singletons/Promote/Monad.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Monad.o )
[10 of 45] Compiling Data.Singletons.Single.Monad ( src/Data/Singletons/Single/Monad.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Single/Monad.o )
[11 of 45] Compiling Data.Singletons.Promote.Eq ( src/Data/Singletons/Promote/Eq.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Eq.o )
[12 of 45] Compiling Data.Singletons.Promote.Ord ( src/Data/Singletons/Promote/Ord.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Ord.o )
[13 of 45] Compiling Data.Singletons.Promote.Bounded ( src/Data/Singletons/Promote/Bounded.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Bounded.o )
[14 of 45] Compiling Data.Singletons.Promote.Type ( src/Data/Singletons/Promote/Type.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Type.o )
[15 of 45] Compiling Data.Singletons.Promote.Defun ( src/Data/Singletons/Promote/Defun.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote/Defun.o )
[16 of 45] Compiling Data.Singletons.Promote ( src/Data/Singletons/Promote.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Promote.o )
[17 of 45] Compiling Data.Promotion.Prelude.Bounded ( src/Data/Promotion/Prelude/Bounded.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Bounded.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package containers-0.5.5.1 ... linking ... done.
Loading package transformers-0.4.1.0 ... linking ... done.
Loading package mtl-2.2.0.1 ... linking ... done.
Loading package syb-0.4.1 ... linking ... done.
Loading package pretty-1.1.1.1 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package th-desugar-1.4.0 ... linking ... done.
[18 of 45] Compiling Data.Singletons.Single.Type ( src/Data/Singletons/Single/Type.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Single/Type.o )
[19 of 45] Compiling Data.Singletons.Single.Eq ( src/Data/Singletons/Single/Eq.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Single/Eq.o )
[20 of 45] Compiling Data.Singletons.Single.Data ( src/Data/Singletons/Single/Data.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Single/Data.o )
[21 of 45] Compiling Data.Singletons.Single ( src/Data/Singletons/Single.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Single.o )
[22 of 45] Compiling Data.Singletons.Prelude.Instances ( src/Data/Singletons/Prelude/Instances.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Instances.o )
[23 of 45] Compiling Data.Singletons.Prelude.Bool ( src/Data/Singletons/Prelude/Bool.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Bool.o )
[24 of 45] Compiling Data.Singletons.Prelude.Eq ( src/Data/Singletons/Prelude/Eq.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Eq.o )
[25 of 45] Compiling Data.Singletons.CustomStar ( src/Data/Singletons/CustomStar.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/CustomStar.o )
[26 of 45] Compiling Data.Promotion.Prelude.Eq ( src/Data/Promotion/Prelude/Eq.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Eq.o )
[27 of 45] Compiling Data.Promotion.Prelude.Bool ( src/Data/Promotion/Prelude/Bool.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Bool.o )
[28 of 45] Compiling Data.Singletons.TypeRepStar ( src/Data/Singletons/TypeRepStar.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/TypeRepStar.o )
[29 of 45] Compiling Data.Singletons.Prelude.Ord ( src/Data/Singletons/Prelude/Ord.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Ord.o )
[30 of 45] Compiling Data.Promotion.Prelude.Ord ( src/Data/Promotion/Prelude/Ord.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Ord.o )
[31 of 45] Compiling Data.Singletons.TypeLits ( src/Data/Singletons/TypeLits.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/TypeLits.o )
[32 of 45] Compiling Data.Singletons.TH ( src/Data/Singletons/TH.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/TH.o )
[33 of 45] Compiling Data.Singletons.Prelude.Base ( src/Data/Singletons/Prelude/Base.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Base.o )
[34 of 45] Compiling Data.Singletons.Prelude.Either ( src/Data/Singletons/Prelude/Either.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Either.o )
[35 of 45] Compiling Data.Promotion.Prelude.Either ( src/Data/Promotion/Prelude/Either.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Either.o )
[36 of 45] Compiling Data.Singletons.Prelude.Tuple ( src/Data/Singletons/Prelude/Tuple.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/Tuple.o )
[37 of 45] Compiling Data.Promotion.Prelude.Tuple ( src/Data/Promotion/Prelude/Tuple.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Tuple.o )
[38 of 45] Compiling Data.Promotion.Prelude.Base ( src/Data/Promotion/Prelude/Base.hs, dist/dist-sandbox-66bb9fcd/build/Data/Promotion/Prelude/Base.o )
[39 of 45] Compiling Data.Singletons.Prelude.List ( src/Data/Singletons/Prelude/List.hs, dist/dist-sandbox-66bb9fcd/build/Data/Singletons/Prelude/List.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.8.2 for x86_64-apple-darwin):
Template variable unbound in rewrite rule
n{tv X2rdT} [tv]
[a{tv a2ooY} [tv], t{tv a2ooZ} [tv], n{tv a2r0l} [tv],
ipv_s2OJG{tv} [tv], ipv_s2OJH{tv} [tv], sc_s2QcB{v} [lid],
sc_s2QcD{v} [lid], sc_s2QcE{v} [lid], sg_s2QcF{tv} [lid]]
[a{tv X2oCu} [tv], t{tv X2oCw} [tv], n{tv X2rdT} [tv],
ipv_X2OXf{tv} [tv], ipv_X2OXh{tv} [tv], sc_X2Qqc{v} [lid],
sc_X2Qqf{v} [lid], sc_X2Qqh{v} [lid], sg_X2Qqj{tv} [lid]]
[TYPE a{tv a2ooY} [tv], TYPE t{tv a2ooZ} [tv],
TYPE singletons-1.0:Data.Singletons.Prelude.List.Let_1627905673XsSym4{tc r2aJt}
t{tv a2ooZ} [tv]
n{tv a2r0l} [tv]
ipv_s2OJG{tv} [tv]
ipv_s2OJH{tv} [tv],
sc_s2QcB{v} [lid],
(singletons-1.0:Data.Singletons.Prelude.Instances.SCons{v r1A9i} [gid[DataCon]]
@ a{tv a2ooY} [tv]
@ (ipv_s2OJG{tv} [tv] : ipv_s2OJH{tv} [tv])
@ ipv_s2OJG{tv} [tv]
@ ipv_s2OJH{tv} [tv]
@~ <ipv_s2OJG{tv} [tv] : ipv_s2OJH{tv} [tv]>_N
sc_s2QcD{v} [lid]
sc_s2QcE{v} [lid])
`cast` (sg_s2QcF{tv} [lid]
:: singletons-1.0:Data.Singletons.Prelude.Instances.R:Sing[]z{tc r1A8M}
(ipv_s2OJG{tv} [tv] : ipv_s2OJH{tv} [tv])
~#
singletons-1.0:Data.Singletons.Sing{tc rmXp}
(singletons-1.0:Data.Singletons.Apply{tc rmX3}
(singletons-1.0:Data.Singletons.Apply{tc rmX3}
(singletons-1.0:Data.Singletons.Prelude.Instances.:${tc r1y4D})
ipv_s2OJG{tv} [tv])
ipv_s2OJH{tv} [tv]))]
[TYPE a{tv a2ooY} [tv], TYPE t{tv a2ooZ} [tv],
TYPE singletons-1.0:Data.Singletons.Prelude.List.Let_1627905673XsSym4{tc r2aJt}
t{tv a2ooZ} [tv]
ipv_s2OJG{tv} [tv]
ipv_X2OWd{tv} [tv]
ipv_X2OWf{tv} [tv],
sc_s2QcB{v} [lid],
(singletons-1.0:Data.Singletons.Prelude.Instances.SCons{v r1A9i} [gid[DataCon]]
@ a{tv a2ooY} [tv]
@ (ipv_X2OWd{tv} [tv] : ipv_X2OWf{tv} [tv])
@ ipv_X2OWd{tv} [tv]
@ ipv_X2OWf{tv} [tv]
@~ <ipv_X2OWd{tv} [tv] : ipv_X2OWf{tv} [tv]>_N
ipv{v s2OJJ} [lid]
ipv{v s2OJK} [lid])
`cast` (Sub
(Sym
(singletons-1.0:Data.Singletons.Prelude.Instances.TFCo:R:Sing[]z{tc r1A92}[0]
<a{tv a2ooY} [tv]>_N)) (Sym
(singletons-1.0:Data.Singletons.Prelude.Instances.TFCo:R:Apply[][]:$$l0{tc r1Aap}[0]
<a{tv a2ooY} [tv]>_N
<ipv_X2OWf{tv} [tv]>_N
<ipv_X2OWd{tv} [tv]>_N)
; (singletons-1.0:Data.Singletons.Apply{tc rmX3}
(Sym
(singletons-1.0:Data.Singletons.Prelude.Instances.TFCo:R:Apply(->)k:$l0{tc r1A9j}[0]
<a{tv a2ooY} [tv]>_N
<ipv_X2OWd{tv} [tv]>_N))
<ipv_X2OWf{tv} [tv]>_N)_N)
:: singletons-1.0:Data.Singletons.Prelude.Instances.R:Sing[]z{tc r1A8M}
(ipv_X2OWd{tv} [tv]
singletons-1.0:Data.Singletons.Prelude.Instances.:$$${tc r1y4H} ipv_X2OWf{tv} [tv])
~#
singletons-1.0:Data.Singletons.Sing{tc rmXp}
(singletons-1.0:Data.Singletons.Apply{tc rmX3}
(singletons-1.0:Data.Singletons.Apply{tc rmX3}
(singletons-1.0:Data.Singletons.Prelude.Instances.:${tc r1y4D})
ipv_X2OWd{tv} [tv])
ipv_X2OWf{tv} [tv]))]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment