Memory usage exploding for complex pattern matching
ben at smart-cactus.org
Thu Mar 29 19:57:03 UTC 2018
"Victor Miraldo (UU)" <v.cacciarimiraldo at uu.nl> writes:
>> I tried 8.4 and indeed the renamer/typechecker takes dramatically less
>> memory (yay!), leaving desugar as the largest allocator (allocating
>> around 3GB) while compiling the minimal example. Furthermore, disabling
>> the pattern match checker (via -fmax-pmcheck-iterations=0) dramatically
>> reduces desugarer allocations (to around 60MByte). It looks like you are
> I have just tried compiling my code with 8.4.2 and using
> I gave GHC 12GB of ram and it still ran out (through `ulimit
Hmmm, I'm a bit confused. Why are our results so different? How
precisely are you invoking GHC?
>> Let's make a Trac ticket for this (since there is a nice small
>> reproducer). Or, if it seems a dup, attach the reproducer to some
>> existing ticket.
> Should I be the one creating it or adding the reproducer?
> The closest I've seen is: https://ghc.haskell.org/trac/ghc/ticket/11195
Let's start with a fresh ticket; #11195 has a rather long history. Do
you think you could open it and attach your repro?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs