Edwin Brady ff86f6f834 Implement occurs check properly (finally!) ... Instead of the previous unreliable hack, actually look for occurrences of the solved metavariable. Block if there are any, and fail if there are any under a constructor. I had expected this to hurt performance quite a bit, but it seems it doesn't. This was prompted by #304, which is now partly fixed, but there's still a refinement to unification needed to fix it fully (and at least it doesn't segfault due to the cycle now!)		2020-04-27 12:17:45 +01:00
..
expected	Implement occurs check properly (finally!)	2020-04-27 12:17:45 +01:00
input	First attempt at linearity checking pass	2019-05-19 20:24:14 +01:00
QTT.yaff	First attempt at linearity checking pass	2019-05-19 20:24:14 +01:00
run	Change main program to be Idris2	2019-06-09 11:58:29 +01:00