From b216900093c905b3b20dd45c69e577b192e2f7a3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 25 Aug 2021 16:47:50 -0400
Subject: Updates to the Lua compiler.

---
 stdlib/source/program/aedifex/profile.lux | 53 ++++++++++++++++---------------
 1 file changed, 28 insertions(+), 25 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 264bc9015..b861e1601 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -38,8 +38,9 @@
    #dependency.type type.jvm_library})
 
 (type: .public Distribution
-  #Repo
-  #Manual)
+  (Variant
+   #Repo
+   #Manual))
 
 (implementation: distribution_equivalence
   (Equivalence Distribution)
@@ -99,13 +100,14 @@
   Developer)
 
 (type: .public Info
-  {#url (Maybe URL)
-   #scm (Maybe SCM)
-   #description (Maybe Text)
-   #licenses (List License)
-   #organization (Maybe Organization)
-   #developers (List Developer)
-   #contributors (List Contributor)})
+  (Record
+   {#url (Maybe URL)
+    #scm (Maybe SCM)
+    #description (Maybe Text)
+    #licenses (List License)
+    #organization (Maybe Organization)
+    #developers (List Developer)
+    #contributors (List Contributor)}))
 
 (def: info_equivalence
   (Equivalence Info)
@@ -154,22 +156,23 @@
   "")
 
 (type: .public Profile
-  {#parents (List Name)
-   #identity (Maybe Artifact)
-   #info (Maybe Info)
-   #repositories (Set Address)
-   #dependencies (Set Dependency)
-   #compiler Dependency
-   #sources (Set Source)
-   #target Target
-   #program (Maybe Module)
-   #test (Maybe Module)
-   #deploy_repositories (Dictionary Text Address)
-   #java Runtime
-   #js Runtime
-   #python Runtime
-   #lua Runtime
-   #ruby Runtime})
+  (Record
+   {#parents (List Name)
+    #identity (Maybe Artifact)
+    #info (Maybe Info)
+    #repositories (Set Address)
+    #dependencies (Set Dependency)
+    #compiler Dependency
+    #sources (Set Source)
+    #target Target
+    #program (Maybe Module)
+    #test (Maybe Module)
+    #deploy_repositories (Dictionary Text Address)
+    #java Runtime
+    #js Runtime
+    #python Runtime
+    #lua Runtime
+    #ruby Runtime}))
 
 (def: .public equivalence
   (Equivalence Profile)
-- 
cgit v1.2.3