by rossberg@[EMAIL PROTECTED]
Apr 16, 2008 at 04:31 AM
On Apr 14, 11:05 pm, kenzhu2...@[EMAIL PROTECTED]
wrote:
>
> This expression (f) has type string IData.t Stream.t
> but is here used with type MySpec.t IData.t Stream.t
> The type constructor MySpec.t would escape its scope
Because of the signature ascription " : A.Spec", the module MySpec is
sealed and the type MySpec.t made abstract. Try either removing the
ascription, or make t transparent by refining it to " : A.Spec with
type t = string".
- Andreas
