diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-28 21:46:13 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-28 23:03:16 +0200 |
| commit | 187dcd089f8a86e8d8e769769496f791d69ec09d (patch) | |
| tree | 072837702a85236fbe85e88452fcf6390b2a2c82 /tests/TrivialMatch.ml | |
| parent | 19ee8bf4e7226117c47edfba623db61720a07338 (diff) | |
Added the first tests
Diffstat (limited to 'tests/TrivialMatch.ml')
| -rw-r--r-- | tests/TrivialMatch.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/TrivialMatch.ml b/tests/TrivialMatch.ml new file mode 100644 index 0000000..971eafb --- /dev/null +++ b/tests/TrivialMatch.ml @@ -0,0 +1,4 @@ +let x = + match 1 < 0 with + | true -> "something is terribly wrong here" + | false -> "correct" |