[윤용호]

#1은 최종욱님이 올려주셨으니 생략합니다.

#2
let q=IntListQ.enQ (IntListQ.enQ (IntListQ.enQ (IntListQ.enQ (IntListQ.emptyQ, [1]), [2]), [3]),[4;5]);;
let (v1,q1)=IntListQ.deQ q;;
let (v2,q2)=IntListQ.deQ q1;;
let (v3,q3)=IntListQ.deQ q2;;
let (v4,q4)=IntListQ.deQ q3;;
let (v5,q5)=IntListQ.deQ q4;;
let q'=IntListQ.enQ (q3, [6]);;
let (v6,q6)=IntListQ.deQ q';;
let (v7,q7)=IntListQ.deQ q6;;
let (v8,q=IntListQ.deQ q7;;

참고로 sig Queue가 좀 불완전해서
IntListQ를 Queue에 매칭시켜버리면 테스트를 할수 없게 됩니다.

#3
pp 를 정의할 능력이 안되니 테스트 할 방법이 없군요...ㅜㅜ


#4

편의상 세개의 함수를 정의해 사용합니다.

let rec string_of_key key = match key with
Bar -> "-"
| Node(k1,k2) -> "("^string_of_key k1^","^string_of_key k2^")" ;;

let pprint_keylist kl =
let rec string_of_list f l = match l with
[] -> ""
| h::[] -> f h
| h::t -> f h^", "^string_of_list f t
in
print_endline ("{"^string_of_list string_of_key kl^"}") ;;

let result = fun map -> (pprint_keylist (getReady map)) ;;



# result (End StarBox);;
{-}
- : unit = ()

# result (End (NameBox "x")) ;;
{-}
- : unit = ()

# result (Guide ("x", End (NameBox "x")));;
{-}
- : unit = ()

# result (Branch (Guide ("x", End (NameBox "x")), End StarBox));;
{-}
- : unit = ()

# result (Branch(Guide ("x", Branch (End (NameBox "x"), End (NameBox "x"))), End StarBox));;
Exception: Invalid_argument "cannot travel".

# result (Branch (Guide ("x", End (NameBox "x")), Branch (Guide ("y", End (NameBox "y")), End StarBox)));;
{-}
- : unit = ()

# result (Branch (Guide ("x", End (NameBox "x")), Guide ("y", End (NameBox "y"))));;
{-, (-,-)}
- : unit = ()

# result (Branch (End (NameBox "x"), End StarBox));;
{-, (-,-)}
- : unit = ()

# result (Guide ("x", Guide ("y", Branch (End (NameBox "x"),End (NameBox "y")))));;
{-, (-,-)}
- : unit = ()

# result (Guide ("x", Guide ("y", Guide ("z", Branch (Branch (End (NameBox "x"), End (NameBox "y")), End (NameBox "z"))))));;
{-, (-,(-,-))}
- : unit = ()

# result (Guide ("x", Guide ("y", Guide ("z", Branch (End (NameBox "x"),Branch (End (NameBox "y"), End (NameBox "z")))))));;
{-, (-,-)}
- : unit = ()

# result (Branch(Guide ("x", Guide ("y", Branch (End (NameBox "y"), End (NameBox "x")))), Branch (End (NameBox "z"), End (NameBox "w"))));;
{-, (-,-)}
- : unit = ()

# result (Branch(Guide ("x", Branch (End (NameBox "x"), End (NameBox "x"))),Guide ("y", Branch (End (NameBox "y"), End (NameBox "y")))));;
Exception: Invalid_argument "cannot travel".

# result (Branch(Guide ("z", End (NameBox "w")), Branch(Guide ("x", Branch (End (NameBox "x"), End (NameBox "x"))),Guide ("y", Branch (End (NameBox "y"), End (NameBox "y"))))));;
Exception: Invalid_argument "cannot travel".

아직 더 만드는 중입니다.

--------------------1차추가------------------------

# result (Branch(Guide ("x", (Guide ("y", Guide ("z", Guide ("w", Branch (Branch (End (NameBox "x"), End (NameBox "y")), Branch (End (NameBox "z"), End (NameBox "w")))))))), End StarBox)) ;;
Exception: Invalid_argument "cannot travel".

# result (Branch(Guide ("x", (Guide ("y", Guide ("z", Guide ("w", Branch (Branch (End (NameBox "x"), End (NameBox "y")), Branch (End (NameBox "z"), End (NameBox "w")))))))), Guide ("a", End StarBox))) ;;
Exception: Invalid_argument "cannot travel".

# result (Branch(Guide ("x", (Guide ("y", Guide ("z", Guide ("w", Branch (Branch (End (NameBox "x"), End (NameBox "y")), Branch (End (NameBox "z"), End (NameBox "w")))))))), Guide ("a", Branch (End (NameBox "a"),End (NameBox "b"))))) ;;
{-, (-,-), (-,(-,-)), ((-,(-,-)),(-,-))}
- : unit = ()

# result (Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),
Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f")))) ;;
{-, (-,(-,-)), (-,(-,(-,-)))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Guide ("x", Branch(End (NameBox "x"), End StarBox))
) );;
{-, (-,-), (-,(-,-)), (-,(-,(-,(((-,-),-),-))))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "a"), End StarBox)));;
Exception: Invalid_argument "cannot travel".

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "b"), End StarBox)));;
{-, (-,(-,-)), (-,-), ((-,-),(-,(-,(-,-))))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "c"), End StarBox)));;
{-, (-,(-,-)), (-,-), (-,((-,-),(-,(-,-))))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "d"), End StarBox)));;
{-, (-,(-,-)), (-,(-,(-,((-,-),-))))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "e"), End StarBox)));;
{-, (-,-), ((-,-),(-,-)), (-,(-,(-,(-,-))))}
- : unit = ()

