From e814f667aed509a70bd386dcd54628929134def4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 26 Aug 2021 02:34:05 -0400
Subject: "Interface" instead of "interface:", and "Rec" can be used in type
 definition.

---
 stdlib/source/program/aedifex/repository.lux | 30 +++++++++++++++-------------
 1 file changed, 16 insertions(+), 14 deletions(-)

(limited to 'stdlib/source/program/aedifex/repository.lux')

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 914cd1420..d1aa5a1b9 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -15,13 +15,14 @@
      [net
       [uri (#+ URI)]]]]])
 
-(interface: .public (Repository !)
-  (: Text
-     description)
-  (: (-> URI (! (Try Binary)))
-     download)
-  (: (-> URI Binary (! (Try Any)))
-     upload))
+(type: .public (Repository !)
+  (Interface
+   (: Text
+      description)
+   (: (-> URI (! (Try Binary)))
+      download)
+   (: (-> URI Binary (! (Try Any)))
+      upload)))
 
 (def: .public (async repository)
   (-> (Repository IO) (Repository Async))
@@ -35,13 +36,14 @@
      (async.future (\ repository upload uri content)))
    ))
 
-(interface: .public (Mock s)
-  (: Text
-     the_description)
-  (: (-> URI s (Try [s Binary]))
-     on_download)
-  (: (-> URI Binary s (Try s))
-     on_upload))
+(type: .public (Mock s)
+  (Interface
+   (: Text
+      the_description)
+   (: (-> URI s (Try [s Binary]))
+      on_download)
+   (: (-> URI Binary s (Try s))
+      on_upload)))
 
 (def: .public (mock mock init)
   (All [s] (-> (Mock s) s (Repository Async)))
-- 
cgit v1.2.3