search

tcr / corollary

Cross-compiler from Haskell to Rust, plus parser-haskell.
73 stars 5 forks source link

Experiment with runnable tests. #30

Closed tcr closed 7 years ago

tcr commented 7 years ago

This is the next step to a good test suite: runnable tests that can run asserts. This uses {-HASKELL-} and {-RUST-} to denote ghc-runnable and cargo script runnable tests. To try this out:

cargo script out/test.rs

main needs to be modified to take command line arguments so this can be tested from the command line as well.

tcr commented 7 years ago

Going to merge this—@pshc this will be the only PR I'll merge before #57 lands. I apologize if it breaks anything in your PR!

pshc commented 7 years ago

How fancy! No worries.