Build #2 for copilot-1.0.1

[all reports]

Package copilot-1.0.1
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2015-05-26 05:42:03.521714 UTC
Compiler ghc-7.8.3
OS linux
Arch x86_64
Dependencies random-1.1, process-1.2.0.0, mtl-2.2.1, filepath-1.3.0.2, directory-1.2.1.0, containers-0.5.5.1, base-4.7.0.1, atom-1.0.12
Flags none

Build log

[view raw]

Resolving dependencies...
Configuring bimap-0.3.0...
Building bimap-0.3.0...
Preprocessing library bimap-0.3.0...
[1 of 1] Compiling Data.Bimap       ( Data/Bimap.hs, dist/build/Data/Bimap.o )
In-place registering bimap-0.3.0...
Running Haddock for bimap-0.3.0...
Running hscolour for bimap-0.3.0...
Preprocessing library bimap-0.3.0...
Preprocessing library bimap-0.3.0...
Haddock coverage:
 100% ( 63 / 63) in 'Data.Bimap'
Documentation created: dist/doc/html/bimap/index.html,
dist/doc/html/bimap/bimap.txt
Creating package registration file: /tmp/pkgConf-bimap-0.331716.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/bimap-0.3.0
Registering bimap-0.3.0...
Installed bimap-0.3.0
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-131716.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Configuring syb-0.4.4...
Building syb-0.4.4...
Preprocessing library syb-0.4.4...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics    ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB     ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.4...
Running Haddock for syb-0.4.4...
Running hscolour for syb-0.4.4...
Preprocessing library syb-0.4.4...
Preprocessing library syb-0.4.4...
Haddock coverage:
 100% (  2 /  2) in 'Data.Generics.Basics'
 100% (  2 /  2) in 'Generics.SYB.Basics'
 100% (  1 /  1) in 'Data.Generics.Instances'
 100% (  1 /  1) in 'Generics.SYB.Instances'
  96% ( 43 / 45) in 'Data.Generics.Aliases'
 100% ( 19 / 19) in 'Data.Generics.Schemes'
 100% (  2 /  2) in 'Generics.SYB.Schemes'
 100% (  6 /  6) in 'Data.Generics.Text'
 100% (  2 /  2) in 'Generics.SYB.Text'
 100% ( 16 / 16) in 'Data.Generics.Twins'
 100% (  2 /  2) in 'Generics.SYB.Twins'
 100% (  3 /  3) in 'Data.Generics.Builders'
 100% (  2 /  2) in 'Generics.SYB.Builders'
 100% (  2 /  2) in 'Generics.SYB.Aliases'
 100% (  8 /  8) in 'Data.Generics'
 100% (  2 /  2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html, dist/doc/html/syb/syb.txt
Creating package registration file: /tmp/pkgConf-syb-0.431716.4
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/syb-0.4.4
Registering syb-0.4.4...
Installed syb-0.4.4
Configuring transformers-0.4.3.0...
Building transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
[ 1 of 28] Compiling Data.Functor.Identity ( oldsrc/Data/Functor/Identity.hs, dist/build/Data/Functor/Identity.o )
[ 2 of 28] Compiling Control.Monad.Trans.Class ( Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 3 of 28] Compiling Control.Monad.Signatures ( Control/Monad/Signatures.hs, dist/build/Control/Monad/Signatures.o )
[ 4 of 28] Compiling Control.Monad.IO.Class ( Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 5 of 28] Compiling Control.Monad.Trans.Cont ( Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 6 of 28] Compiling Control.Monad.Trans.Reader ( Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o )
[ 7 of 28] Compiling Control.Monad.Trans.RWS.Lazy ( Control/Monad/Trans/RWS/Lazy.hs, dist/build/Control/Monad/Trans/RWS/Lazy.o )
[ 8 of 28] Compiling Control.Monad.Trans.RWS ( Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[ 9 of 28] Compiling Control.Monad.Trans.RWS.Strict ( Control/Monad/Trans/RWS/Strict.hs, dist/build/Control/Monad/Trans/RWS/Strict.o )
[10 of 28] Compiling Control.Monad.Trans.State.Lazy ( Control/Monad/Trans/State/Lazy.hs, dist/build/Control/Monad/Trans/State/Lazy.o )
[11 of 28] Compiling Control.Monad.Trans.State ( Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[12 of 28] Compiling Control.Monad.Trans.State.Strict ( Control/Monad/Trans/State/Strict.hs, dist/build/Control/Monad/Trans/State/Strict.o )
[13 of 28] Compiling Data.Functor.Classes ( Data/Functor/Classes.hs, dist/build/Data/Functor/Classes.o )
[14 of 28] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs, dist/build/Data/Functor/Constant.o )
[15 of 28] Compiling Control.Applicative.Lift ( Control/Applicative/Lift.hs, dist/build/Control/Applicative/Lift.o )
[16 of 28] Compiling Control.Monad.Trans.Except ( Control/Monad/Trans/Except.hs, dist/build/Control/Monad/Trans/Except.o )
[17 of 28] Compiling Control.Monad.Trans.Error ( Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
[18 of 28] Compiling Control.Monad.Trans.Identity ( Control/Monad/Trans/Identity.hs, dist/build/Control/Monad/Trans/Identity.o )
[19 of 28] Compiling Control.Monad.Trans.List ( Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[20 of 28] Compiling Control.Monad.Trans.Maybe ( Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[21 of 28] Compiling Control.Monad.Trans.Writer.Lazy ( Control/Monad/Trans/Writer/Lazy.hs, dist/build/Control/Monad/Trans/Writer/Lazy.o )
[22 of 28] Compiling Control.Monad.Trans.Writer ( Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o )
[23 of 28] Compiling Control.Monad.Trans.Writer.Strict ( Control/Monad/Trans/Writer/Strict.hs, dist/build/Control/Monad/Trans/Writer/Strict.o )
[24 of 28] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs, dist/build/Data/Functor/Compose.o )
[25 of 28] Compiling Data.Functor.Product ( Data/Functor/Product.hs, dist/build/Data/Functor/Product.o )
[26 of 28] Compiling Data.Functor.Sum ( Data/Functor/Sum.hs, dist/build/Data/Functor/Sum.o )
[27 of 28] Compiling Control.Applicative.Backwards ( Control/Applicative/Backwards.hs, dist/build/Control/Applicative/Backwards.o )
[28 of 28] Compiling Data.Functor.Reverse ( Data/Functor/Reverse.hs, dist/build/Data/Functor/Reverse.o )
In-place registering transformers-0.4.3.0...
Running Haddock for transformers-0.4.3.0...
Running hscolour for transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Preprocessing library transformers-0.4.3.0...
Haddock coverage:
 100% (  2 /  2) in 'Data.Functor.Identity'
 100% ( 14 / 14) in 'Control.Monad.Trans.Class'
 100% (  5 /  5) in 'Control.Monad.Signatures'
 100% (  2 /  2) in 'Control.Monad.IO.Class'
 100% ( 22 / 22) in 'Control.Monad.Trans.Cont'
 100% ( 18 / 18) in 'Control.Monad.Trans.Reader'
 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Lazy'
 100% (  2 /  2) in 'Control.Monad.Trans.RWS'
 100% ( 37 / 37) in 'Control.Monad.Trans.RWS.Strict'
 100% ( 34 / 34) in 'Control.Monad.Trans.State.Lazy'
 100% (  2 /  2) in 'Control.Monad.Trans.State'
 100% ( 34 / 34) in 'Control.Monad.Trans.State.Strict'
 100% ( 15 / 15) in 'Data.Functor.Classes'
 100% (  2 /  2) in 'Data.Functor.Constant'
 100% (  9 /  9) in 'Control.Applicative.Lift'
 100% ( 19 / 19) in 'Control.Monad.Trans.Except'
 100% ( 15 / 15) in 'Control.Monad.Trans.Error'
 100% (  7 /  7) in 'Control.Monad.Trans.Identity'
 100% (  7 /  7) in 'Control.Monad.Trans.List'
 100% ( 12 / 12) in 'Control.Monad.Trans.Maybe'
 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Lazy'
 100% (  2 /  2) in 'Control.Monad.Trans.Writer'
 100% ( 20 / 20) in 'Control.Monad.Trans.Writer.Strict'
 100% (  2 /  2) in 'Data.Functor.Compose'
 100% (  2 /  2) in 'Data.Functor.Product'
 100% (  2 /  2) in 'Data.Functor.Sum'
 100% (  2 /  2) in 'Control.Applicative.Backwards'
 100% (  2 /  2) in 'Data.Functor.Reverse'
Documentation created: dist/doc/html/transformers/index.html,
dist/doc/html/transformers/transformers.txt
Creating package registration file: /tmp/pkgConf-transformers-0.4.331716.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/transformers-0.4.3.0
Registering transformers-0.4.3.0...
Installed transformers-0.4.3.0
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
  75% (  3 /  4) in 'Control.Monad.Writer.Class'
 100% (  5 /  5) in 'Control.Monad.State.Class'
 100% (  3 /  3) in 'Control.Monad.Reader.Class'
  80% (  4 /  5) in 'Control.Monad.RWS.Class'
 100% (  4 /  4) in 'Control.Monad.Identity'
 100% (  3 /  3) in 'Control.Monad.Error.Class'
  50% (  1 /  2) in 'Control.Monad.Cont.Class'
 100% (  3 /  3) in 'Control.Monad.Trans'
  93% ( 14 / 15) in 'Control.Monad.Error'
 100% ( 19 / 19) in 'Control.Monad.Except'
 100% (  5 /  5) in 'Control.Monad.List'
  95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
 100% (  2 /  2) in 'Control.Monad.RWS'
  96% ( 22 / 23) in 'Control.Monad.Reader'
  95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
  96% ( 24 / 25) in 'Control.Monad.State.Lazy'
 100% (  2 /  2) in 'Control.Monad.State'
  96% ( 24 / 25) in 'Control.Monad.State.Strict'
  89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
 100% (  2 /  2) in 'Control.Monad.Writer'
  94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
  91% ( 20 / 22) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.231716.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.2.1
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring atom-1.0.12...
Building atom-1.0.12...
Preprocessing library atom-1.0.12...
[ 1 of 12] Compiling Language.Atom.Expressions ( Language/Atom/Expressions.hs, dist/build/Language/Atom/Expressions.o )

Language/Atom/Expressions.hs:571:10: Warning:
    No explicit implementation for
      ‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
    In the instance declaration for ‘Bits (E a)’
[ 2 of 12] Compiling Language.Atom.UeMap ( Language/Atom/UeMap.hs, dist/build/Language/Atom/UeMap.o )
[ 3 of 12] Compiling Language.Atom.Elaboration ( Language/Atom/Elaboration.hs, dist/build/Language/Atom/Elaboration.o )

Language/Atom/Elaboration.hs:209:10: Warning:
    ‘Atom’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 4 of 12] Compiling Language.Atom.Analysis ( Language/Atom/Analysis.hs, dist/build/Language/Atom/Analysis.o )
[ 5 of 12] Compiling Language.Atom.Scheduling ( Language/Atom/Scheduling.hs, dist/build/Language/Atom/Scheduling.o )
[ 6 of 12] Compiling Language.Atom.Language ( Language/Atom/Language.hs, dist/build/Language/Atom/Language.o )
[ 7 of 12] Compiling Language.Atom.Common ( Language/Atom/Common.hs, dist/build/Language/Atom/Common.o )
[ 8 of 12] Compiling Language.Atom.Code ( Language/Atom/Code.hs, dist/build/Language/Atom/Code.o )
[ 9 of 12] Compiling Language.Atom.Compile ( Language/Atom/Compile.hs, dist/build/Language/Atom/Compile.o )
[10 of 12] Compiling Language.Atom.Unit ( Language/Atom/Unit.hs, dist/build/Language/Atom/Unit.o )
[11 of 12] Compiling Language.Atom    ( Language/Atom.hs, dist/build/Language/Atom.o )
[12 of 12] Compiling Language.Atom.Example ( Language/Atom/Example.hs, dist/build/Language/Atom/Example.o )
In-place registering atom-1.0.12...
Running Haddock for atom-1.0.12...
Running hscolour for atom-1.0.12...
Preprocessing library atom-1.0.12...
Preprocessing library atom-1.0.12...

Language/Atom/Expressions.hs:571:10: Warning:
    No explicit implementation for
      ‘bitSizeMaybe’, ‘testBit’, ‘bit’, and ‘popCount’
    In the instance declaration for ‘Bits (E a)’

Language/Atom/Elaboration.hs:209:10: Warning:
    ‘Atom’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Haddock coverage:
  73% ( 56 / 77) in 'Language.Atom.Expressions'
  76% ( 13 / 17) in 'Language.Atom.UeMap'
  57% ( 13 / 23) in 'Language.Atom.Elaboration'
  67% (  2 /  3) in 'Language.Atom.Analysis'
  25% (  1 /  4) in 'Language.Atom.Scheduling'
  98% ( 59 / 60) in 'Language.Atom.Language'
 100% ( 17 / 17) in 'Language.Atom.Common'
  62% (  5 /  8) in 'Language.Atom.Code'
  50% (  2 /  4) in 'Language.Atom.Compile'
  73% (  8 / 11) in 'Language.Atom.Unit'
 100% (  5 /  5) in 'Language.Atom'
 100% (  3 /  3) in 'Language.Atom.Example'
Warning: Language.Atom.Expressions: could not find link destinations for:
    Language.Atom.Expressions.signed
Warning: Language.Atom.Elaboration: could not find link destinations for:
    Language.Atom.Elaboration.AtomSt
Documentation created: dist/doc/html/atom/index.html,
dist/doc/html/atom/atom.txt
Creating package registration file: /tmp/pkgConf-atom-1.031716.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/atom-1.0.12
Registering atom-1.0.12...
Installed atom-1.0.12
Downloading copilot-1.0.1...
Configuring copilot-1.0.1...
Building copilot-1.0.1...
Preprocessing library copilot-1.0.1...
[ 1 of 27] Compiling Language.Copilot.AdHocC ( Language/Copilot/AdHocC.hs, dist/build/Language/Copilot/AdHocC.o )
[ 2 of 27] Compiling Language.Copilot.Help ( Language/Copilot/Help.hs, dist/build/Language/Copilot/Help.o )
[ 3 of 27] Compiling Language.Copilot.Core ( Language/Copilot/Core.hs, dist/build/Language/Copilot/Core.o )

Language/Copilot/Core.hs:146:1: Warning:
    Rule "Copilot.Core appendAppend" may never fire
      because ‘Language.Copilot.Core.Append’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.Append’

Language/Copilot/Core.hs:147:1: Warning:
    Rule "Copilot.Core dropDrop" may never fire
      because ‘Language.Copilot.Core.Drop’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.Drop’

Language/Copilot/Core.hs:148:1: Warning:
    Rule "Copilot.Core dropConst" may never fire
      because ‘Language.Copilot.Core.Drop’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.Drop’

Language/Copilot/Core.hs:149:1: Warning:
    Rule "Copilot.Core FConst" may never fire
      because ‘Language.Copilot.Core.F’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.F’

Language/Copilot/Core.hs:150:1: Warning:
    Rule "Copilot.Core F2Const" may never fire
      because ‘Language.Copilot.Core.F2’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.F2’

Language/Copilot/Core.hs:151:1: Warning:
    Rule "Copilot.Core F3Const" may never fire
      because ‘Language.Copilot.Core.F3’ might inline first
    Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘Language.Copilot.Core.F3’
[ 4 of 27] Compiling Language.Copilot.Analyser ( Language/Copilot/Analyser.hs, dist/build/Language/Copilot/Analyser.o )
[ 5 of 27] Compiling Language.Copilot.Interpreter ( Language/Copilot/Interpreter.hs, dist/build/Language/Copilot/Interpreter.o )
[ 6 of 27] Compiling Language.Copilot.AtomToC ( Language/Copilot/AtomToC.hs, dist/build/Language/Copilot/AtomToC.o )
[ 7 of 27] Compiling Language.Copilot.Compiler ( Language/Copilot/Compiler.hs, dist/build/Language/Copilot/Compiler.o )

Language/Copilot/Compiler.hs:427:29:
    Could not deduce (a ~ b)
    from the context (Streamable a)
      bound by the type signature for
                 sampleExts :: Streamable a =>
                               Outputs
                               -> TmpSamples
                               -> Name
                               -> Spec a
                               -> [(Var, A.Atom ())]
                               -> [(Var, A.Atom ())]
      at Language/Copilot/Compiler.hs:(397,15)-(399,57)
    or from (Streamable a, Streamable b)
      bound by a pattern with constructor
                 F :: forall a b.
                      (Streamable a, Streamable b) =>
                      (b -> a) -> (A.E b -> A.E a) -> Spec b -> Spec a,
               in a case alternative
      at Language/Copilot/Compiler.hs:427:5-12
      ‘a’ is a rigid type variable bound by
          the type signature for
            sampleExts :: Streamable a =>
                          Outputs
                          -> TmpSamples
                          -> Name
                          -> Spec a
                          -> [(Var, A.Atom ())]
                          -> [(Var, A.Atom ())]
          at Language/Copilot/Compiler.hs:397:22
      ‘b’ is a rigid type variable bound by
          a pattern with constructor
            F :: forall a b.
                 (Streamable a, Streamable b) =>
                 (b -> a) -> (A.E b -> A.E a) -> Spec b -> Spec a,
          in a case alternative
          at Language/Copilot/Compiler.hs:427:5
    Expected type: Spec a
      Actual type: Spec b
    Relevant bindings include
      s0 :: Spec b (bound at Language/Copilot/Compiler.hs:427:11)
      sampleExts' :: Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:435:9)
      s :: Spec a (bound at Language/Copilot/Compiler.hs:400:33)
      sampleExts :: Outputs
                    -> TmpSamples
                    -> Name
                    -> Spec a
                    -> [(Var, A.Atom ())]
                    -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:400:1)
    In the first argument of ‘sampleExts'’, namely ‘s0’
    In the expression: sampleExts' s0 a

Language/Copilot/Compiler.hs:428:33:
    Could not deduce (a ~ b)
    from the context (Streamable a)
      bound by the type signature for
                 sampleExts :: Streamable a =>
                               Outputs
                               -> TmpSamples
                               -> Name
                               -> Spec a
                               -> [(Var, A.Atom ())]
                               -> [(Var, A.Atom ())]
      at Language/Copilot/Compiler.hs:(397,15)-(399,57)
    or from (Streamable a, Streamable b, Streamable c)
      bound by a pattern with constructor
                 F2 :: forall a b c.
                       (Streamable a, Streamable b, Streamable c) =>
                       (b -> c -> a)
                       -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a,
               in a case alternative
      at Language/Copilot/Compiler.hs:428:5-16
      ‘a’ is a rigid type variable bound by
          the type signature for
            sampleExts :: Streamable a =>
                          Outputs
                          -> TmpSamples
                          -> Name
                          -> Spec a
                          -> [(Var, A.Atom ())]
                          -> [(Var, A.Atom ())]
          at Language/Copilot/Compiler.hs:397:22
      ‘b’ is a rigid type variable bound by
          a pattern with constructor
            F2 :: forall a b c.
                  (Streamable a, Streamable b, Streamable c) =>
                  (b -> c -> a)
                  -> (A.E b -> A.E c -> A.E a) -> Spec b -> Spec c -> Spec a,
          in a case alternative
          at Language/Copilot/Compiler.hs:428:5
    Expected type: Spec a
      Actual type: Spec b
    Relevant bindings include
      s0 :: Spec b (bound at Language/Copilot/Compiler.hs:428:12)
      sampleExts' :: Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:435:9)
      s :: Spec a (bound at Language/Copilot/Compiler.hs:400:33)
      sampleExts :: Outputs
                    -> TmpSamples
                    -> Name
                    -> Spec a
                    -> [(Var, A.Atom ())]
                    -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:400:1)
    In the first argument of ‘sampleExts'’, namely ‘s0’
    In the expression: sampleExts' s0

Language/Copilot/Compiler.hs:429:36:
    Could not deduce (a ~ b)
    from the context (Streamable a)
      bound by the type signature for
                 sampleExts :: Streamable a =>
                               Outputs
                               -> TmpSamples
                               -> Name
                               -> Spec a
                               -> [(Var, A.Atom ())]
                               -> [(Var, A.Atom ())]
      at Language/Copilot/Compiler.hs:(397,15)-(399,57)
    or from (Streamable a, Streamable b, Streamable c, Streamable d)
      bound by a pattern with constructor
                 F3 :: forall a b c d.
                       (Streamable a, Streamable b, Streamable c, Streamable d) =>
                       (b -> c -> d -> a)
                       -> (A.E b -> A.E c -> A.E d -> A.E a)
                       -> Spec b
                       -> Spec c
                       -> Spec d
                       -> Spec a,
               in a case alternative
      at Language/Copilot/Compiler.hs:429:5-19
      ‘a’ is a rigid type variable bound by
          the type signature for
            sampleExts :: Streamable a =>
                          Outputs
                          -> TmpSamples
                          -> Name
                          -> Spec a
                          -> [(Var, A.Atom ())]
                          -> [(Var, A.Atom ())]
          at Language/Copilot/Compiler.hs:397:22
      ‘b’ is a rigid type variable bound by
          a pattern with constructor
            F3 :: forall a b c d.
                  (Streamable a, Streamable b, Streamable c, Streamable d) =>
                  (b -> c -> d -> a)
                  -> (A.E b -> A.E c -> A.E d -> A.E a)
                  -> Spec b
                  -> Spec c
                  -> Spec d
                  -> Spec a,
          in a case alternative
          at Language/Copilot/Compiler.hs:429:5
    Expected type: Spec a
      Actual type: Spec b
    Relevant bindings include
      s0 :: Spec b (bound at Language/Copilot/Compiler.hs:429:12)
      sampleExts' :: Spec a -> [(Var, A.Atom ())] -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:435:9)
      s :: Spec a (bound at Language/Copilot/Compiler.hs:400:33)
      sampleExts :: Outputs
                    -> TmpSamples
                    -> Name
                    -> Spec a
                    -> [(Var, A.Atom ())]
                    -> [(Var, A.Atom ())]
        (bound at Language/Copilot/Compiler.hs:400:1)
    In the first argument of ‘sampleExts'’, namely ‘s0’
    In the expression: sampleExts' s0
Failed to install copilot-1.0.1
cabal: Error: some packages failed to install:
copilot-1.0.1 failed during the building phase. The exception was:
ExitFailure 1