Directory listing for HaRe-0.6.0.2 source tarball
HaRe-0.6.0.2/StrategyLib-4.0-beta/examples/joos-rule02/
- Datatypes.hs
- DatatypesTermInstances.hs
- Instance.hs
- Main.hs
- MainIO.hs
- Makefile
- ParseLib.hs
- Parser.hs
- Test.correct
- extract-fine.joos
- testsuite/
- Main.hs
- Makefile
- declare-fine.joos
- declare-wrong.joos
- eliminate-fine.correct
- eliminate-fine.joos
- eliminate-wrong.correct
- eliminate-wrong.joos
- extract-fine.correct
- extract-fine.joos
- extract-wrong-assign.correct
- extract-wrong-assign.joos
- extract-wrong-return.correct
- extract-wrong-return.joos
- introduce-fine.correct
- introduce-fine.joos
- introduce-wrong-def.correct
- introduce-wrong-def.joos