3 Commits

Author SHA1 Message Date
krangelov
063c517f3c more tests for variants 2021-09-22 14:11:11 +02:00
hallgren
621291a575 Compute.ConcreteNew: add missing case for variant functions
Also adding a test case in the test suite for this.
2012-12-10 13:25:32 +00:00
hallgren
c8c81f77f7 Adding test case for interaction between record subtyping and record extension 2011-09-19 12:43:14 +00:00