| 이승중 
 
 
 가입: 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)))))
 
 | 
 
 로 바꿔주세요
 |  |