Hi,
I have questions regarding to the -H RTS option. I use GHC 7.0.1 on
Linux x86-64.
The User's Guide says:
-Hsize [Default: 0] This option provides a “suggested heap size” for
the garbage collector. The garbage collector will use about this much
memory until the program residency grows and
Hello Akio,
Wednesday, February 16, 2011, 11:24:31 AM, you wrote:
./a.out +RTS -N7 -A256M -H2G uses around 7 GBytes of memory
./a.out +RTS -N7 -A256M -H6G uses around 13 GBytes of memory
ghc uses copying GC by default - when heap overflows, it copies all
the live data to the new heap and use
On Feb 12, 2011, at 6:08 PM, Antoine Latter wrote:
On Sat, Feb 12, 2011 at 8:47 AM, Sebastiaan Visser hask...@fvisser.nl wrote:
Hi all,
During a little experiment I discovered there is no MonadFix instance
available for the STM monad. Is this absence the consequence of some deep
On 14/02/2011, at 21:28, Conal Elliott wrote:
Is there a way to declare a type family to be injective?
I have
data Z
data S n
type family n :+: m
type instance Z :+: m = m
type instance S n :+: m = S (n :+: m)
You could prove it :-)
class Nat n where
induct :: p Z -