검색 결과 16 개 일치합니다

감사합니다.

잘 되네요 감사합니다!

보충 스펙 추가에 따른 테스트입니다.

(* test case : Record assign unbound *)

let x := {a := 0} in
x.a := 1;
write x.a;
x.b := 1

(* ...

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5943

제가 이해한게 맞다면 이 글이 도움이 될거 같습니다.

공지에서

“read의 실행의미 구현에는 read_int 를”

쓴다고 했기에 다른 경우를 생각하지 않는게 자연스럽지 싶습니다.

스켈레톤 코드에 들어있는 현행 example/test*.k- 가 커버하지 못하는 경우를 추가적으로 테스트합니다.

(* Public test case 12 *)
(* Test list
while
*& ...

스켈레톤 코드에 LOC 타입과 구현이 정의되어 있습니다.

기계적인 부분을 생각하지 마시고 그걸 보면 될 것 같습니다.

(* Location Signature *)
modu ...

K- 언어로 3.2, 3.3 과제를 할 때 도움이 되는 간단한 language support & syntax highlighter 를 만들었습니다.

메모장에서 코딩하던 느낌이 아니라 제대로된 � ...

'"1"' 과 '1' 중에 어느걸 출력하는지 묻는 거라면, 후자가 맞습니다.

일반적인 형태의 출력으로 구현하시면 됩니다.

어떻게 구현하셨는진 모르겠는데

오카멜에서 타입 패턴이 완전히 커버되지 않는다는 경고가 뜬다는 것은 구현이 잘못되었을 가능성이 상당히 높다� ...

crazy2 가 두군데 정의되어 있다는 에러인데요,

원 글에서 "여기서 crazy2val을 쓰도록 해놨으니 숙제 2.1에서 짠 crazy2val을 먼저 넣고 시작하셔요. &quo ...

과제 2번 테스트 입니다.
앞에 분이 모아서 올린거에서 테스트가 추가된 것은 없습니다.

개인적으로 테스트를 한큐에 돌리고 싶어서 만들었습니다. ...

헬퍼 함수를 만드는 것은 자율일것 같습니다. 어짜피 원 함수만 테스트 대상이니까요.

"이 모듈에 있는 함수들을 이용해서 큐를 만드는 과정의 예"

라고 되어있으니 필요없을 것 같습니다.

최대한 비유를 살려보면

역 이름이라는 것은 역이 위치한 지역을 반영해야만 합니다.
가령
봉천동이란 지역에 있는 역이 봉천역이라는 이름을 갖� ...