#1241: Functional dependencies not checked.
-------------------------------------+--------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: Compiler (Type checker) | Version: 6.6
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Comment (by sulzmann):
I agree with Iavor. The above FD program simply makes no sense.
You can check
"Understanding Functional Dependencies via Constraint Handling Rules"
Section 6.1. for the details of the "dependency" rule mentioned by Iavor.
BTW, associated types would show the same strange behavior as the above
FD program, if we could define
type F :: * -> *
type instance F Int = b
-Martin
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1241>
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
