diff options
| author | Mark Wassell | 2020-07-15 11:22:31 +0100 |
|---|---|---|
| committer | Mark Wassell | 2020-07-15 11:22:31 +0100 |
| commit | 71694474c5d59f61fb6b96ac396d30c6c43a2c73 (patch) | |
| tree | fe16ba9167a4e0bcf14b622796afb21019f193f3 /test | |
| parent | dfbdec56adca4ca82bea4ee477902522fbf30fa6 (diff) | |
Add test files missed from last commit
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/fail/duplicate_ctor.expect | 6 | ||||
| -rw-r--r-- | test/typecheck/fail/duplicate_ctor.sail | 3 | ||||
| -rw-r--r-- | test/typecheck/fail/duplicate_type_id.expect | 6 | ||||
| -rw-r--r-- | test/typecheck/fail/duplicate_type_id.sail | 3 |
4 files changed, 18 insertions, 0 deletions
diff --git a/test/typecheck/fail/duplicate_ctor.expect b/test/typecheck/fail/duplicate_ctor.expect new file mode 100644 index 00000000..28253714 --- /dev/null +++ b/test/typecheck/fail/duplicate_ctor.expect @@ -0,0 +1,6 @@ +Type error: +[[96mduplicate_ctor.sail[0m]:3:15-19 +3[96m |[0munion foo2 = { Bar1 : int } + [91m |[0m [91m^--^[0m + [91m |[0m Constructor or function already exists for Bar1 + [91m |[0m diff --git a/test/typecheck/fail/duplicate_ctor.sail b/test/typecheck/fail/duplicate_ctor.sail new file mode 100644 index 00000000..44a133d3 --- /dev/null +++ b/test/typecheck/fail/duplicate_ctor.sail @@ -0,0 +1,3 @@ +union foo1 = { Bar1 : int } + +union foo2 = { Bar1 : int }
\ No newline at end of file diff --git a/test/typecheck/fail/duplicate_type_id.expect b/test/typecheck/fail/duplicate_type_id.expect new file mode 100644 index 00000000..1cd2f4a8 --- /dev/null +++ b/test/typecheck/fail/duplicate_type_id.expect @@ -0,0 +1,6 @@ +Type error: +[[96mduplicate_type_id.sail[0m]:3:6-10 +3[96m |[0munion foo1 = { Bar2 : unit } + [91m |[0m [91m^--^[0m + [91m |[0m Cannot create variant foo1, type name is already bound + [91m |[0m diff --git a/test/typecheck/fail/duplicate_type_id.sail b/test/typecheck/fail/duplicate_type_id.sail new file mode 100644 index 00000000..fe600096 --- /dev/null +++ b/test/typecheck/fail/duplicate_type_id.sail @@ -0,0 +1,3 @@ +union foo1 = { Bar1 : unit } + +union foo1 = { Bar2 : unit }
\ No newline at end of file |