1. 28 May, 2013 1 commit
  2. 30 Apr, 2013 1 commit
  3. 16 Apr, 2013 1 commit
  4. 13 Mar, 2013 1 commit
  5. 09 Feb, 2013 1 commit
  6. 14 Jan, 2013 1 commit
    • Iavor S. Diatchki's avatar
      Use a version of the coverage condition even with UndecidableInstances. · fe61599f
      Iavor S. Diatchki authored
      This fixes bug #1241 and #2247.  When UndecidableInstances are on,
      we use the "Liberal Coverage Condition", which is what GHC used to do in
      the past.  This is the gist of the check:
      
      class C a b | a -> b
      instance theta => C t1 t2
      
      we check that `fvs t2` is a subset of `fd-closure(theta,fvs t1)`.
      
      This is strictly more general than the coverage condition, while
      it still guarantees consistency with the FDs of the class.  This
      check is completely orthogonal to termination (it by no means guarantees
      it).
      
      I am not sure of the role of the "coverage condition" in termination---
      the comments suggest that it is important.  This is why, for the moment,
      we only use this check when UndecidableInstances are on.
      fe61599f
  7. 08 Jan, 2013 1 commit