From 5d4583aebd00adced10275b32ff1a93ab418be50 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 28 Jul 2021 04:48:42 -0400
Subject: Re-named List's tags: Nil => End && Cons => Item

---
 .../source/specification/compositor/generation/primitive.lux   | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/primitive.lux')

diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 3b6dd657b..2ddb9a02e 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -23,17 +23,17 @@
 (def: (f/=' reference subject)
   (-> Frac Frac Bit)
   (or (f.= reference subject)
-      (and (f.not-a-number? reference)
-           (f.not-a-number? subject))))
+      (and (f.not_a_number? reference)
+           (f.not_a_number? subject))))
 
 (def: #export (spec run)
   (-> Runner Test)
   (`` ($_ _.and
-          (~~ (template [<evaluation-name> <synthesis> <gen> <test>]
+          (~~ (template [<evaluation_name> <synthesis> <gen> <test>]
                 [(do r.monad
                    [expected <gen>]
-                   (_.test (%.name (name-of <synthesis>))
-                           (|> (run <evaluation-name> (<synthesis> expected))
+                   (_.test (%.name (name_of <synthesis>))
+                           (|> (run <evaluation_name> (<synthesis> expected))
                                (case> (#try.Success actual)
                                       (<test> expected (:assume actual))
 
-- 
cgit v1.2.3