You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm installing hoodle using cabal and after resolving all dependencies building fails. Build log:
Building hoodle-core-0.16.0...
Preprocessing library hoodle-core-0.16.0...
[ 1 of 68] Compiling Hoodle.Type.Clipboard ( src/Hoodle/Type/Clipboard.hs, dist/build/Hoodle/Type/Clipboard.o )
[ 2 of 68] Compiling Paths_hoodle_core ( dist/build/autogen/Paths_hoodle_core.hs, dist/build/Paths_hoodle_core.o )
[ 3 of 68] Compiling Hoodle.ModelAction.Text ( src/Hoodle/ModelAction/Text.hs, dist/build/Hoodle/ModelAction/Text.o )
src/Hoodle/ModelAction/Text.hs:23:1: Warning:
The import of ‘Debug.Trace’ is redundant
except perhaps to import instances from ‘Debug.Trace’
To import instances alone, use: import Debug.Trace()
src/Hoodle/ModelAction/Text.hs:41:28: Warning:
Defined but not used: ‘err’
[ 4 of 68] Compiling Hoodle.Type.Predefined ( src/Hoodle/Type/Predefined.hs, dist/build/Hoodle/Type/Predefined.o )
[ 5 of 68] Compiling Hoodle.ModelAction.Eraser ( src/Hoodle/ModelAction/Eraser.hs, dist/build/Hoodle/ModelAction/Eraser.o )
[ 6 of 68] Compiling Hoodle.Coroutine.LaTeX ( src/Hoodle/Coroutine/LaTeX.hs, dist/build/Hoodle/Coroutine/LaTeX.o )
[ 7 of 68] Compiling Hoodle.Script.Hook ( src/Hoodle/Script/Hook.hs, dist/build/Hoodle/Script/Hook.o )
[ 8 of 68] Compiling Hoodle.Script ( src/Hoodle/Script.hs, dist/build/Hoodle/Script.o )
[ 9 of 68] Compiling Hoodle.Type.Undo ( src/Hoodle/Type/Undo.hs, dist/build/Hoodle/Type/Undo.o )
src/Hoodle/Type/Undo.hs:40:38:
Couldn't match expected type ‘[a0]’ with actual type ‘SeqZipper a’
Relevant bindings include
zs' :: SeqZipper a (bound at src/Hoodle/Type/Undo.hs:42:16)
zs :: SeqZipper a (bound at src/Hoodle/Type/Undo.hs:36:13)
mzs :: Maybe (SeqZipper a) (bound at src/Hoodle/Type/Undo.hs:33:7)
e :: a (bound at src/Hoodle/Type/Undo.hs:30:18)
utable :: UndoTable a (bound at src/Hoodle/Type/Undo.hs:30:11)
addToUndo :: UndoTable a -> a -> UndoTable a
(bound at src/Hoodle/Type/Undo.hs:30:1)
In the first argument of ‘length’, namely ‘zs'’
In the second argument of ‘UndoTable’, namely ‘(length zs')’
src/Hoodle/Type/Undo.hs:41:38:
Couldn't match expected type ‘[a1]’ with actual type ‘SeqZipper a’
Relevant bindings include
zs' :: SeqZipper a (bound at src/Hoodle/Type/Undo.hs:42:16)
zs :: SeqZipper a (bound at src/Hoodle/Type/Undo.hs:36:13)
mzs :: Maybe (SeqZipper a) (bound at src/Hoodle/Type/Undo.hs:33:7)
e :: a (bound at src/Hoodle/Type/Undo.hs:30:18)
utable :: UndoTable a (bound at src/Hoodle/Type/Undo.hs:30:11)
addToUndo :: UndoTable a -> a -> UndoTable a
(bound at src/Hoodle/Type/Undo.hs:30:1)
In the first argument of ‘length’, namely ‘zs'’
In the second argument of ‘UndoTable’, namely ‘(length zs')’
I'm using ghc-7.8.4-48. The bug seems to be introduced in commit 324970a.
Any advice appreciated.
Best,
Mix
P.S. Thanks for introducing me to functional programming @wavewave! We met quite some time ago in King's college.
The text was updated successfully, but these errors were encountered:
mixmixmix
changed the title
Hoodle-core building fails
hoodle-core-0.16.0 building fails in cabal
Aug 15, 2016
Greetings!
I'm installing hoodle using cabal and after resolving all dependencies building fails. Build log:
I'm using
ghc-7.8.4-48
. The bug seems to be introduced in commit 324970a.Any advice appreciated.
Best,
Mix
P.S. Thanks for introducing me to functional programming @wavewave! We met quite some time ago in King's college.
The text was updated successfully, but these errors were encountered: