[From nobody Sun Jul 29 06:08:30 2007
Return-Path: <mai99dgf@studserv.uni-leipzig.de>
Received: from antrieb.raumzeit.net (p57ACA1BC.dip0.t-ipconnect.de
	[87.172.161.188])
	by h7568.serverkompetenz.net (Postfix) with ESMTP id 9303039C40A
	for <glasgow-haskell-users@haskell.org>;
	Sun, 29 Jul 2007 12:15:56 +0200 (CEST)
From: Georg Martius <mai99dgf@studserv.uni-leipzig.de>
To: glasgow-haskell-users@haskell.org
Subject: Annotation for unfolding wanted
Date: Sun, 29 Jul 2007 12:21:27 +0200
User-Agent: KMail/1.9.5
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200707291221.27798.mai99dgf@studserv.uni-leipzig.de>

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
]