diff options
| author | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-07 15:27:19 +0100 |
|---|---|---|
| committer | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-03-07 15:27:32 +0100 |
| commit | bffbde3be34ce854e169ad2296f44416414fbc75 (patch) | |
| tree | 7556d48a6b7407756180d1e39e4647a403904f70 /progs/tests | |
| parent | 923834f19bfea1fae768cc990b5094b52e7cd43d (diff) | |
| download | sylt-bffbde3be34ce854e169ad2296f44416414fbc75.tar.gz | |
add failing tests
Diffstat (limited to 'progs/tests')
| -rw-r--r-- | progs/tests/global_collision.sy | 11 | ||||
| -rw-r--r-- | progs/tests/global_constants_edgecase.sy | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/progs/tests/global_collision.sy b/progs/tests/global_collision.sy new file mode 100644 index 0000000..8dba295 --- /dev/null +++ b/progs/tests/global_collision.sy @@ -0,0 +1,11 @@ +// TODO(ed): Pure functions +fac :: fn a: int -> int { + if a < 1 { ret 1 } + ret a * fac! a - 1 +} + +a :: fac! 4 + +start :: fn { + a <=> 24 +} diff --git a/progs/tests/global_constants_edgecase.sy b/progs/tests/global_constants_edgecase.sy new file mode 100644 index 0000000..8dba295 --- /dev/null +++ b/progs/tests/global_constants_edgecase.sy @@ -0,0 +1,11 @@ +// TODO(ed): Pure functions +fac :: fn a: int -> int { + if a < 1 { ret 1 } + ret a * fac! a - 1 +} + +a :: fac! 4 + +start :: fn { + a <=> 24 +} |