diff options
Diffstat (limited to 'stdlib/source/test/lux/type/poly/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/type/poly/equivalence.lux | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 5d1953a52..a66c390b3 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -30,10 +30,11 @@ (#Case1 Int) (#Case2 Frac))) -(type: #rec Recursive - (.Variant - (#Number Frac) - (#Addition Frac Recursive))) +(type: Recursive + (Rec Recursive + (.Variant + (#Number Frac) + (#Addition Frac Recursive)))) (type: Record (.Record @@ -77,7 +78,7 @@ gen_recursive))) (derived: equivalence - (/.equivalence Record)) + (/.equivalence ..Record)) (def: .public test Test |