X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expr%2Fexist%2FwhileRep.icl;h=da70d5eb1d64652cf681a5d75d1f4938aa630735;hb=1ed4222009881d320de99275c369c4f55ef56237;hp=6b5fe6f153350413133863676b5f818f5ecfe893;hpb=938d3406c1e406db293024b9a5710579a0090893;p=clean-tests.git diff --git a/expr/exist/whileRep.icl b/expr/exist/whileRep.icl index 6b5fe6f..da70d5e 100644 --- a/expr/exist/whileRep.icl +++ b/expr/exist/whileRep.icl @@ -1,7 +1,9 @@ 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