Now I'm confused.
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
|
| On Fri, Feb 14, 2003 at 02:35:28PM -0500, Derek Elkins wrote:
| > >From: "Simon Peyton-Jones"
| > >To: "Derek Elkins"
,
| > >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.
|
| OK - if you have problems I will try to help.
|
| 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 = Constr String [(Strictness, Typ)]
| data Strictness = Strict | NonStrict
| is probably as good a representation as any other.
|
| Any objections?
|
|
| Thanks
| Ian
|
| _______________________________________________
| template-haskell mailing list
| template-haskell@haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell
