summary refs log tree commit diff
path: root/tests/lang
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-09-22 14:55:19 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-09-22 14:55:19 +0000
commitd315210612a8d5eb52654407903544b72222130b (patch)
treeedf5de3774a9a4faca84268b2c3ed2e5f3d6d175 /tests/lang
parentc02a44183fcff7c28cfed1c84c142cc2cf80f167 (diff)
downloadguix-d315210612a8d5eb52654407903544b72222130b.tar.gz
* 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.exp1
-rw-r--r--tests/lang/eval-okay-flatten.nix19
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 0000000000..e76d25de12
--- /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 0000000000..2019263b82
--- /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);
+}