[GHC] #816: Weird fundep behavior (with -fallow-undecidable-instances)

[GHC]

#816: Weird fundep behavior (with -fallow-undecidable-instances)
-------------------------------------------------+-------------------------
        Reporter:  nibro                         |         Owner:
            Type:  bug                           |        Status:  new
        Priority:  normal                        |     Milestone:  _|_
       Component:  Compiler (Type checker)       |       Version:  6.4.2
      Resolution:                                |      Keywords:
Operating System:  Unknown/Multiple              |  Architecture:
 Type of failure:  None/Unknown                  |  Unknown/Multiple
       Test Case:                                |    Difficulty:  Unknown
  typecheck/should_compile/tc216, indexed-       |    Blocked By:
  types/should_compile/Gentle                    |
        Blocking:                                |
-------------------------------------------------+-------------------------

Comment (by Ian Lynagh <igloo@…>):

 In [changeset:"9218ce88678ebb16913fbc32462bdb57f7774799/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="9218ce88678ebb16913fbc32462bdb57f7774799"
 Add test tc216 for trac #816 (fundep undecidable-instances typechecking
 loop)
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/816#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler