diff options
| author | Gabriel Kerneis | 2013-11-05 16:19:58 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-05 16:19:58 +0000 |
| commit | 9368a56882338955d0e1a0960895f1f3a8bec5ec (patch) | |
| tree | c9b7e46099594c66e4ad43750350e3932d1abdcc /src/test/test3.sail | |
| parent | 5aefb7b88db04c2d0e8a8fffe3050d3d35ace4c1 (diff) | |
Support parsing for extern calls
Diffstat (limited to 'src/test/test3.sail')
| -rw-r--r-- | src/test/test3.sail | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 6a88ced9..19a2d5d2 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -6,6 +6,9 @@ val ( nat -> nat effect { wmem , rmem } ) MEM val ( nat -> nat effect { wmem , rmem } ) MEM_GPU val ( ( nat * nat ) -> nat effect { wmem , rmem } ) MEM_SIZE +(* extern function *) +val extern ( nat -> nat pure ) add = "add" + function nat main _ = { (* left-hand side function call = memory write *) MEM(0) := 0; @@ -24,4 +27,7 @@ function nat main _ = { (* extra-parentheses are needed here *) MEM_SIZE( (0,1) ) := 4; MEM_SIZE( (0,1) ); + + (* extern calls *) + add(5); } |