Templates examples

Match macro with examples of templates.
Use #(lf,test_pets.trac)' to see

examples/def_pets.trac

@@ -0,0 +1,17 @@
+( Example of templates
+)
+#(lf,match.trac)
+#(ds,dog,Dog[x])
+#(ss,dog,x)
+#(ds,cat,Cat[x])
+#(ss,cat,x)
+#(ds,cat_says,x says "meow")
+#(ss,cat_says,x)
+#(ds,dog_says,x says "woof")
+#(ss,dog_says,x,else)
+#(ds,pets,(Pets[x,y]))
+#(ss,pets,x,y)
+#(ds,pets_say,X and Y say "wow")
+#(ss,pets_say,X,Y)
+#(ds,says,(#(match,cat,(x),cat_says,#(match,dog,(x),dog_says,#(match,pets,(x),pets_say,what?)))))
+#(ss,says,x)

examples/match.trac

@@ -0,0 +1,7 @@
+( match macro: #(match,template,string,result,else)
+  template and result are functions defined via ds/ss
+)
+#(ds,chk_arg,(#(eq,(arg),(),else,#(fun,arg))))
+#(ss,chk_arg,fun,arg,else)
+#(ds,match,(#(chk_arg,func,##(te,name,(expr)),else)))
+#(ss,match,name,expr,func,else)

examples/test_pets.trac

@@ -0,0 +1,19 @@
+( Testing of templates
+)
+#(lf,def_pets.trac)
+(
+ Test cat
+)
+#(says,Cat[Alice])
+(
+ Test dog
+)
+#(says,Dog[Bob])
+(
+ Test both
+)
+#(says,(Pets[Alice,Bob]))
+(
+ Test unknown
+)
+#(says,Cow)