diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test2.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/test/test2.sail b/src/test/test2.sail index be106584..24d82655 100644 --- a/src/test/test2.sail +++ b/src/test/test2.sail @@ -1,3 +1,5 @@ function nat id ( n ) = n -function nat main _ = id(42) +function nat main _ = { + id(42); +} |