#5970: Type checker hangs
----------------------------------------+-----------------------------------
Reporter: Lemming | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.4.1
Keywords: | Os: Linux
Architecture: x86 | Failure: Compile-time
performance bug
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Comment(by Lemming):
So far I found out that adding type signatures to some functions that I
defined locally with 'let' reduces the type checking time considerably in
small tests, but I was not able to solve the original big problem this
way.
For reproducing my problem you may simply try to install synthesizer-
llvm-0.3 from Hackage, but it depends on a lot of other packages, e.g.
llvm. Nevertheless I try to reduce my problem to a handy test case.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5970#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
