#6122: INLINE pragma not obeyed
-------------------------------+--------------------------------------------
Reporter: augustss | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Resolution: wontfix | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Comment(by kosmikus):
IMHO, it's not important that the pragma is called `INLINE`. We could
perhaps introduce a new pragma for this purpose, stating "I know this
expression terminates, and I want you to evaluate it to normal form at
compile time no matter what." If such an expression turns out not to
terminate, non-termination of the compiler would be accepted (or, being
more user-friendly, there might be a reduction threshold, and if the
reduction doesn't terminate within that many steps, the compiler would
throw a warning).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6122#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
