implementation module whileRep
+import StdEnv
import while
:: WRep = WRepeat WhileExpr Until WhileBool
-instance eval WRep where eval (WRepeat e Until b) = eval (e :. While b Do e)
+instance eval WRep where eval (WRepeat e _ b) = eval (e :. While b Do e)
+instance print WRep where print (WRepeat e _ b) = "Repeat " +++ print e +++ " until " +++ print b