Stack space overflow when separating functions in different hs files

Question

I have a huge haskell file which compiles and runs without any problem. I want to put some functions and type definitions in a separate module in a generic hs file and then import it in my main module. While the main program compiles without any error (it also compiles the imported module), I get a stack space overflow when I try to run it.

I tried:

ghc --make -O2 Main.hs
./Main -- stack space overflow

Also:

ghc --make -O2 Main.hs Other.hs -o RunMe
./RunMe -- again, stack space overflow

Is it the right way to compile or am I missing anything?

hammar · Accepted Answer · 2011-07-28 18:48:33Z

6

You're compiling it correctly. The problem must be in the code itself. Splitting it into different modules likely caused GHC to apply optimizations differently which caused this problem to surface.

A likely reason is that GHC was previously able to use strictness analysis to generate a program that ran in constant stack space. Splitting the module in two then caused GHC to no longer be able to make the same strictness assumptions, so it was unable to guarantee that making the function strict was safe.

The solution will likely be to add your own strictness annotations or use a strict version of whichever function is causing this.

answered Jul 28, 2011 at 18:48

hammar

140k18 gold badges310 silver badges388 bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

John L Over a year ago

Gratuitous use of INLINE pragmas would probably fix this too.

vis Over a year ago

Adding strictness annotations indeed fixed the problem. This was not needed in a single module.

Antti · Accepted Answer · 2011-07-28 18:49:00Z

5

I could imagine that GHC is able to optimize the used stack of the functions better (by doing strictness analysis) when the functions are called from the same module they are defined in. It sounds like you have a space leak in at least one function of yours, and GHC is unable to optimize it away when it doesn't know how the function is called.

There are a lot of explanations around the net for finding and fixing stack overflows. See, for example, the Haskell Wiki and RWH.

answered Jul 28, 2011 at 18:49

Antti

12.6k2 gold badges29 silver badges30 bronze badges

Collectives™ on Stack Overflow

Stack space overflow when separating functions in different hs files

2 Answers 2

2 Comments

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

2 Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related