diff options
| author | Eduardo Julian | 2020-05-12 20:23:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-05-12 20:23:24 -0400 |
| commit | f605537d91450b347ce70eb2c5edff9674e72044 (patch) | |
| tree | f05a8c50f9db34d889a353951ebaa96761d96918 /stdlib/source/lux/target/jvm/constant.lux | |
| parent | 33090b088deb20180108e6713309e0dfc627c6e5 (diff) | |
Compiler versions are now natural numbers, and are included as part of the names/paths of artifacts.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/constant.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/target/jvm/constant.lux b/stdlib/source/lux/target/jvm/constant.lux index 91a72390a..3e225a7c2 100644 --- a/stdlib/source/lux/target/jvm/constant.lux +++ b/stdlib/source/lux/target/jvm/constant.lux @@ -51,7 +51,7 @@ (def: #export class-equivalence (Equivalence Class) - (:: equivalence.contravariant map-1 + (:: equivalence.functor map ..index //index.equivalence)) @@ -92,7 +92,7 @@ (All [kind] (-> (Equivalence kind) (Equivalence (Value kind)))) - (:: equivalence.contravariant map-1 + (:: equivalence.functor map (|>> :representation) Equivalence<kind>)) |