From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 25 Jun 2022 20:24:43 -0400
Subject: De-sigil-ification: suffix : [Part 15]

---
 stdlib/source/test/lux.lux | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 14bb1ec55..35ba915da 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -185,7 +185,7 @@
              false))
          )))
 
-(type: (Returner a)
+(type (Returner a)
   (/.Interface
    (is (-> Any a)
        return)))
@@ -508,18 +508,18 @@
                                       ))))))
                    ))))))
 
-(/.type: for_type/variant
+(/.type for_type/variant
   (Variant
    {#Case/0}
    {#Case/1 Nat}
    {#Case/2 Int Text}))
 
-(/.type: for_type/record
+(/.type for_type/record
   (Record
    [#slot/0 Bit
     #slot/1 Rev]))
 
-(/.type: (for_type/all parameter)
+(/.type (for_type/all parameter)
   [parameter parameter])
 
 (def for_type
@@ -560,36 +560,36 @@
 
                  _
                  false))
-             (_.coverage [/.type]
-               (and (case (/.type [expected/0 expected/1])
+             (_.coverage [/.type_literal]
+               (and (case (/.type_literal [expected/0 expected/1])
                       {.#Product actual/0 actual/1}
                       (and (same? expected/0 actual/0)
                            (same? expected/1 actual/1))
 
                       _
                       false)
-                    (case (/.type (/.Or expected/0 expected/1))
+                    (case (/.type_literal (/.Or expected/0 expected/1))
                       {.#Sum actual/0 actual/1}
                       (and (same? expected/0 actual/0)
                            (same? expected/1 actual/1))
 
                       _
                       false)
-                    (case (/.type (-> expected/0 expected/1))
+                    (case (/.type_literal (-> expected/0 expected/1))
                       {.#Function actual/0 actual/1}
                       (and (same? expected/0 actual/0)
                            (same? expected/1 actual/1))
 
                       _
                       false)
-                    (case (/.type (expected/0 expected/1))
+                    (case (/.type_literal (expected/0 expected/1))
                       {.#Apply actual/1 actual/0}
                       (and (same? expected/0 actual/0)
                            (same? expected/1 actual/1))
 
                       _
                       false)))
-             (_.coverage [/.type:]
+             (_.coverage [/.type]
                (exec
                  (is /.Type ..for_type/variant)
                  (is /.Type ..for_type/record)
@@ -694,12 +694,12 @@
                (text#= static_char)))
          )))
 
-(type: Small
+(type Small
   (Record
    [#small_left Nat
     #small_right Text]))
 
-(type: Big
+(type Big
   (Record
    [#big_left Nat
     #big_right Small]))
@@ -932,7 +932,7 @@
                false)))
          )))
 
-(type: (Pair l r)
+(type (Pair l r)
   (Record
    [#left l
     #right r]))
-- 
cgit v1.2.3