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


Ignore:
Timestamp:
Aug 8, 2013 4:23:28 PM (9 months 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: