#2658: Extreme memory usage (probably type functions)
----------------------------------------+-----------------------------------
Reporter: guest | Owner: chak
Type: bug | Status: new
Priority: high | Milestone: 6.10.2
Component: Compiler (Type checker) | Version: 6.9
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Linux
Architecture: x86_64 (amd64) |
----------------------------------------+-----------------------------------
Comment (by chak):
Matthew,
I had a look at this. However, the code base is pretty big including a
lot of overlapping and (at least for GHC) undecidable instances of type
classes with FDs. It is hard for me to make much sense of the typechecker
trace without understanding your code. If you could cut this down to a
smaller, more manageable example, that would make finding the problem much
easier.
From what I could see, the type checker gets into a loop when trying to
infere the type signatures for the mutually recursive binding group
consisting of `doMenu`, `one`, and `two` (in `Test/Tests`). I would
suggest trying to add type signatures to these three functions. This
might give us a better idea of what is happening. Again, it's hard for me
to add these signatures without first understanding your library - I
assume, it's not hard for you to give these signatures.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2658#comment:10>
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
