I have a standard Data.Map.Map as the base structure for one of my
macid data tables (jobs), but I noticed something
that is probably causing problems for me.
Even a simple 20 million record with int/int key values causes an out
of memory error for me in ghci,
Int keys, Int values eh?
Does
On Sun, Oct 19, 2008 at 4:26 AM, Claus Reinke [EMAIL PROTECTED] wrote:
(hint to ghc hackers: 'Data.Map.Map Int !Int' and '[!a]' would really be
useful!-),
I can't figure out what that means though. Strictness is not a
property of types or of values, it is a property of functions. [!]
is not
claus.reinke:
I have a standard Data.Map.Map as the base structure for one of my
macid data tables (jobs), but I noticed something
that is probably causing problems for me.
Even a simple 20 million record with int/int key values causes an out
of memory error for me in ghci,
Int keys,
On Sun, Oct 19, 2008 at 5:05 PM, Don Stewart [EMAIL PROTECTED] wrote:
In general, being able to specialise polymorphic structures so they look like
unpacked
monomorphic ones would be awesome.
(!Int, !Bool) - (,) {-# UNPACK #-}!Int {-# UNPACK #-}!Bool
I repeat my concern about this
2008/10/20 Don Stewart [EMAIL PROTECTED]:
claus.reinke:
Ideally, I'd just like to indicate the strictness in the types (hint to ghc
hackers: 'Data.Map.Map Int !Int' and '[!a]' would really be useful!-),
In general, being able to specialise polymorphic structures so they look like
unpacked
2008/10/20 Luke Palmer [EMAIL PROTECTED]:
On Sun, Oct 19, 2008 at 5:05 PM, Don Stewart [EMAIL PROTECTED] wrote:
In general, being able to specialise polymorphic structures so they look
like unpacked
monomorphic ones would be awesome.
(!Int, !Bool) - (,) {-# UNPACK #-}!Int {-#
On Sun, 2008-10-19 at 16:05 -0700, Don Stewart wrote:
I'd like them strict and specialised,
So that:
data IntMap a = Nil
| Tip {-# UNPACK #-} !Key a
| Bin {-# UNPACK #-} !Prefix {-# UNPACK #-} !Mask !(IntMap
a) !(IntMap a)
applied as so,
