old/expr/exist/whileRep.icl

   1 implementation module whileRep
   2
   3 import StdEnv
   4 import while
   5
   6 :: WRep = WRepeat WhileExpr Until WhileBool
   7
   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