#2814: Compiler timeout
-------------------------+--------------------------------------------------
Reporter: celes | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution: wontfix
Keywords: | Difficulty: Unknown
Testcase: | Os: MacOS X
Architecture: x86 |
-------------------------+--------------------------------------------------
Comment (by celes):
Replying to [comment:1 simonpj]:
> Ah! This is a known bug: it's even in the user manual:
[http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html#bugs-
ghc]. It arises when you encode recursion using a data type:
> {{{
> data V = Fun (V -> V)
> }}}
> As the manual says, we've never fixed it because it's quite tricky and
awkward to do so, and it only ever shows up in non-contrived programs. I
guess if it happens in a "real" program we'll have to pay more attention.
>
> For the moment I'll mark this "wont-fix" but yell if this programming
idiom is truly useful to you in real programs.
>
> Simon
Sorry for not checking the user's manual for existing bugs before posting.
As for usefulness in real programs, I think it might be useful for getting
around the infinite type problem (I was using it to compile code from the
untyped lambda calculus, based on this code:
http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=95 ). Are there better ways
to go about this though?
Not a big problem for me, instead just interpreting the code isntead of
compiling which is about 8x slower, but still really fast compared to
other untyped lambda calculus interpreters due to haskell's speed.
Thanks,
celes
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2814#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
