happy parser generator - stack space overflow error
Hello folks, I am generating a parser for SystemVerilog language using happy parser generator. I have the *.y file which i run using happy as below happy -gca ParSysverilog.y and i get the below error. Stack space overflow: current size 8388608 bytes. Use `+RTS -Ksize -RTS' to increase it. to increase the stack size and to get more info on the error, i learned that i need to use something like below. happy -RTS -K16384 -sstderr +RTS -gca ParSysverilog.y but i got an error message happy: Most RTS options are disabled. Link with -rtsopts to enable them. does this mean that, i need to recompile happy source code using the "-rtsopts" to use the +RTS...-RTS options ? any recommendations from your experience ? Thank you in advance Magesh
On 2016-12-25 01:49 AM, Mageshkumar Kuppusamy wrote:
happy -gca ParSysverilog.y and i get the below error.
Stack space overflow: current size 8388608 bytes. Use `+RTS -Ksize -RTS' to increase it.
This is strange (read: archaic) because GHC since 7.10 (or maybe earlier) has been defaulting stack size to "80% physical memory size" rather than 8MB. Contrapositively, seeing the 8MB cap implies that your copy of happy was built by a pretty old GHC. So simply rebuild happy by a recent GHC to enjoy the modern stack cap.
On Sun, Dec 25, 2016 at 2:32 PM, Albert Y. C. Lai
This is strange (read: archaic) because GHC since 7.10 (or maybe earlier) has been defaulting stack size to "80% physical memory size" rather than 8MB. Contrapositively, seeing the 8MB cap implies that your copy of happy was built by a pretty old GHC.
7.8, I think --- meaning this is probably Debian with 7.6 from packages. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
participants (3)
-
Albert Y. C. Lai -
Brandon Allbery -
Mageshkumar Kuppusamy