../ expectedCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago reg018a.idrLook through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #18313 years ago reg018b.idrrename O into Z13 years ago reg018c.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg018d.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago runCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago