diff options
| author | Alasdair Armstrong | 2017-08-07 13:12:23 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-07 13:12:23 +0100 |
| commit | 3930c1763dbaf95844f2d532e6a49d3610baea4f (patch) | |
| tree | e74aedb9e8b418f68c611cd99995fd2a78c57e9a /test/typecheck | |
| parent | 2ca7b184dbf74322eede5992fb8f83db3ffbdd28 (diff) | |
Fixed various issues regarding typechecking lists.
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/list_cons.sail | 1 | ||||
| -rw-r--r-- | test/typecheck/pass/list_cons2.sail | 7 | ||||
| -rw-r--r-- | test/typecheck/pass/list_lit.sail | 2 |
3 files changed, 10 insertions, 0 deletions
diff --git a/test/typecheck/pass/list_cons.sail b/test/typecheck/pass/list_cons.sail new file mode 100644 index 00000000..6f103bf6 --- /dev/null +++ b/test/typecheck/pass/list_cons.sail @@ -0,0 +1 @@ +function list<int> foo ((int) i, (list<int>) l) = i :: l diff --git a/test/typecheck/pass/list_cons2.sail b/test/typecheck/pass/list_cons2.sail new file mode 100644 index 00000000..8c34282b --- /dev/null +++ b/test/typecheck/pass/list_cons2.sail @@ -0,0 +1,7 @@ +function list<int> foo ((int) i, (list<int>) l) = i :: l + +function list<int> bar () = [||||] + +function list<int> baz ((list<int>) l) = l + +function list<int> quux () = baz ([||||]) diff --git a/test/typecheck/pass/list_lit.sail b/test/typecheck/pass/list_lit.sail new file mode 100644 index 00000000..d4febadf --- /dev/null +++ b/test/typecheck/pass/list_lit.sail @@ -0,0 +1,2 @@ + +let (list<int>) xs = [||1,2,3,4,5,6||] |