diff options
| author | Gabriel Kerneis | 2013-10-15 15:12:23 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-15 15:12:23 +0100 |
| commit | e2de9237cfeff7141dcf4e4ab77ae7387b330b6c (patch) | |
| tree | fb690d4b7f4d0456ff4ca51b421dc1f8ea6f19b4 /src | |
| parent | b0e3f50555d6947a9ea204a192bf7f46cd24dbdd (diff) | |
Test for value-returning blocks
Diffstat (limited to 'src')
| -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); +} |