SML
signature S = sig type t ... end
とかあったとして、
structure A : S = ...
とかしてモジュールを定義すると、A.tがabstractにならないことを初めて知った。
structure A :> S = ...
が正解。
signature S = sig type t ... end
とかあったとして、
structure A : S = ...
とかしてモジュールを定義すると、A.tがabstractにならないことを初めて知った。
structure A :> S = ...
が正解。