git.iko.soy/Idris-dev
on b641ec8 help sign in
Idris-dev/test/test014
5 files
../ Resimp.idrAllow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections expectedFix resource language, add extra test for it runDeal 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… testAdded test file for test014 test014.idruppercase modulenames