게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 5-2: 뼈대 코드의 K-- interpreter의 FORF 처리가 문서와 다릅니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김찬민



가입: 2010년 9월 6일
올린 글: 81
올리기올려짐: 2014년11월4일 2:37    주제: 숙제 5-2: 뼈대 코드의 K-- interpreter의 FORF 처리가 문서와 다릅니다. 인용과 함께 답변
코드:
for x := 1 to 0 do ()

는 문서를 따져보면 FORF에 해당하고, 따라서 문제없이 실행되어야 합니다.
하지만
코드:
./run -k
로 해당 코드를 수행하면 Fatal error: exception K.K.Error("not bound")가 뜹니다.

혹시 이러한 케이스를 만나면 문서를 따라야하는지, 주어진 뼈대 코드의 동작을 따라야하는지 궁금합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602
올리기올려짐: 2014년11월4일 10:23    주제: 인용과 함께 답변
뼈대 코드의 k.ml 파일에 말씀하신 버그가 있는 것을 확인했습니다. K-- 스펙문서에 명시되어 있는 semantics를 제대로 따라가도록 버그를 수정하였습니다. 수정한 k.ml 파일을 아래 링크에서 받아, 교체해 주시기 바랍니다.
http://ropas.snu.ac.kr/~ta/4190.310/14/document/k.ml

스펙 수정글에도 해당 내용을 추가하였습니다.

좋은 지적 감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 1 중 1

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay