Testing HERMIT Shell - ku-fpg/hermit-shell GitHub Wiki

How are we going to test HERMIT Shell?

The basic idea behind HERMIT is (interactive) commands that change GHC Core.

So we need some way of

• Seeing Core before transformation
• Doing transformation
• Seeing Core after transformation

One idea is to have a test text output mode that explicitly gives the Core in a computer readable format.

• Perhaps pretty-printed is not the best here.
• We could have a specific mode.
• How do we test this mode?

Cannon of Test Text

• All the test examples from Andrew and HEMRIT
• All the tests from the papers
• We could also generate them specifically for tests?