git.iko.soy/Idris-dev
on 3cb1f21 help sign in
Idris-dev/test/reg018
6 files
../ expectedAdded column name to source 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 #183 reg018b.idrWhitespace cleanup. reg018c.idrWhitespace cleanup. reg018d.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc runReset test runscripts to mode 0755