Commits

Yit Phang Khoo committed 199ab65

Relax a type constraint to enable first-class module usages.

  • Participants
  • Parent commits 03c077e

Comments (0)

Files changed (1)

Source/Adapton/Signatures.ml

         type sa
         type 'a thunk
         type data
-        module SAData : SAType.S with type sa = sa and type 'a thunk = 'a thunk and type data = data and type t = data thunk
+        module SAData : SAType.S with type sa = sa and type 'a thunk = 'a thunk and type data = data
         type t
         type t' = [ `Cons of data * t | `Nil ]
         val is_self_adjusting : bool