cons, uzh info

README.md

@@ -16,3 +16,5 @@ raddsl is inspired by:
 * [Stratego/XT](https://en.wikipedia.org/wiki/Stratego/XT)
 
 See *examples* folder for some examples of how to use raddsl.
+
+See also [Uzh compiler](https://github.com/true-grue/uzh).

raddsl/rewrite.py

@@ -120,10 +120,11 @@ def walk(tree):
     return walk
 
 
-def cons(f, g):
+def cons(h, t):
     def walk(tree):
         if type(tree.out) in tuple_or_list and tree.out:
-            return match(tree, f, tree.out[0]) and match(tree, g, tree.out[1:])
+            m = match(tree, h, tree.out[:len(h)])
+            return m and match(tree, t, tree.out[len(h):])
         return False
     return walk