# result (Branch(Branch(Branch(Branch(End (NameBox "a"), End(NameBox "b")), End(NameBox "c")),Branch(Branch(End (NameBox "d"), End(NameBox "e")), End(NameBox "f"))),Branch(End (NameBox "f"), End StarBox)));;
{-, (-,-), (-,((-,-),-)), (-,(-,(-,(-,-))))}
- : unit = ()
_________________
TA

[koreaskj]

2번 테스트셋!

적당한 output도 올려주시면 감사하겠습니다~

element에 해당하는 부분만이라도 ㅜ_ㅜ

[윤용호]

[1], [2], [3], [4;5] 를 차례로 Q에 넣는 코드입니다.
따라서 [1], [2], [3], [4;5] 가 차례로 deQ 된 후 v5에서는 exception이 발생합니다.

q'은 q3 즉 3개를 뺀 상태에서 [6]을 넣은 것이므로 [4;5]가 남은 상태에서 [6]을 넣은 큐입니다.

여기서 2개를 빼므로 역시 차례로 [4;5] 와 [6]이 뽑혀나오고 마지막 한번은 exception이 발생합니다.
_________________
TA

[신기정]

명확한 스펙이 나와서 아무래도 이걸로는 테스트가 어려울 것 같습니다만 ㅜㅜ

남겨는 둡니다 ㅜㅜ

module A = BasicFrame(struct let design = TURTLE end)
module B = BasicFrame(struct let design = WAVE end)
module A' = Rotate(A)
module A'' = Rotate(A')
module B' = Rotate(B)
module B'' = Rotate(B')
module A4 = Glue (A) (B) (A') (B')
module B4 = Glue (A) (A') (B) (B')
module A4' = Rotate(A4)
module B4' = Rotate(B4)
module C = Glue (A4) (B4) (A4') (B4')
let bluePrint = C.pp C.box;;

---------------------------------------

A.box;;
- : box = BOX (NW, TURTLE)

A.rotate A.box;;
- : box = BOX (NE, TURTLE)

A'.box;;
- : box = BOX (NE, TURTLE)

A'.rotate A'.box;;
- : box = BOX (SE, TURTLE)


A4. box;;
- : box =
GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE))

A4.rotate A4. box;;
: box =
GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE))


C.box;;
- : box =
GLUED
(GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE)))

A.rotate C.box;;
Exception: BasicFrame(Design).NON_BASIC_BOX.

A4.rotate C.box;;
Exception: BasicFrame(Design).NON_BASIC_BOX.

C.rotate C.box;;
- : box =
GLUED
(GLUED (BOX (SE, WAVE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SW, TURTLE)),
GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE)),
GLUED (BOX (SW, TURTLE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SE, WAVE)))

A'.pp C.box;;
- : int * int -> unit = <fun>

A4.pp C.box;;
- : int * int -> unit = <fun>

C.pp C.box;;
- : int * int -> unit = <fun>

[신기정]

A.pp C.box (1,1);;
Exception: BasicFrame(Design).NON_BASIC_BOX.

A'.pp C.box (1,1);;
Exception: BasicFrame(Design).NON_BASIC_BOX.

C.pp C.box (1,1);;
- : unit = ()

