Difference between revisions of "Talk:Haskell Equational Reasoning Assistant"
(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