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
Hole.yaff	Move some tests around	2019-05-26 11:34:02 +01:00
input	Move some tests around	2019-05-26 11:34:02 +01:00
run	Put built ttcs in build/ttc, rather than build	2019-09-04 12:41:16 +01:00