diff options
| author | Gabriel Kerneis | 2013-10-14 15:44:25 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-14 15:44:25 +0100 |
| commit | 5e56f66362df0d132aadf535121a3c1a995502e1 (patch) | |
| tree | 757ba2be739a80bbefd815e61f9c0ee21b548739 | |
| parent | ac043de5e194cad8a5b07d288d4c42ff17b18214 (diff) | |
Test function return
| -rw-r--r-- | src/test/test2.sail | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index baffd9b3..be106584 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,5 +1,3 @@ function nat id ( n ) = n -function nat main _ = { - id ( 42 ); -} +function nat main _ = id(42) |