Edwin Brady 0d8a153cb0 New way of dealing with unmatchable patterns ... Any term which is not matchable, i.e. a function application or a repeated variable on the left hand side, is automatically put in a PHidden. The effect of elaborating PHidden t is to: 1. Delay the elaboration of 't' to the end of elaboration 2. When elaborating t, ensure that its value is already known due to solving some other unification problem. If something is PHidden, but not solvable by unification, elaboration fails. This finally fixes #323, and probably several other things.		2014-12-20 20:52:46 +00:00
..
expected	Categorise tests	2014-01-30 17:24:08 +00:00
Parity.idr	Add --nowarnreach to two tests.	2014-04-11 09:10:26 +01:00
run	Fix filename case in test run scripts	2014-02-08 10:54:51 +01:00
test015.idr	New way of dealing with unmatchable patterns	2014-12-20 20:52:46 +00:00