git.iko.soy/Idris-dev
on fcb66ca help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrCheck 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. expectedFix resource language, add extra test for it runAdd argument passing to new tests testAdded test file for test014 test014.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion