X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expr%2Fexist%2Fwhile.dcl;h=a2535f35dc5179f332611f63ce1f94ad9f49a5f1;hb=1ed4222009881d320de99275c369c4f55ef56237;hp=7431e3f3c62c56f48b59915485a8901e3f1db412;hpb=938d3406c1e406db293024b9a5710579a0090893;p=clean-tests.git

diff --git a/expr/exist/while.dcl b/expr/exist/while.dcl
index 7431e3f..a2535f3 100644
--- a/expr/exist/while.dcl
+++ b/expr/exist/while.dcl
@@ -9,20 +9,20 @@ definition module while
 	| (:.) infixr 0 WhileExpr WhileExpr
 	| While WhileBool Do WhileExpr
 	| Skip
-	| E.e: WExpr e & eval e
+	| E.e: WExpr e & eval e & print e
 
 :: WhileBool
 	= Bool Bool
 	| (==.) infix 4 WhileInt WhileInt
 	| (&.) infix 3 WhileBool WhileBool
 	| Not WhileBool
-	| E.e: WBool e & evalb e
+	| E.e: WBool e & evalb e & print e
 
 :: WhileInt
 	= Int Int
 	| Var String
 	| (+.) infixl 6 WhileInt WhileInt
-	| E.e: WInt e & evali e
+	| E.e: WInt e & evali e & print e
 
 class gamma g
 where
@@ -40,3 +40,9 @@ class evalb m :: m -> (g -> Bool) | gamma g
 instance eval WhileExpr
 instance evali WhileInt
 instance evalb WhileBool
+
+class print m :: m -> String
+
+instance print WhileExpr
+instance print WhileInt
+instance print WhileBool