Re: exported pattern matching

2006-02-09 Thread S.J.Thompson
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 regards Simon T On Thu, 9 Feb 2006, Jim Apple wrote: Sometimes I'd like to use a smart constructor but have pattern

Re: Existential types: want better syntactic support (autoboxing?)

2006-02-01 Thread S.J.Thompson
The wiki page http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/ExistentialQuantification has been updated to reflect the discussion on existentials. Simon T. ___ Haskell-prime mailing list Haskell-prime@haskell.org

Re: Existential types: want better syntactic support (autoboxing?)

2006-01-26 Thread S.J.Thompson
Johannes - thanks for the pointer to this posting; would you have a concrete proposal to make on the basis of this for Haskell'? Regards Simon Thompson On Wed, 25 Jan 2006, Johannes Waldmann wrote: It is standard practice to hide implementation details, in particular, not publishing the