From cd71a864ad5be13ed6ec6d046e0a2cb1087bdf94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 01:21:23 -0400
Subject: Migrated variants to the new syntax.
---
stdlib/source/program/aedifex/repository/local.lux | 2 +-
stdlib/source/program/aedifex/repository/origin.lux | 4 ++--
stdlib/source/program/aedifex/repository/remote.lux | 8 ++++----
3 files changed, 7 insertions(+), 7 deletions(-)
(limited to 'stdlib/source/program/aedifex/repository')
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 2c528a520..508fcba28 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -53,7 +53,7 @@
_ (if ?
(in [])
(case (file.parent fs absolute_path)
- (#.Some parent)
+ {#.Some parent}
(file.make_directories async.monad fs parent)
_
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 72163f641..a5a613a1a 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -12,8 +12,8 @@
(type: .public Origin
(Variant
- (#Local Path)
- (#Remote URL)))
+ {#Local Path}
+ {#Remote URL}))
(def: .public equivalence
(Equivalence Origin)
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 4f852c2b7..269ff15a9 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -73,7 +73,7 @@
_
(do !
- [_ ((value@ #@http.body message) (#.Some 0))]
+ [_ ((value@ #@http.body message) {#.Some 0})]
(\ io.monad in (exception.except ..download_failure [(format address uri) status]))))))
(def: (upload uri content)
@@ -84,12 +84,12 @@
#.None
..base_headers
- (#.Some [user password])
+ {#.Some [user password]}
(list& ["Authorization" (//identity.basic_auth user password)]
..base_headers)))
- (#.Some content)
+ {#.Some content}
http))
- _ ((value@ #@http.body message) (#.Some 0))]
+ _ ((value@ #@http.body message) {#.Some 0})]
(case status
(^ (static http/status.created))
(in [])
--
cgit v1.2.3