이승중
가입: 2010년 6월 22일 올린 글: 561
|
올려짐: 2012년11월16일 17:41 주제: |
|
|
trans_k.ml 의 FOR 파트를
코드: | | K.FOR(x,bot,top,body) ->
trans (
K.SEQ(K.ASSIGN(x, bot),
K.LETV("to", top,
K.LETF("for","do",
K.IF(K.LESS(K.VAR "do", K.ADD(K.VAR "to", K.NUM 1)),
K.SEQ(K.ASSIGN(x, K.VAR "do"),
K.SEQ(body,
K.CALLV("for", K.ADD(K.VAR "do", K.NUM 1)))),
K.UNIT),
K.CALLV("for", K.VAR x)))))
|
로 바꿔주세요 |
|