Talk:Haskell Equational Reasoning Assistant

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