C.pp A.box (10,10);;
Exception: Glue(Nw)(Ne)(Se)(Sw).NON_GLUED_BOX.

C.rotate A.box ;;
Exception: Glue(Nw)(Ne)(Se)(Sw).NON_GLUED_BOX.

C.rotate A4.box;;
Exception: Glue(Nw)(Ne)(Se)(Sw).NON_GLUED_BOX.

[임창원]

A4.pp C.box;;
같은 인풋도 고려해야하나요? ㅠㅠ

[최종욱]

보물섬 조금 큰 예제들


[..........]




(* 19 boxes, 90 nodes *)
# let testcmd = (Branch ((Guide ("Bill", (End (NameBox "Bill")))) , (Branch ((Branch ((Guide
("Claudette", (Branch ((Branch ((End (NameBox "Claudette")) , (End (NameBox "Danny")))) , (Branch ((End (NameBox "Erika")) ,
(Guide ("Fred", (End (NameBox "Fred")))))))))) , (Branch ((Branch ((Branch ((Branch ((End (NameBox "Grace")) ,
(End (NameBox "Henri")))) , (Branch ((End (NameBox "Ida")) , (End (NameBox "Joaquin")))))) , (End (NameBox "Kate")))) ,
(Branch ((End (NameBox "Larry")) , (Branch ((End (NameBox "Mindy")) , (Guide ("Nicholas", (End (NameBox "Nicholas"))))))))))))
, (Branch ((Branch ((End (NameBox "Odette")) , (Guide ("Peter", (Guide ("Rose", (Branch ((End (NameBox "Rose")) ,
(End (NameBox "Sam")))))))))) , (Branch ((Branch ((Guide ("Teresa", (End (NameBox "Teresa")))) , (End (NameBox "Victor"))))
, (End (NameBox "Wanda"))))))))))
in result testcmd;;

{-, (-,-), (-,(-,(-,-))), (-,(-,(-,(-,(-,(-,(-,-))))))), ((-,-),-), ((-,((-,-),-)),(-,-))}
- : unit = ()






(* 40 boxes, about 190 nodes *)
# let testcmd = (Branch ((End (NameBox "ab")) , (Branch ((Branch ((Branch ((Branch
((Guide ("ac", (Guide ("ad", (Guide ("ae", (Guide ("af", (Guide ("ag", (End (NameBox "ag")))))))))))) , (End (NameBox "ah"))))
, (Branch ((Branch ((Branch ((Branch ((Branch ((Branch ((End (NameBox "ai")) , (End (NameBox "aj"))))
, (Guide ("ak", (End (NameBox "ak")))))) , (Branch ((End (NameBox "al")) , (Guide ("am", (End (NameBox "am"))))))
)) , (Branch ((Branch ((End (NameBox "an")) , (Branch ((End (NameBox "ao")) , (End (NameBox "ap"))))
)) , (Guide ("aq", (End (NameBox "aq")))))))) , (End (NameBox "ar"))))
, (Branch ((End (NameBox "as")) , (Branch ((Branch ((End (NameBox "at")) , (End (NameBox "au"))))
, (Branch ((Guide ("av", (Branch ((End (NameBox "av")) , (End (NameBox "aw"))))
)) , (Branch ((Guide ("ax", (End (NameBox "ax")))) , (End (NameBox "ay"))))
)))))))))) , (End (NameBox "az")))) , (Branch ((Branch ((Guide ("ba", (Branch ((Branch ((Branch ((Branch ((End (NameBox "ba")) ,
(Branch ((End (NameBox "bb")) , (End (NameBox "bc")))))) , (End (NameBox "bd")))) ,
(Guide ("be", (Guide ("bf", (Branch ((End (NameBox "bf")) , (End (NameBox "bg")))) ))))))
, (Branch ((Branch ((End (NameBox "bh")) , (Branch ((Branch ((End (NameBox "bi")) , (End (NameBox "bj"))))
, (End (NameBox "bk")))) ))
, (Branch ((Branch ((Branch ((End (NameBox "bl")) , (End (NameBox "bm"))))
, (Guide ("bn", (End (NameBox "bn"))))))
, (Branch ((Branch ((End (NameBox "bo")) , (End (NameBox "bp"))))
, (Branch ((End (NameBox "bq")) , (End (NameBox "br")))) ))
)) )) )) )) , (End (NameBox "bs")))) , (End (NameBox "bt")))) )) ))
in result testcmd;;

