--- /dev/null
+module Programs where
+
+import AST
+
+testProg :: Statement
+testProg = Seq (Assign "x" (Const (I 0))) loop
+ where loop = Seq (Print (Var "x"))
+ (Seq (Assign "x" (Add (Var "x") (Const (I 1))))
+ loop)
+testTry :: Statement
+testTry = Try (Print (Add (Const (I 3)) (Const (B True))))
+ (Print (Const (I 0)))