[GHC] #1241: Functional dependencies not checked.

[GHC]

#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