exported pattern matching

[Jim Apple]

On 2/9/06, S.J.Thompson <S.J.Thompson at kent.ac.uk> wrote:
> Jim - it's worth looking  at the proposal for views, proposed by Warren
> Burton et al, accessible from
>
> http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Views

Views have been getting a "no", and it seems like this is because of
pattern guards. I see this exporting trick as much more lightweight
than views, as it doesn't change any syntax except the export list,
exacts no run-time cost, and doesn't (I think) require type system
changes. And pattern guards don't solve the problem.

That doesn't mean that I'm smart enough to implement my suggestion so
we can all have a look at how it might work out. :-)

Jim