diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22 14:55:19 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22 14:55:19 +0000 |
commit | d315210612a8d5eb52654407903544b72222130b (patch) | |
tree | edf5de3774a9a4faca84268b2c3ed2e5f3d6d175 /tests/lang | |
parent | c02a44183fcff7c28cfed1c84c142cc2cf80f167 (diff) |
* Added a builtin function `isList' to test whether a value is a list.
With this primitive, a list-flattening function can be implemented
(NIX-55, example is in tests/lang/eval-okay-flatten.nix).
Diffstat (limited to 'tests/lang')
-rw-r--r-- | tests/lang/eval-okay-flatten.exp | 1 | ||||
-rw-r--r-- | tests/lang/eval-okay-flatten.nix | 19 |
2 files changed, 20 insertions, 0 deletions
diff --git a/tests/lang/eval-okay-flatten.exp b/tests/lang/eval-okay-flatten.exp new file mode 100644 index 000000000..e76d25de1 --- /dev/null +++ b/tests/lang/eval-okay-flatten.exp @@ -0,0 +1 @@ +Str("1234567") diff --git a/tests/lang/eval-okay-flatten.nix b/tests/lang/eval-okay-flatten.nix new file mode 100644 index 000000000..2019263b8 --- /dev/null +++ b/tests/lang/eval-okay-flatten.nix @@ -0,0 +1,19 @@ +let { + + fold = op: nul: list: + if list == [] + then nul + else op (builtins.head list) (fold op nul (builtins.tail list)); + + concat = + fold (x: y: x + y) ""; + + flatten = x: + if builtins.isList x + then fold (x: y: (flatten x) ++ y) [] x + else [x]; + + l = ["1" "2" ["3" ["4"] ["5" "6"]] "7"]; + + body = concat (flatten l); +} |