Re: [Felix-language] User defined pattern matching

2014-09-15 Thread john skaller
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 =

[Felix-language] User defined pattern matching

2014-09-15 Thread john skaller
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