Difference between revisions of "Talk:Haskell Equational Reasoning Assistant"

From HaskellWiki
Jump to: navigation, search
(rp)
(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