@@ -0,0 +1,11 @@
+LitAssn fixed c, [ p b ]
+
+LitAssn fixed v, [ a u ]
+Puts Cat(
+ Var(c)
+ Var(v)
+)
@@ -0,0 +1,2 @@
+Puts Str("Hello, world!")
@@ -0,0 +1,14 @@
+(* simple variables *)
+f := {x => x};
+f := {_ => x};
+(* literals *)
+f := {"foo" => "!"};
+f := {Bar => "?"};
+f := {55 => "~"};
+(* tuples *)
+f := {<> => x};
+f := {<x> => x};
+f := {<x,y> => x};
+f := {<x,y,z> => x};
@@ -0,0 +1,45 @@
+Assn f Fun(
+ x =>
+ Var(x)
+ _ =>
+ Str("foo") =>
+ Str("!")
+ Bar =>
+ Str("?")
+ Num(55) =>
+ Str("~")
+ Tup( ) =>
+ Tup( x ) =>
+ Tup( x y ) =>
+ Tup( x y z ) =>
+ Chc(
+ Str("p")
+ Str("b")
+ )
+ Str("a")
+ Str("u")