cvs commit: hugs98/src type.c

[Jeff Lewis]

lewie       2002/04/16 22:42:00 PDT

  Modified files:
    src                  type.c 
  Log:
  Context reduction can introduce opportunities for context improvement,
  so add an additional `improve' step afterwards.  The bug is demonstrated by
  the following code:
  
  class C a b c | a b -> c where
    m :: a -> b -> c
  
  instance C Integer Integer Integer
  
  newtype T a = T a
  
  instance C a b c => C (T a) (T b) (T c)
  
  i :: T Integer
  i = undefined
  
  x = m (m i i) i -- this line blows up w/ unresolved top-level overloading
  
  Revision  Changes    Path
  1.45      +6 -4      hugs98/src/type.c