diff options
author | Eduardo Julian | 2016-12-27 19:40:11 -0400 |
---|---|---|
committer | Eduardo Julian | 2016-12-27 19:40:11 -0400 |
commit | a10ff8416855e2079ba8da48cae43c80414666d0 (patch) | |
tree | b0cb6f2453530c1b87d56299b6efb2088840c091 /stdlib/test | |
parent | 62cdfcec5980c936d5be8b37e34e8fb9533d1ba4 (diff) |
- Now, it's possible to omit the module-prefix from the names of member functions/constants in struct auto-selection.
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/type/auto.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/test/test/lux/type/auto.lux b/stdlib/test/test/lux/type/auto.lux index ef69961cd..eb25a2371 100644 --- a/stdlib/test/test/lux/type/auto.lux +++ b/stdlib/test/test/lux/type/auto.lux @@ -25,4 +25,4 @@ y R;nat] (assert "Can automatically select first-order structures." (B/= (:: number;Eq<Nat> = x y) - (::: eq;= x y)))) + (::: = x y)))) |