Build #1 for propeller-0.4.0.0
| Package | propeller-0.4.0.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2024-08-31 17:24:05.359690322 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.18.1.0, containers-0.6.7 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading propeller-0.4.0.0 Downloaded propeller-0.4.0.0 Starting propeller-0.4.0.0 Building propeller-0.4.0.0 Completed propeller-0.4.0.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- propeller-0.4.0.0 (first run)
Configuring propeller-0.4.0.0...
Preprocessing library for propeller-0.4.0.0..
Building library for propeller-0.4.0.0..
[1 of 4] Compiling Data.Propagator.Change ( src/Data/Propagator/Change.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/Change.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/Change.dyn_o )
[2 of 4] Compiling Data.Propagator ( src/Data/Propagator.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator.dyn_o )
[3 of 4] Compiling Data.Propagator.Hetero ( src/Data/Propagator/Hetero.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/Hetero.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/Hetero.dyn_o )
[4 of 4] Compiling Data.Propagator.ST ( src/Data/Propagator/ST.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/ST.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/Data/Propagator/ST.dyn_o )
Preprocessing test suite 'unification' for propeller-0.4.0.0..
Building test suite 'unification' for propeller-0.4.0.0..
[1 of 1] Compiling Main ( test/Unification/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/propeller-0.4.0.0/noopt/build/unification/unification-tmp/Main.o )
test/Unification/Main.hs:72:19: error: [GHC-83865]
" Couldn't match expected type: CellKey -> Term c f v
with actual type: Term c f v
" In the first argument of cell, namely term
In a stmt of a 'do' block: key <- cell term merge
In the expression:
do key <- cell term merge
pure (term, key, vars)
" Relevant bindings include
getOrUpdate :: Maybe CellKey
-> Compose
(Propagator (Term c f v))
((,,) (Term c f v) CellKey)
(Maybe CellKey)
(bound at test/Unification/Main.hs:85:5)
cellifyAll :: forall {c} {f}.
(Eq c, Eq f) =>
[Term c f v]
-> L.Map v CellKey
-> Propagator
(Term c f v) ([Term c f v], [CellKey], L.Map v CellKey)
(bound at test/Unification/Main.hs:94:5)
vars :: L.Map v CellKey (bound at test/Unification/Main.hs:69:21)
term :: Term c f v (bound at test/Unification/Main.hs:69:16)
filler :: v (bound at test/Unification/Main.hs:69:9)
cellify :: v
-> Term c f v
-> L.Map v CellKey
-> Propagator (Term c f v) (Term c f v, CellKey, L.Map v CellKey)
(bound at test/Unification/Main.hs:69:1)
|
72 | key <- cell term merge
| ^^^^
test/Unification/Main.hs:80:20: error: [GHC-83865]
" Couldn't match expected type: CellKey -> Term c f v
with actual type: Term c f v
" In the first argument of cell, namely term'
In a stmt of a 'do' block: root <- cell term' merge
In the expression:
do (ts', cells, vars') <- cellifyAll ts vars
let term' = Function f ts'
root <- cell term' merge
link filler f (length ts) cells root
....
" Relevant bindings include
term' :: Term c f v (bound at test/Unification/Main.hs:79:11)
vars' :: L.Map v CellKey (bound at test/Unification/Main.hs:78:20)
ts' :: [Term c f v] (bound at test/Unification/Main.hs:78:8)
ts :: [Term c f v] (bound at test/Unification/Main.hs:76:16)
f :: f (bound at test/Unification/Main.hs:76:14)
getOrUpdate :: Maybe CellKey
-> Compose
(Propagator (Term c f v))
((,,) (Term c f v) CellKey)
(Maybe CellKey)
(bound at test/Unification/Main.hs:85:5)
(Some bindings suppressed; use -fmax-relevant-binds=N or -fno-max-relevant-binds)
|
80 | root <- cell term' merge
| ^^^^^
test/Unification/Main.hs:92:25: error: [GHC-83865]
" Couldn't match expected type: CellKey -> Term c f v
with actual type: Term c f v
" In the first argument of cell, namely term
In a stmt of a 'do' block: key <- cell term merge
In the expression:
do key <- cell term merge
pure (term, key, Just key)
" Relevant bindings include
getOrUpdate :: Maybe CellKey
-> Compose
(Propagator (Term c f v))
((,,) (Term c f v) CellKey)
(Maybe CellKey)
(bound at test/Unification/Main.hs:85:5)
cellifyAll :: forall {c} {f}.
(Eq c, Eq f) =>
[Term c f v]
-> L.Map v CellKey
-> Propagator
(Term c f v) ([Term c f v], [CellKey], L.Map v CellKey)
(bound at test/Unification/Main.hs:94:5)
vars :: L.Map v CellKey (bound at test/Unification/Main.hs:69:21)
term :: Term c f v (bound at test/Unification/Main.hs:69:16)
filler :: v (bound at test/Unification/Main.hs:69:9)
cellify :: v
-> Term c f v
-> L.Map v CellKey
-> Propagator (Term c f v) (Term c f v, CellKey, L.Map v CellKey)
(bound at test/Unification/Main.hs:69:1)
|
92 | key <- cell term merge
| ^^^^