Subject: Annotation for unfolding wanted
From: Georg Martius <[email-masked]>
To: [email-masked]
Date: Sun, 29 Jul 2007 12:21:27 +0200

Hi Tim, 
thanks for the hint, but I tried this without success. 
My point is, that I don't want to try a pragma and see whether it works. I 
would like to specify the requirement that a function has to be in constant 
space and if it cannot be done, that the program should not compile. Would it 
be complicated to include in the compiler?

Cheers,
	Georg

> Have you tried using the INLINE pragma?
> 
http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html#inline-noinline-pragma

> Cheers,
> Tim