Changes between Version 32 and Version 33 of Records/OverloadedRecordFields/Implementation


Ignore:
Timestamp:
Aug 8, 2013 4:23:28 PM (2 years ago)
Author:
adamgundry
Comment:

constraint solver bug

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Implementation

    v32 v33  
    193193
    194194Some of the tests fail for the ghci way because the `System.IO` and `GHC.TopHandler` modules are not loaded automatically. I'm not sure if this is my fault, or if the problem existed in HEAD when I branched. For the moment, I've tweaked the testsuite to load the necessary modules.
     195
     196The following triggers a panic when tracing the constraint solver. Again, I need to check if this bug exists in HEAD.
     197
     198{{{
     199{-# LANGUAGE MultiParamTypeClasses, TypeFamilies #-}
     200{-# OPTIONS_GHC -ddump-tc-trace #-}
     201
     202type family F (x :: *) :: *
     203
     204class (y ~ F x) => C x y
     205
     206x = () :: C x y => ()
     207}}}
    195208
    196209Tests in need of attention: