RE: Stricts _

2004-07-14 Thread Simon Peyton-Jones
yes it's not meant to come out. It's an internal record of what strictness marks you put on the data type. | -Original Message- | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-users- | [EMAIL PROTECTED] On Behalf Of Peter Simons | Sent: 13 July 2004 15:02 | To: [EMAIL PROTECTED] |

effective partial evaluator yet?

2004-07-14 Thread John Sharley
Noting Hudak's remark in the conclusion of Modular Domain Specific Languages and Tools http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps that Haskell lacked an effective partial evaluator, and remarks prior to but on the same page as the conclusion that such a thing is very

Re: effective partial evaluator yet?

2004-07-14 Thread Duncan Coutts
On Thu, 2004-07-15 at 03:45, John Sharley wrote: Noting Hudak's remark in the conclusion of Modular Domain Specific Languages and Tools http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps that Haskell lacked an effective partial evaluator, and remarks prior to but on the