From 75102dcfa7c2c0afd32cb5bf5ac012df2db6a7a1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Jan 2021 07:55:22 -0400
Subject: Added lexically-scoped templates.

---
 stdlib/source/spec/lux/abstract/enum.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/spec')

diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux
index e598179ad..6d28dead8 100644
--- a/stdlib/source/spec/lux/abstract/enum.lux
+++ b/stdlib/source/spec/lux/abstract/enum.lux
@@ -8,19 +8,19 @@
   {1
    ["." /]})
 
-(def: #export (spec (^open "@//.") gen-sample)
+(def: #export (spec (^open "\.") gen-sample)
   (All [a] (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen-sample]
     (<| (_.for [/.Enum])
         ($_ _.and
             (_.test "Successor and predecessor are inverse functions."
-                    (and (@//= (|> sample @//succ @//pred)
-                               sample)
-                         (@//= (|> sample @//pred @//succ)
-                               sample)
-                         (not (@//= (@//succ sample)
-                                    sample))
-                         (not (@//= (@//pred sample)
-                                    sample))))
+                    (and (\= (|> sample \succ \pred)
+                             sample)
+                         (\= (|> sample \pred \succ)
+                             sample)
+                         (not (\= (\succ sample)
+                                  sample))
+                         (not (\= (\pred sample)
+                                  sample))))
             ))))
-- 
cgit v1.2.3