#1706: type checking does not terminate for ghc-6.8.0.20070916
-----------------------------------------+----------------------------------
Reporter: [EMAIL PROTECTED] | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 6.8.1
Component: Compiler | Version: 6.8
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Linux | Testcase:
Architecture: x86 |
-----------------------------------------+----------------------------------
Comment (by [EMAIL PROTECTED]):
I think, too, that our hets bug has nothing to do with type synonyms. The
final file `Static.AnalysisStructured` does not contain types or data
definitions directly. It contains mutually recursive functions (that are
difficult to separate).
Some of the imported data types are existentially quantified (module
`Logic.Grothendieck`).
The class `Logic` (module `Logic.Logic`) for the existential
quantification has multiple parameters with functional dependencies
(actually 10 class parameters)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1706>
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
