[이현민.]

Rotate 모듈함수와 Glue 모듈함수에 있는 rotate 함수는

Rotate나 Glue 모듈의 인자로 받은 모듈에 관계없이

box type을 rotate 함수의 인자로 받아서 시계방향으로 90도 회전시켜주는 똑같은 기능을 하나요?

[강동옥]

Glue 모듈함수에 있는 rotate함수라는게 무슨말씀인지 잘 모르겠습니다.

rotate한 결과이든 glue한 결과이든 box타입이면 됩니다.

[이현민.]

module Rotate () : FRAME =
struct
...
let rotate = ...
end

module Glue () () () () () : FRAME =
struct
..
let rotate = ...
end

위의 Rotate와 Glue 모듈 내부에 있는 rotate 함수에 대하여 말씀 드린것입니다.

두 rotate 함수는 같은 기능을 하는 함수인가요?
작년 게시판을 보니 Rotate나 Glue에서 인자로 받는 모듈에 따라 rotate의 기능이 약간 다른것 같아 질문드립니다.

[최민아]

BasicFrame 모듈의 rotate는 인자로 basic box만을 받습니다.
BasicFrame 안에 exception NOT_BASIC_BOX을 정의하고
rotate 함수의 인자로 basic box가 아닌 box가 들어오면 raise해 주세요.

Glue 모듈의 rotate는 인자로 glued box만을 받습니다.
마찬가지로 glued box가 아닌 box가 들어오면
Glue 모듈 안에 NOT_GLUED_BOX exception을 정의해 raise해 주세요.

Rotate 는 functor이므로 인자로 받은 FRAME 타입의 모듈이
BasicFrame이면 BasicFrame의 rotate를
Glue이면 Glue의 rotate를 호출해야 합니다.