1 implementation module whileRep
6 :: WRep = WRepeat WhileExpr Until WhileBool
8 instance eval WRep where eval (WRepeat e _ b) = eval (e :. While b Do e)
9 instance print WRep where print (WRepeat e _ b) = "Repeat " +++ print e +++ " until " +++ print b