Directory listing for HaRe-0.6.0.1 source tarball
HaRe-0.6.0.1/StrategyLib-4.0-beta/examples/joos-rule02/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