Re: Parallel list comprehensions

2006-02-16 Thread John Meacham
(warning. rambling) On Thu, Feb 16, 2006 at 09:06:24AM +, Ross Paterson wrote: On Sat, Feb 04, 2006 at 03:11:10PM +0100, John Hughes wrote: I noticed ticket #55--add parallel list comprehensions--which according to the ticket, will probably be adopted. I would argue against. As there

Re: Parallel list comprehensions

2006-02-16 Thread John Meacham
oops, sorry for the double post. I accidentally sent a draft along with the final result. John -- John Meacham - ⑆repetae.net⑆john⑈ ___ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime

Re: Proposal: pattern synonyms

2006-02-16 Thread Henrik Nilsson
Dear all, Conor wrote: You forgot to define the term behaviour also. Pattern synonyms may be used to construct as well as to match values. Conor and I discussed this over lunch. Specifically, we talked about whether the right hand side of a pattern synonym would be any Haskell pattern

Re: ExistentialQuantifier

2006-02-16 Thread Ben Rudiak-Gould
Ross Paterson wrote: I don't think the original name is inappropriate: the feature described is certainly existential quantification, albeit restricted to alternatives of data definitions. I think that existential quantification should mean, well, existential quantification, in the sense that

Re: proposal for moving forward

2006-02-16 Thread Ravi Nanavati
Isaac Jones wrote: My intuition (and a proposal) is that our job will be to: 1. conservatively standardize some of the most robust extensions, 2. clean up the class hierarchies and some libraries, 3. solve the MPTC dilemma (see above), and 4. pick one other big idea such as records or bang

Pragmas for FFI imports

2006-02-16 Thread Einar Karttunen
Hello I would like to propose two pragmas to be included in Haskell' for use with FFI. One for specifying the include file defining the foreign import (INCLUDE in ghc) and an another for defining a library that the foreign import depends on, called FFI_LIB (not implemented at the moment). These