강지훈
가입: 2008년 9월 2일 올린 글: 291 위치: 302동 312-2호
|
올려짐: 2009년4월20일 2:28 주제: 숙제 6 버그 레포트: IntervalDomain, IntSetDomain의 update |
|
|
[interval, intSet]
let update t loc v = match t with
BOT -> MAP(FMap.add loc v FMap.empty)
| MAP m -> MAP(FMap.mapi
(fun l v -> if l = loc then v else FMap.find l m)
m)
| TOP -> TOP
[sign]
let update t loc v = match t with
BOT -> MAP(FMap.add loc v FMap.empty)
| MAP m -> MAP(FMap.add loc v m)
| TOP -> TOP
sign처럼 바꿔야 할거 같습니다.
--
그나저나 뼈대 코드 읽어보는 것만 해도 ㅎㄷㄷ해요 ㅜㅜ
조교님 감사합니다. _________________ 강지훈
프로그래밍의 원리 조교
Jeehoon Kang
TA, Principles of Programming |
|