d0a9bebadjust tests with --consolewidth for use with -f cursesAndreas Reuleaux12 years ago 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady12 years ago a1fb7a3Inline with blocksEdwin Brady12 years ago a6caf2dShow more errorsDavid Raymond Christiansen13 years ago b0720b0Change guardedness check for new-style coinductionEdwin Brady13 years ago 57c8657Added column name to sourceAhmad Salim Al-Sibahi13 years ago 99a8a66Check 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.Edwin Brady13 years ago 56bd9a1Look through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #183Edwin Brady13 years ago