24 Mar
2011
24 Mar
'11
8:36 a.m.
On Thursday 24 March 2011 13:17:16, Patrick LeBoutillier wrote:
Hi all,
Is it possible to export constructors from a module in a way that they can be used for pattern matching but not for creating types?
Patrick
No, that's impossible (as far as I know). If a constructor is exported, it's available for construction as well as for pattern matching.