Talk:Haskell Equational Reasoning Assistant: Difference between revisions
(rp) |
Cppljevans (talk | contribs) (→make boot fails at Language/Haskell/ER/Syntax.hs:284:36: new section) |
||
Line 2: | Line 2: | ||
:I emailed Gill and asked; it seems he intended to write a real homepage for HERA, but he just never got around to it. Hence the loop. [[User:Gwern|Gwern]] 20:01, 15 February 2008 (UTC) | :I emailed Gill and asked; it seems he intended to write a real homepage for HERA, but he just never got around to it. Hence the loop. [[User:Gwern|Gwern]] 20:01, 15 February 2008 (UTC) | ||
== make boot fails at Language/Haskell/ER/Syntax.hs:284:36 == | |||
After downloading HERA with: | |||
darcs get http://code.haskell.org/HERA | |||
followed instructions in the HERA/README, but got error as shown | |||
here: | |||
--{--cut here-- | |||
/home/evansl/prog_dev/haskell/my-code/hera/HERA $ make boot | |||
make -C engine | |||
make[1]: Entering directory `/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine' | |||
runhaskell Setup.hs configure --user --prefix=/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine/inplace | |||
Setup.hs:3:0: | |||
Warning: In the use of `defaultUserHooks' | |||
(imported from Distribution.Simple): | |||
Deprecated: "Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2 | |||
compatibility in which case you must stick with defaultUserHooks" | |||
Warning: defaultUserHooks in Setup script is deprecated. | |||
Configuring hera-engine-2.1... | |||
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or | |||
./configure script then use 'build-type: Simple'. | |||
Warning: Instead of 'ghc-options: -fth -cpp' use 'extensions: TemplateHaskell | |||
CPP' | |||
runhaskell Setup.hs build | |||
Setup.hs:3:0: | |||
Warning: In the use of `defaultUserHooks' | |||
(imported from Distribution.Simple): | |||
Deprecated: "Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2 | |||
compatibility in which case you must stick with defaultUserHooks" | |||
Preprocessing library hera-engine-2.1... | |||
Building hera-engine-2.1... | |||
[ 1 of 10] Compiling Language.Haskell.ER.HughesPJ ( Language/Haskell/ER/HughesPJ.hs, dist/build/Language/Haskell/ER/HughesPJ.o ) | |||
on the commandline: | |||
Warning: -fth is deprecated: use -XTemplateHaskell or pragma {-# LANGUAGE TemplateHaskell #-} instead | |||
on the commandline: Warning: -Onot is deprecated: Use -O0 instead | |||
[ 2 of 10] Compiling Language.Haskell.ER.PprLib ( Language/Haskell/ER/PprLib.hs, dist/build/Language/Haskell/ER/PprLib.o ) | |||
[ 3 of 10] Compiling Language.Haskell.ER.Utils ( Language/Haskell/ER/Utils.hs, dist/build/Language/Haskell/ER/Utils.o ) | |||
[ 4 of 10] Compiling Language.Haskell.ER.Frees ( Language/Haskell/ER/Frees.hs, dist/build/Language/Haskell/ER/Frees.o ) | |||
[ 5 of 10] Compiling Language.Haskell.ER.Syntax ( Language/Haskell/ER/Syntax.hs, dist/build/Language/Haskell/ER/Syntax.o ) | |||
Language/Haskell/ER/Syntax.hs:46:32: | |||
No instance for (Show ModName) | |||
arising from a use of `show' | |||
at Language/Haskell/ER/Syntax.hs:46:32-37 | |||
Possible fix: add an instance declaration for (Show ModName) | |||
In the second argument of `(++)', namely `show n' | |||
In the expression: "NameQ " ++ show n | |||
In the definition of `show': show (NameQ n) = "NameQ " ++ show n | |||
Language/Haskell/ER/Syntax.hs:52:55: | |||
No instance for (Show PkgName) | |||
arising from a use of `show' | |||
at Language/Haskell/ER/Syntax.hs:52:55-60 | |||
Possible fix: add an instance declaration for (Show PkgName) | |||
In the first argument of `(++)', namely `show n' | |||
In the second argument of `(++)', namely `show n ++ " " ++ show x' | |||
In the second argument of `(++)', namely | |||
`" " ++ show n ++ " " ++ show x' | |||
Language/Haskell/ER/Syntax.hs:71:43: | |||
No instance for (Lift Pred) | |||
arising from a use of `cxt' | |||
at Language/Haskell/ER/Syntax.hs:71:43-45 | |||
Possible fix: add an instance declaration for (Lift Pred) | |||
In the first argument of `DataD', namely `cxt' | |||
In the Template Haskell quotation [| DataD cxt n ns1 cs ns2 |] | |||
In the expression: [| DataD cxt n ns1 cs ns2 |] | |||
Language/Haskell/ER/Syntax.hs:71:49: | |||
No instance for (Lift TyVarBndr) | |||
arising from a use of `ns1' | |||
at Language/Haskell/ER/Syntax.hs:71:49-51 | |||
Possible fix: add an instance declaration for (Lift TyVarBndr) | |||
In the third argument of `DataD', namely `ns1' | |||
In the Template Haskell quotation [| DataD cxt n ns1 cs ns2 |] | |||
In the expression: [| DataD cxt n ns1 cs ns2 |] | |||
Language/Haskell/ER/Syntax.hs:262:36: | |||
No instance for (Lift OccName) | |||
arising from a use of `name' | |||
at Language/Haskell/ER/Syntax.hs:262:36-39 | |||
Possible fix: add an instance declaration for (Lift OccName) | |||
In the first argument of `Name', namely `name' | |||
In the Template Haskell quotation [| Name name flavor |] | |||
In the expression: [| Name name flavor |] | |||
Language/Haskell/ER/Syntax.hs:278:28: | |||
No instance for (Lift ModName) | |||
arising from a use of `m' at Language/Haskell/ER/Syntax.hs:278:28 | |||
Possible fix: add an instance declaration for (Lift ModName) | |||
In the first argument of `NameQ', namely `m' | |||
In the Template Haskell quotation [| NameQ m |] | |||
In the expression: [| NameQ m |] | |||
Language/Haskell/ER/Syntax.hs:284:36: | |||
No instance for (Lift PkgName) | |||
arising from a use of `m' at Language/Haskell/ER/Syntax.hs:284:36 | |||
Possible fix: add an instance declaration for (Lift PkgName) | |||
In the second argument of `NameG', namely `m' | |||
In the Template Haskell quotation [| NameG ns m x |] | |||
In the expression: [| NameG ns m x |] | |||
make[1]: *** [boot] Error 1 | |||
make[1]: Leaving directory `/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine' | |||
make: *** [boot] Error 2 | |||
/home/evansl/prog_dev/haskell/my-code/hera/HERA $ | |||
--{--cut here-- | |||
What should I do to correct this please? | |||
TIA. | |||
-Larry |
Latest revision as of 12:24, 11 December 2010
Um, the link to the author's web page just gives a link back here... is this some kind of FP joke?
- I emailed Gill and asked; it seems he intended to write a real homepage for HERA, but he just never got around to it. Hence the loop. Gwern 20:01, 15 February 2008 (UTC)
make boot fails at Language/Haskell/ER/Syntax.hs:284:36
After downloading HERA with:
darcs get http://code.haskell.org/HERA
followed instructions in the HERA/README, but got error as shown here:
--{--cut here-- /home/evansl/prog_dev/haskell/my-code/hera/HERA $ make boot make -C engine make[1]: Entering directory `/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine' runhaskell Setup.hs configure --user --prefix=/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine/inplace
Setup.hs:3:0:
Warning: In the use of `defaultUserHooks' (imported from Distribution.Simple): Deprecated: "Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2 compatibility in which case you must stick with defaultUserHooks"
Warning: defaultUserHooks in Setup script is deprecated. Configuring hera-engine-2.1... Warning: No 'build-type' specified. If you do not need a custom Setup.hs or ./configure script then use 'build-type: Simple'. Warning: Instead of 'ghc-options: -fth -cpp' use 'extensions: TemplateHaskell CPP' runhaskell Setup.hs build
Setup.hs:3:0:
Warning: In the use of `defaultUserHooks' (imported from Distribution.Simple): Deprecated: "Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2 compatibility in which case you must stick with defaultUserHooks"
Preprocessing library hera-engine-2.1... Building hera-engine-2.1... [ 1 of 10] Compiling Language.Haskell.ER.HughesPJ ( Language/Haskell/ER/HughesPJ.hs, dist/build/Language/Haskell/ER/HughesPJ.o )
on the commandline:
Warning: -fth is deprecated: use -XTemplateHaskell or pragma {-# LANGUAGE TemplateHaskell #-} instead
on the commandline: Warning: -Onot is deprecated: Use -O0 instead [ 2 of 10] Compiling Language.Haskell.ER.PprLib ( Language/Haskell/ER/PprLib.hs, dist/build/Language/Haskell/ER/PprLib.o ) [ 3 of 10] Compiling Language.Haskell.ER.Utils ( Language/Haskell/ER/Utils.hs, dist/build/Language/Haskell/ER/Utils.o ) [ 4 of 10] Compiling Language.Haskell.ER.Frees ( Language/Haskell/ER/Frees.hs, dist/build/Language/Haskell/ER/Frees.o ) [ 5 of 10] Compiling Language.Haskell.ER.Syntax ( Language/Haskell/ER/Syntax.hs, dist/build/Language/Haskell/ER/Syntax.o )
Language/Haskell/ER/Syntax.hs:46:32:
No instance for (Show ModName) arising from a use of `show' at Language/Haskell/ER/Syntax.hs:46:32-37 Possible fix: add an instance declaration for (Show ModName) In the second argument of `(++)', namely `show n' In the expression: "NameQ " ++ show n In the definition of `show': show (NameQ n) = "NameQ " ++ show n
Language/Haskell/ER/Syntax.hs:52:55:
No instance for (Show PkgName) arising from a use of `show' at Language/Haskell/ER/Syntax.hs:52:55-60 Possible fix: add an instance declaration for (Show PkgName) In the first argument of `(++)', namely `show n' In the second argument of `(++)', namely `show n ++ " " ++ show x' In the second argument of `(++)', namely `" " ++ show n ++ " " ++ show x'
Language/Haskell/ER/Syntax.hs:71:43:
No instance for (Lift Pred) arising from a use of `cxt' at Language/Haskell/ER/Syntax.hs:71:43-45 Possible fix: add an instance declaration for (Lift Pred) In the first argument of `DataD', namely `cxt' In the Template Haskell quotation [| DataD cxt n ns1 cs ns2 |] In the expression: [| DataD cxt n ns1 cs ns2 |]
Language/Haskell/ER/Syntax.hs:71:49:
No instance for (Lift TyVarBndr) arising from a use of `ns1' at Language/Haskell/ER/Syntax.hs:71:49-51 Possible fix: add an instance declaration for (Lift TyVarBndr) In the third argument of `DataD', namely `ns1' In the Template Haskell quotation [| DataD cxt n ns1 cs ns2 |] In the expression: [| DataD cxt n ns1 cs ns2 |]
Language/Haskell/ER/Syntax.hs:262:36:
No instance for (Lift OccName) arising from a use of `name' at Language/Haskell/ER/Syntax.hs:262:36-39 Possible fix: add an instance declaration for (Lift OccName) In the first argument of `Name', namely `name' In the Template Haskell quotation [| Name name flavor |] In the expression: [| Name name flavor |]
Language/Haskell/ER/Syntax.hs:278:28:
No instance for (Lift ModName) arising from a use of `m' at Language/Haskell/ER/Syntax.hs:278:28 Possible fix: add an instance declaration for (Lift ModName) In the first argument of `NameQ', namely `m' In the Template Haskell quotation [| NameQ m |] In the expression: [| NameQ m |]
Language/Haskell/ER/Syntax.hs:284:36:
No instance for (Lift PkgName) arising from a use of `m' at Language/Haskell/ER/Syntax.hs:284:36 Possible fix: add an instance declaration for (Lift PkgName) In the second argument of `NameG', namely `m' In the Template Haskell quotation [| NameG ns m x |] In the expression: [| NameG ns m x |]
make[1]: *** [boot] Error 1 make[1]: Leaving directory `/home/evansl/prog_dev/haskell/my-code/hera/HERA/engine' make: *** [boot] Error 2 /home/evansl/prog_dev/haskell/my-code/hera/HERA $
--{--cut here--
What should I do to correct this please?
TIA.
-Larry