From 86bcfadb774618defaa27bbb9361a93d288fb985 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Jul 2021 22:51:25 -0400
Subject: A bit more clarity for Licentia licenses.

---
 licentia/source/test/licentia.lux | 61 ++++++++++++++++++++-------------------
 1 file changed, 31 insertions(+), 30 deletions(-)

(limited to 'licentia/source/test/licentia.lux')

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index bf0f4929e..5ae86cfdb 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -5,7 +5,7 @@
    [abstract
     [monad (#+ do)]]
    [control
-    [io (#+ io)]]
+    ["." io]]
    [data
     ["." bit ("#\." equivalence)]
     ["." maybe ("#\." functor)]
@@ -16,33 +16,32 @@
     ["." random (#+ Random)]
     [number
      ["n" nat ("#\." interval)]]]]
-  {#program
-   [/
-    ["." license (#+ Identification
-                     Termination
-                     Liability
-                     Distribution
-                     Commercial
-                     Extension
-                     Entity Black_List
-                     URL Attribution
-                     Addendum
-                     License)
-     ["." time (#+ Period)]
-     ["." copyright]
-     ["." notice]
-     ["." definition]
-     ["." grant]
-     ["." limitation]
-     ["." submission]
-     ["." liability]
-     ["." distribution]
-     ["." commercial]
-     ["." extension]
-     ["." miscellaneous]
-     ["." black_list]
-     ["." addendum]]
-    ["." output]]})
+  [\\program
+   ["." license (#+ Identification
+                    Termination
+                    Liability
+                    Distribution
+                    Commercial
+                    Extension
+                    Entity Black_List
+                    URL Attribution
+                    Addendum
+                    License)
+    ["." time (#+ Period)]
+    ["." copyright]
+    ["." notice]
+    ["." definition]
+    ["." grant]
+    ["." limitation]
+    ["." submission]
+    ["." liability]
+    ["." distribution]
+    ["." commercial]
+    ["." extension]
+    ["." miscellaneous]
+    ["." black_list]
+    ["." addendum]]
+   ["." output]])
 
 (def: period
   (Random (Period Nat))
@@ -364,5 +363,7 @@
         )))
 
 (program: args
-  (io (_.run! (<| (_.times 100)
-                  ..test))))
+  (<| io.io
+      _.run!
+      (_.times 100)
+      ..test))
-- 
cgit v1.2.3