From a40f40f230e6312ae432f06e7f73aa5945d8fa49 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 18 Jul 2021 23:10:18 -0400
Subject: New JVM compiler can now compile JVM interfaces.

---
 stdlib/source/test/aedifex/pom.lux | 49 ++++++++++++++++++++++----------------
 1 file changed, 28 insertions(+), 21 deletions(-)

(limited to 'stdlib/source/test/aedifex/pom.lux')

diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index 24ca3c3c6..01b90c33e 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -10,6 +10,7 @@
      ["<>" parser
       ["<.>" xml]]]
     [data
+     ["." text ("#\." equivalence)]
      [format
       ["." xml]]]
     [math
@@ -24,27 +25,33 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (do random.monad
-        [expected @profile.random]
-        (_.cover [/.write /.parser]
-                 (case [(/.write expected)
-                        (get@ #//.identity expected)]
-                   [(#try.Success pom)
-                    (#.Some _)]
-                   (case (<xml>.run /.parser (list pom))
-                     (#try.Success actual)
-                     (\ //.equivalence =
-                        (|> (\ //.monoid identity)
-                            (set@ #//.dependencies (get@ #//.dependencies expected))
-                            (set@ #//.repositories (get@ #//.repositories expected)))
-                        actual)
+      ($_ _.and
+          (_.cover [/.file]
+                   (|> /.file
+                       (text\= "")
+                       not))
+          (do random.monad
+            [expected @profile.random]
+            (_.cover [/.write /.parser]
+                     (case [(/.write expected)
+                            (get@ #//.identity expected)]
+                       [(#try.Success pom)
+                        (#.Some _)]
+                       (case (<xml>.run /.parser (list pom))
+                         (#try.Success actual)
+                         (\ //.equivalence =
+                            (|> (\ //.monoid identity)
+                                (set@ #//.dependencies (get@ #//.dependencies expected))
+                                (set@ #//.repositories (get@ #//.repositories expected)))
+                            actual)
 
-                     (#try.Failure error)
-                     false)
+                         (#try.Failure error)
+                         false)
 
-                   [(#try.Failure error)
-                    #.None]
-                   (exception.match? //.no_identity error)
+                       [(#try.Failure error)
+                        #.None]
+                       (exception.match? //.no_identity error)
 
-                   _
-                   false)))))
+                       _
+                       false)))
+          )))
-- 
cgit v1.2.3