cvs commit: hugs98/src type.c

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