search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Define :test command in .ghci #63

Open Toxaris opened 11 years ago

Toxaris commented 11 years ago

The .ghci file should define a :test command that runs unit tests from ghci. This can be done by something like the following:

cmdTests args = <haskell code to run the tests here>
:def test cmdTests

It would be perfect if cmdTests would use the args to decide which tests to run.