{-, (-,-), (-,(-,-)), (-,(-,((-,((-,-),-)),(-,(-,-))))), (-,((-,-),-)), (-,((-,-),(-,-))), (-,((-,-),(-,(-,(-,(-,-)))))), ((-,-),-)}
- : unit = ()







(* 74 nodes, ~350 nodes *)
# let testcmd = (Guide ("ab", (Branch ((End (NameBox "ab")) , (Guide ("ac", (Branch
((Guide ("ad", (Branch ((Guide ("ae", (Guide ("af", (Branch ((End (NameBox "af")) , (Branch ((Branch ((Branch ((Guide ("ag",
(Branch ((End (NameBox "ag")) , (End (NameBox "ah")))))) , (End (NameBox "ai"))))
, (Branch ((End (NameBox "aj")) , (Branch ((Branch ((Branch ((End (NameBox "ak")) , (End (NameBox "al"))))
, (Branch ((End (NameBox "am")) , (End (NameBox "an"))))
)) , (End (NameBox "ao")))) )))) , (Branch ((Guide ("ap", (End (NameBox "ap")))) , (End (NameBox "aq"))))
)) )) )))) , (End (NameBox "ar")))) )) , (Guide ("as", (Branch ((Branch ((Branch ((Guide ("at", (Branch ((End (NameBox "at"))
, (Guide ("au", (End (NameBox "au")))))))) , (Guide ("av", (Branch ((Branch ((Branch ((Guide ("aw",
(Branch ((Branch ((End (NameBox "aw")) , (End (NameBox "ax")))) , (Branch ((End (NameBox "ay")) , (End (NameBox "az"))))
)) )) , (Guide ("ba", (Guide ("bb", (Branch ((End (NameBox "bb")) , (End (NameBox "bc"))))
)))))) , (Branch ((Branch ((Branch ((Branch ((End (NameBox "bd")) , (End (NameBox "be"))))
, (Branch ((End (NameBox "bf")) , (End (NameBox "bg")))) )) , (End (NameBox "bh"))))
, (Branch ((Branch ((End (NameBox "bi")) , (Branch ((End (NameBox "bj")) , (End (NameBox "bk"))))
)) , (Branch ((Branch ((End (NameBox "bl")) , (End (NameBox "bm")))) , (Branch ((End (NameBox "bn")) , (End (NameBox "bo"))))
)) )) )) )) , (End (NameBox "bp")))))))) , (Branch ((Branch ((End (NameBox "bq")) , (Branch ((Guide ("br"
, (Branch ((End (NameBox "br")) , (Branch ((Branch ((Branch ((End (NameBox "bs")) , (End (NameBox "bt")))) ,
(Branch ((End (NameBox "bu")) , (End (NameBox "bv")))) )) , (Branch ((Branch ((End (NameBox "bw")) , (End (NameBox "bx"))))
, (End (NameBox "by")))))))))) , (Branch ((Guide ("bz", (End (NameBox "bz")))) , (Guide ("ca", (Branch ((End (NameBox "ca"))
, (End (NameBox "cb")))) )))))))) , (Guide ("cc", (Branch ((Branch ((End (NameBox "cc")) , (Branch ((Guide ("cd", (Guide
("ce", (End (NameBox "ce")))))) , (Branch ((Guide ("cf", (Branch ((End (NameBox "cf")) , (End (NameBox "cg")))))) ,
(Branch ((End (NameBox "ch")) , (End (NameBox "ci")))))))))) , (Branch ((Branch ((Branch ((Branch((Branch ((End (NameBox "cj"))
, (End (NameBox "ck")))) , (Branch ((End (NameBox "cl")) , (End (NameBox "cm"))))))
, (Guide ("cn", (Branch ((End (NameBox "cn")) , (End (NameBox "co")))))))) , (Guide ("cp", (Branch ((Guide ("cq",
(End (NameBox "cq")))) , (Branch ((End (NameBox "cr")) , (End (NameBox "cs")))))))))) , (Branch ((Branch ((Branch
((End (NameBox "ct")) , (Branch ((End (NameBox "cu")) , (End (NameBox "cv")))))) , (Branch ((End (NameBox "cw"))
, (Guide ("cx", (End (NameBox "cx")))))))) , (Branch ((Branch ((Branch ((End (NameBox "cy")) , (End (NameBox "cz"))))
, (Branch ((End (NameBox "da")) , (End (NameBox "db")))))) , (Guide ("dc", (Branch ((End (NameBox "dc"))
, (End (NameBox "dd")))))))))))))))))))) , (Guide ("de", (End (NameBox "de"))))))))))))))))
in result testcmd;;

