New comment on block [block-idm181615118576] #2575

MassD opened this Issue May 8, 2014 · 0 comments

1 participant


Maybe it is worth mentioning that destructive substitution cannot be used in first class module packing.

i.e., let int_bumper = (module Int_bumper : Bumpable with type t := int) is not feasible.

And explain why.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment