6 Commits

Include renames

Author	SHA1	Message	Date
krasimir	029fbec8f3	test for bracketedLinearize	2010-05-01 20:54:31 +00:00
krasimir	af5f12d672	upgrade the testsuite to work with GHC 6.12	2010-04-30 19:27:53 +00:00
krasimir	f8af5122b5	additional tests for linearizations	2010-01-12 13:18:37 +00:00
krasimir	5804db9816	judgements lindef are now respected by both the parser and the linearizer	2009-12-11 17:39:18 +00:00
krasimir	6c7330131d	more fixes in the testsuite	2009-09-16 12:49:04 +00:00
krasimir	eeb08bbd4d	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00