{-, (-,-), (-,(-,-)), (-,(-,(-,-))), (-,(-,(-,(-,-)))), (-,(-,(-,(-,(-,((-,-),-)))))), (-,(-,(-,(-,((-,-),-))))), (-,(-,(((-,-),-),-))), (-,(-,(((-,-),-),((-,-),(-,-))))), (-,((-,(-,(-,(-,((-,-),-))))),(-,(-,(-,((-,-),-)))))), (-,((((-,-),(-,-)),-),-)), ((-,-),-), ((-,-),(-,-)), ((-,-),(-,((-,-),-))), ((-,((-,-),-)),-)}
- : unit = ()





(* 514 nodes, 120 boxes *)
# let testcmd = (Branch ((Guide ("xebec", (End (NameBox "xebec")))) , (Branch ((End (NameBox "xenia")) ,
(Branch ((Branch ((Branch ((Branch ((Branch ((Branch ((Guide ("xenon", (Branch ((Branch ((Branch
((End (NameBox "xenon")) , (End (NameBox "xenophobia")))) , (Branch ((End (NameBox "xeric")) ,
(End (NameBox "xerophilous")))))) , (End (NameBox "xerophthalmia")))))) , (Branch ((Branch
((Guide ("xerophyte", (Branch ((End (NameBox "xerophyte")) , (End (NameBox "xylem")))))) ,
(Guide ("xylophone", (Guide ("y", (End (NameBox "y")))))))) , (Branch ((Guide ("yacht", (Branch
((End (NameBox "yacht")) , (End (NameBox "yachting")))))) , (Branch ((Branch ((End (NameBox "yachtsman")) ,
(End (NameBox "yahoo")))) , (Branch ((End (NameBox "yak")) , (End (NameBox "yam")))))))))))) ,
(Branch ((Branch ((Branch ((End (NameBox "yammer")) , (Branch ((End (NameBox "yank")) ,
(Guide ("yanqui", (End (NameBox "yanqui"))))))))
, (Branch ((Guide ("yap", (End (NameBox "yap")))) , (Guide ("yard", (Branch ((End (NameBox "yard")) ,
(End (NameBox "yardage")))))))))) , (Branch ((Branch ((Branch ((End (NameBox "yardarm")) , (End (NameBox "yardman"))))
, (Branch ((End (NameBox "yardmaster")) , (Branch ((End (NameBox "yardstick")) , (End (NameBox "yarn"))))))))
, (Branch ((End (NameBox "yarrow")) , (End (NameBox "yaw")))))))))) , (Branch ((Branch ((Branch ((Branch ((End (NameBox "yawl"))
, (Branch ((Branch ((End (NameBox "yawn")) , (End (NameBox "yaws"))))
, (Branch ((End (NameBox "yclept")) , (End (NameBox "ye")))))))) , (Branch ((Branch ((Branch ((End (NameBox "yea")) , (End (NameBox "yean"))))
, (Branch ((End (NameBox "yeanling")) , (End (NameBox "year")))))) , (End (NameBox "yearbook")))))) , (Branch ((Guide ("yearling", (Branch
((End (NameBox "yearling")) , (End (NameBox "yearlong")))))) , (Guide ("yearly", (Branch ((Branch ((End (NameBox "yearly")) ,
(End (NameBox "yearn")))) , (Branch ((End (NameBox "yearning")) , (End (NameBox "yeast"))))))))))))
, (Guide ("yeasty", (Guide ("yell", (Branch ((Guide ("yellow", (End (NameBox "yellow")))) , (Branch ((Branch ((End (NameBox "yellowish")) ,
(End (NameBox "yelp")))) , (Guide ("yen", (End (NameBox "yen")))))))))))))))) , (Branch ((Branch ((Branch
((Branch ((End (NameBox "yeoman")) , (Branch ((Branch ((End (NameBox "yeomanry")) , (Branch ((End (NameBox "yes")) ,
(End (NameBox "yesterday")))))) , (End (NameBox "yesteryear")))))) , (Guide ("yet", (Branch ((Branch ((End (NameBox "yet"))
, (Branch ((End (NameBox "yew")), (End (NameBox "yield")))))) , (End (NameBox "yielding")))))))) ,
(Branch ((Branch ((End (NameBox "yodel")) , (End (NameBox "yoga")))) , (Branch ((Branch ((Branch ((Branch ((End (NameBox "yogi"))
, (End (NameBox "yogurt")))) , (Branch ((End (NameBox "yoke")) , (End (NameBox "yokel"))))
)) , (Branch ((Branch ((End (NameBox "yolk")) , (End (NameBox "yon")))) , (Branch ((End (NameBox "yonder")) ,
(End (NameBox "yore")))))))) , (End (NameBox "you")))))))) , (Branch ((End (NameBox "young")) , (End (NameBox "youngish"))))))
)) , (Guide ("youngling", (Branch ((End (NameBox "youngling")) , (Branch ((End (NameBox "youngster")) , (End (NameBox "younker")))))))))) ,
(Branch ((Branch ((Branch ((Branch ((Branch ((End (NameBox "your")) , (Guide ("yours", (End (NameBox "yours")))))) ,
(Branch ((Branch ((Branch ((Branch ((Guide ("yourself", (End (NameBox "yourself")))) , (Branch ((End (NameBox "youth")) ,
(End (NameBox "youthful")))))) , (Guide ("yowl", (Branch ((End (NameBox "yowl")) , (End (NameBox "ytterbium"))))
)))) , (End (NameBox "yttrium")))) , (Guide ("yuan", (End (NameBox "yuan")))))))) , (End (NameBox "yucca")))) ,
(Branch ((Branch ((Branch ((Branch ((End (NameBox "yule")) , (Branch ((End (NameBox "yuletide")) , (Branch ((Branch ((End (NameBox "yummy")) ,
(End (NameBox "z")))) , (End (NameBox "zany")))))))) , (End (NameBox "zeal")))) , (Guide ("zealot", (Branch ((Branch ((End (NameBox "zealot"))
, (Guide ("zealous", (Branch ((End (NameBox "zealous")) , (End (NameBox "zebra")))))))) , (Branch ((Guide ("zebu", (End (NameBox "zebu"))))
, (End (NameBox "zed")))))))))) , (End (NameBox "zeitgeist")))))) , (Branch ((End (NameBox "zenana")) ,
(Branch ((Branch ((End (NameBox "zenith")) , (End (NameBox "zephyr")))) , (Branch ((Guide ("zeppelin", (End (NameBox "zeppelin")))) ,
(Branch ((Branch ((Branch ((Branch ((Branch ((End (NameBox "zero")) , (End (NameBox "zest")))) , (Branch ((End (NameBox "zigzag")) ,
(End (NameBox "zinc")))))) , (Branch ((Branch ((End (NameBox "zing")) , (End (NameBox "zinnia")))) , (Branch ((End (NameBox "zip")) ,
(End (NameBox "zipper")))))))) , (Guide ("zippy", (End (NameBox "zippy")))))) , (Guide ("zircon", (Branch ((Branch
((Guide ("zirconium", (End (NameBox "zirconium")))) , (End (NameBox "zither")))) , (Branch ((Branch ((End (NameBox "zloty"))
, (End (NameBox "zodiac")))) , (Branch ((End (NameBox "zombie")) , (End (NameBox "zonal"))))))))))))))))))))))))))
in result testcmd;;

{-, (-,-), (-,(-,-)), (-,(-,(-,-))), (-,(-,(-,(-,-)))), (-,(-,(-,(-,(-,(-,(-,(-,(-,(((-,-),-),(-,-))))))))))), (-,(-,(-,(-,(-,(-,(-,(((-,-),-),(-,-))))))))), (-,(-,(-,(-,(-,(-,(((-,-),-),(-,-)))))))), (-,(-,(-,((-,-),((-,-),-))))), (-,(-,(-,((-,(-,-)),-)))), (-,(-,(((((-,-),-),(-,-)),-),(-,-)))), (-,((-,-),-)), (-,((-,(-,(-,(-,(-,(-,(((-,-),-),(-,-)))))))),(-,(-,(-,(-,(-,(-,(((-,-),-),(-,-)))))))))), (-,(((-,-),-),(-,-))), (-,(((-,-),-),(-,((-,-),-)))), (-,(((-,(-,-)),-),(-,(-,-)))), ((-,-),-), ((-,-),(-,(-,(-,(-,-))))), ((-,(-,-)),-), (((-,-),-),(-,-)), (((-,-),-),(-,((-,-),-)))}
- : unit = ()



실제 채점할 때는 저렇게 큰 건 안 넣으시니 크게 상관은 안하셔도 될듯 [..]
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering

[강동옥]

마지막 두개는 열쇄 출력 자체도 너무 많아서 눈체킹 하는거도 힘들구나..

정말 여기에 테셋을 올리는 사람들은 다 대단한거 같애