diff options
| author | Rose Hogenson <rosehogenson@posteo.net> | 2025-11-04 18:58:28 -0800 |
|---|---|---|
| committer | Rose Hogenson <rosehogenson@posteo.net> | 2025-11-04 21:05:18 -0800 |
| commit | eaa183b7dfc841df75d42ace7a90ada1e40ff282 (patch) | |
| tree | 1d627b8088d5996a7bbf7c0a7439360e31de3dc3 /tests/190-list.sml | |
| parent | c48a992a6ed6ebd79c344b37364a680ddd948dea (diff) | |
| download | sml-main.tar.zst | |
Diffstat (limited to 'tests/190-list.sml')
| -rw-r--r-- | tests/190-list.sml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/190-list.sml b/tests/190-list.sml new file mode 100644 index 0000000..de69c4a --- /dev/null +++ b/tests/190-list.sml @@ -0,0 +1,10 @@ +infix 6 + + +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)) |