[kimsl30]

let rec crazy2add (a,b) =
match a with
|NIL ->
match b with
|NIL -> NIL
|ZERO(b') -> ZERO(crazy2add (NIL,b'))
|ONE(b') -> ONE(crazy2add (NIL,b'))
|MONE(b') -> MONE(crazy2add (NIL,b'))
|ZERO(a') ->
match b with
|NIL -> ZERO(crazy2add (a',NIL))
|ZERO(b') -> ZERO(crazy2add (a',b'))
|ONE(b') -> ONE(crazy2add (a',b'))
|MONE(b') -> MONE(crazy2add (a',b'))
|ONE(a') ->
match b with
|NIL -> ONE(crazy2add (a',NIL))
|ZERO(b') -> ONE(crazy2add (a',b'))
|ONE(b') -> ZERO(crazy2add (ONE(NIL),crazy2add (a',b')))
|MONE(b') -> ZERO(crazy2add (a',b'))
|MONE(a') ->
match b with
|NIL -> MONE(crazy2add (a',NIL))
|ZERO(b') -> MONE(crazy2add (a',b'))
|ONE(b') -> ZERO(crazy2add (a',b'))
|MONE(b') -> ZERO(crazy2add (MONE(NIL),crazy2add (a',b')));;

이런식으로 매칭을 해 봤는데요...
제생각엔 모든 경우 다 들어있는거 같은데
자꾸 매칭이 덜됐다나...이상한 문구가 나옵니다
답답해서 올려봐요 도와주세요 ㅜ

[구본영]

match 안에 또 match를 쓸때는 괄호로 묶어줘야 되지 않을까요?

[정영범]

혹은 begin end를 쓰셔도 좋습니다.
이게 더 예뻐요.

[kimsl30]

답변 감사합니다 ^^