git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/test/test015
5 files
../ Parity.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion expectedDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali… runAdd argument passing to new tests run_javaBackend support for Java test015.idrMore sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …