Migrating default extensions to the new format [Part 1]

1 files changed, 13 insertions, 13 deletions

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 67a23e73b..dbd4166fa 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -463,7 +463,7 @@
                    ...                                            ... TODO: Remove this hack once Jython is no longer being used as the Python interpreter.
                    ...                                            (`` (for @.python (when (' [<input>'])
                    ...                                                                (^.` [<module>
-                   ...                                                                      ("lux def" (, [_ {.#Symbol ["" _]}]) [] #0)
+                   ...                                                                      (.def# (, [_ {.#Symbol ["" _]}]) [] #0)
                    ...                                                                      (,, (template.spliced <referrals>))])
                    ...                                                                true
 
@@ -478,52 +478,52 @@
                    ...                         (scenario [])))]
 
                    ...                    [(.require [<module/0>'])
-                   ...                     ("lux def module" [])
+                   ...                     (.module# [])
                    ...                     []]
 
                    ...                    [(.require [<alias> <module/0>' (.except)])
-                   ...                     ("lux def module" [[<module/0> <alias>]])
+                   ...                     (.module# [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.except))]]
 
                    ...                    [(.require [<alias> <module/0>' (.only <definition>)])
-                   ...                     ("lux def module" [[<module/0> <alias>]])
+                   ...                     (.module# [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.only <definition>))]]
 
                    ...                    [(.require [<alias> <module/0>' (.except <definition>)])
-                   ...                     ("lux def module" [[<module/0> <alias>]])
+                   ...                     (.module# [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.except <definition>))]]
 
                    ...                    [(.require [<alias> <module/0>'])
-                   ...                     ("lux def module" [])
+                   ...                     (.module# [])
                    ...                     []]
 
                    ...                    [(.require [<module/0>'
                    ...                                [<alias> <module/1>']])
-                   ...                     ("lux def module" [[<m0/1> <alias>]])
+                   ...                     (.module# [[<m0/1> <alias>]])
                    ...                     [(<referral> <m0/1>)]]
 
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                ["[0]" <module/1>']])
-                   ...                     ("lux def module" [[<module/0> <module/0>]
+                   ...                     (.module# [[<module/0> <module/0>]
                    ...                                        [<m0/1> <module/1>]])
                    ...                     [(<referral> <module/0>)
                    ...                      (<referral> <m0/1>)]]
 
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                ["[1]" <module/1>']])
-                   ...                     ("lux def module" [[<m0/1> <module/0>]])
+                   ...                     (.module# [[<m0/1> <module/0>]])
                    ...                     [(<referral> <m0/1>)]]
 
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                ["[1]" <module/1>'
                    ...                                 ["[2]" <module/2>']]])
-                   ...                     ("lux def module" [[<m0/1/2> <module/0>]])
+                   ...                     (.module# [[<m0/1/2> <module/0>]])
                    ...                     [(<referral> <m0/1/2>)]]
 
                    ...                    [(.require [<module/0>'
                    ...                                ["[0]" <module/1>'
                    ...                                 ["[0]" <//>']]])
-                   ...                     ("lux def module" [[<m0/1> <module/1>]
+                   ...                     (.module# [[<m0/1> <module/1>]
                    ...                                        [<m0/2> <//>]])
                    ...                     [(<referral> <m0/1>)
                    ...                      (<referral> <m0/2>)]]
@@ -531,13 +531,13 @@
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                [<module/1>'
                    ...                                 ["[0]" <\\>']]])
-                   ...                     ("lux def module" [[<module/0> <module/0>]
+                   ...                     (.module# [[<module/0> <module/0>]
                    ...                                        [<m2/1> <\\>]])
                    ...                     [(<referral> <module/0>)
                    ...                      (<referral> <m2/1>)]]
 
                    ...                    [(.require ["[0]" <module/0>' (.use "[1]#[0]" <definition>)])
-                   ...                     ("lux def module" [[<module/0> <module/0>]])
+                   ...                     (.module# [[<module/0> <module/0>]])
                    ...                     [(<referral> <module/0> (<open/0> <definition>))]]
                    ...                    ))))))
                    ))))))