On 16/09/2014, at 5:53 AM, john skaller wrote:
> One of the things which has been puzzling me is how to
> pattern match abstract data types.
OMG!
I should document Felix better!!
It's already implemented! Has been for years.
For primitives only, but still ...
/
ctor A : int =
One of the things which has been puzzling me is how to
pattern match abstract data types. This puzzle reawakened
by considering RAList.
An RAList, like a list, supports functions:
empty ()
cons (elt, list)
and it supports
isempty (list)
head (list) when not isemp