On 11/30/10 16:46, Stephen Tetley wrote:
> Andy Gill developed HERA which sounds somewhat similar to what you are
> asking, but I don't know that it would be particularly beginner
> friendly and I think it was static - i.e. the reduction rules were
> applied to program source code rather than within an interactive
> evaluation of a running program. I thought I'd seen more information
> about it on the web, but all I can seem to find at the moment is this
> page:
>
> http://www.haskell.org/haskellwiki/Haskell_Equational_Reasoning_Assistant
>
[snip]
Thanks for that link Stephen, unfortunately when I, as instructed by
that link, did:
darcs get http://code.haskell.org/HERA
and then, as instructed by the just gotten HERA/README, did:
make boot
I got errors as shown in the attachment.
I did post these results on the HERA discussion page:
http://www.haskell.org/haskellwiki
/Talk:Haskell_Equational_Reasoning_Assistant
However, apparently I didn't post it right because it's
all formatted wrong, making it hard to read :(
-regards,
Larry
/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 $
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
