[Template-haskell] Record constructors

[Simon Peyton-Jones]

Now I'm confused. =20

Ian: you are the one who's going to have a go at this, correct?

Re you qn about strictness annotations, what you suggest looks fine.

Simon

| -----Original Message-----
| From: Ian Lynagh [mailto:igloo@earth.li]
| Sent: 17 February 2003 14:38
| To: template-haskell@haskell.org
| Subject: Re: [Template-haskell] Record constructors
|=20
| On Fri, Feb 14, 2003 at 02:35:28PM -0500, Derek Elkins wrote:
| > >From: "Simon Peyton-Jones" <simonpj@microsoft.com>
| > >To: "Derek Elkins"
<ddarius86@hotmail.com>,<template-haskell@haskell.org>
| > >Subject: RE: [Template-haskell] Record constructors
| > >Date: Fri, 14 Feb 2003 10:18:31 -0000
| > >
| > >Good point.  Indeed, THSyntax has no provision for record types and
| > >record expressions.
| > >Haskell is a pretty large language and I didn't cover the whole of
it in
| > >the first pass, I'm afraid.
| > >
| > >
| > >	IAN L, would you care to put in the THSyntax for
| > >		records
| > >		contexts in data type declarations
| > >	and add suitable stuff to DsMeta and Convert to get them to and
| > >fro?
| > >
| > >(Or someone else!)  I'm too much of a bottleneck for stuff like
this.
| > >I'm inclined to focus my time on things where it really has to be
me.
| > >
| > >Simon
| >
| > Okay. I'll take a swing at it.
|=20
| OK - if you have problems I will try to help.
|=20
| Is there a reason why strictness annotations are ignored, or just the
| first pass issue again?
| Presumably any StrictnessMark except NotMarkedStrict should be
reported
| as strict? I think
| data Con =3D Constr String [(Strictness, Typ)]
| data Strictness =3D Strict | NonStrict
| is probably as good a representation as any other.
|=20
| Any objections?
|=20
|=20
| Thanks
| Ian
|=20
| _______________________________________________
| template-haskell mailing list
| template-haskell@haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell