diff options
Diffstat (limited to 'tests/19-list.sml')
| -rw-r--r-- | tests/19-list.sml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tests/19-list.sml b/tests/19-list.sml deleted file mode 100644 index 52404dc..0000000 --- a/tests/19-list.sml +++ /dev/null @@ -1,11 +0,0 @@ -infix 6 + -infixr 5 :: - -datatype 'a list = Nil | :: of 'a * 'a list - -fun x + y = __builtin "add" (x, y) - -fun foldl _ acc Nil = acc - | foldl f acc (x :: xs) = foldl f (f (x, acc)) xs - -val _ = __builtin "exit" (foldl op + 0 (1 :: 2 :: 3 :: 6 :: 8 :: 10 :: 12 :: Nil)) |