[Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Eugene Kirpichov
Hi, I'm trying to speed up Data.Time (the time package) 'cause my program is spending a very substantial fraction of time manipulating dates. I decided to start with strictifying and unpacking the date/time types, as there's no point in having them be lazy and I indeed had a lot of allocation in

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Daniel Fischer
On Friday 28 October 2011, 11:41:15, Eugene Kirpichov wrote: newtype Day = ModifiedJulianDay {toModifiedJulianDay :: Integer} newtype DiffTime = MkDiffTime Pico And Pico is also essentially a newtype for Integer. So, I'm getting warnings on this definition of UTCTime. QUESTION: Is it the

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Eugene Kirpichov
Oh, I see, thanks! So then, I guess, the solution would be to use a fixed-precision integer type instead. On Fri, Oct 28, 2011 at 1:54 PM, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: On Friday 28 October 2011, 11:41:15, Eugene Kirpichov wrote: newtype Day = ModifiedJulianDay

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Eugene Kirpichov
Another question: Can I unpack some fields in a record and not unpack others? Does their order matter then? On Fri, Oct 28, 2011 at 1:57 PM, Eugene Kirpichov ekirpic...@gmail.comwrote: Oh, I see, thanks! So then, I guess, the solution would be to use a fixed-precision integer type instead.

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Simon Peyton-Jones
...@haskell.org [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Eugene Kirpichov Sent: 28 October 2011 10:41 To: Haskell Cafe Subject: [Haskell-cafe] When does the UNPACK pragma work? Hi, I'm trying to speed up Data.Time (the time package) 'cause my program is spending a very substantial fraction

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Daniel Fischer
On Friday 28 October 2011, 11:57:54, Eugene Kirpichov wrote: Another question: Can I unpack some fields in a record and not unpack others? Yes, no problem with that. Does their order matter then? In what way? The order of the fields in the definition of the type will determine the order in

Re: [Haskell-cafe] When does the UNPACK pragma work?

2011-10-28 Thread Eugene Kirpichov
On Fri, Oct 28, 2011 at 2:32 PM, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: On Friday 28 October 2011, 11:57:54, Eugene Kirpichov wrote: Another question: Can I unpack some fields in a record and not unpack others? Yes, no problem with that. Does their order matter then?