diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-06 22:53:08 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-06 22:53:08 +0100 |
| commit | cd9bd7decd25301a6da01fd97feed1cc33cfabbf (patch) | |
| tree | 2b439efc7e4be565d0fde0838e34c87c5d90e8a6 /test/Language.hs | |
| parent | d08042be1e0ae158f124bb6848f5843a804a6544 (diff) | |
| download | micro-lang-hs-cd9bd7decd25301a6da01fd97feed1cc33cfabbf.tar.gz micro-lang-hs-cd9bd7decd25301a6da01fd97feed1cc33cfabbf.zip | |
Typecheck binary operator
Diffstat (limited to 'test/Language.hs')
| -rw-r--r-- | test/Language.hs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/test/Language.hs b/test/Language.hs index 0b7d6ac..2347b0e 100644 --- a/test/Language.hs +++ b/test/Language.hs @@ -379,6 +379,14 @@ testCaseE16 = \a = false;" E.TypeError +testCaseE17 = + TestLabel "type mismatch in binary operator" $ + TestCase $ + expectError + "module main\n\ + \1 + false;\n" + E.TypeError + language = [ testCase2, testCase3, @@ -412,5 +420,6 @@ language = testCaseE13, testCaseE14, testCaseE15, - testCaseE16 + testCaseE16, + testCaseE17 ] |