| -- Copyright : (c) Data61 2018-2019 | |
| -- Commonwealth Science and Research Organisation (CSIRO) | |
| -- ABN 41 687 119 230 | |
| -- License : BSD3 | |
| -- | |
| import qualified Syntax | |
| import qualified Example | |
| import System.Environment (getArgs) | |
| import System.Exit (die) | |
| main :: IO () | |
| main = do | |
| args <- getArgs | |
| case args of | |
| "pretty-printer":[] -> | |
| Syntax.test 10 | |
| "example":fp:[] -> | |
| Example.example fp | |
| "update-expected":fp:[] -> | |
| Example.updateExpected fp | |
| _ -> die "Invalid test case to run." |