"Interface" instead of "interface:", and "Rec" can be used in type definition.

1 files changed, 16 insertions, 14 deletions

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)))