diff options
| author | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-14 13:37:07 +0100 |
| commit | 14d544935fc87df2b258cd4c9ed5acede44fe1f3 (patch) | |
| tree | 4d4ddf7927acf2fd276068ea21d6395cfba99bc5 /src/test | |
| parent | 5c9abc9e9b56640270aa3b50560ccc87d5b765e3 (diff) | |
Run main() to execute tests
Tests do not pass because of weird pattern-matching errors
in the interpreter.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test1.sail | 2 | ||||
| -rw-r--r-- | src/test/test2.sail | 7 |
2 files changed, 6 insertions, 3 deletions
diff --git a/src/test/test1.sail b/src/test/test1.sail index e3a98e3f..98dd92c2 100644 --- a/src/test/test1.sail +++ b/src/test/test1.sail @@ -10,3 +10,5 @@ typedef maybe = const union forall a. { unit None; a Some; } typedef colors = enumerate { red; green; blue } typedef creg = register bits [5:i] { 5 : h ; 6..7 : j} let bool e = true + +function unit main _ = () diff --git a/src/test/test2.sail b/src/test/test2.sail index 778e69cb..baffd9b3 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,4 +1,5 @@ -function unit main ( < bit > x ) = { - 42 +function nat id ( n ) = n + +function nat main _ = { + id ( 42 ); } -let unit run = main ( 42 ) |