Moved ".../dictionary/plist" to ".../list/property".

2 files changed, 27 insertions, 29 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
index c86bdc9b5..d9ab4f4a1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux
@@ -11,9 +11,8 @@
     ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]
     [collection
-     ["[0]" list (.use "[1]#[0]" mix functor)]
-     [dictionary
-      ["[0]" plist]]]]
+     ["[0]" list (.use "[1]#[0]" mix functor)
+      ["[0]" property]]]]
    ["[0]" meta]]]
  ["/" // (.only Operation)
   ["//[1]" //
@@ -84,11 +83,11 @@
      [self_name meta.current_module_name]
      (function (_ state)
        {try.#Success [(revised .#modules
-                               (plist.revised self_name (revised .#imports (function (_ current)
-                                                                             (if (list.any? (text#= module)
-                                                                                            current)
-                                                                               current
-                                                                               {.#Item module current}))))
+                               (property.revised self_name (revised .#imports (function (_ current)
+                                                                                (if (list.any? (text#= module)
+                                                                                               current)
+                                                                                  current
+                                                                                  {.#Item module current}))))
                                state)
                       []]}))))
 
@@ -99,8 +98,8 @@
      [self_name meta.current_module_name]
      (function (_ state)
        {try.#Success [(revised .#modules
-                               (plist.revised self_name (revised .#module_aliases (is (-> (List [Text Text]) (List [Text Text]))
-                                                                                      (|>> {.#Item [alias module]}))))
+                               (property.revised self_name (revised .#module_aliases (is (-> (List [Text Text]) (List [Text Text]))
+                                                                                         (|>> {.#Item [alias module]}))))
                                state)
                       []]}))))
 
@@ -110,7 +109,7 @@
    (function (_ state)
      (|> state
          (the .#modules)
-         (plist.value module)
+         (property.value module)
          (pipe.case {.#Some _} #1 {.#None} #0)
          [state]
          {try.#Success}))))
@@ -122,14 +121,14 @@
      [self_name meta.current_module_name
       self meta.current_module]
      (function (_ state)
-       (case (plist.value name (the .#definitions self))
+       (case (property.value name (the .#definitions self))
          {.#None}
          {try.#Success [(revised .#modules
-                                 (plist.has self_name
-                                            (revised .#definitions
-                                                     (is (-> (List [Text Global]) (List [Text Global]))
-                                                         (|>> {.#Item [name definition]}))
-                                                     self))
+                                 (property.has self_name
+                                               (revised .#definitions
+                                                        (is (-> (List [Text Global]) (List [Text Global]))
+                                                            (|>> {.#Item [name definition]}))
+                                                        self))
                                  state)
                         []]}
 
@@ -142,7 +141,7 @@
   (///extension.lifted
    (function (_ state)
      {try.#Success [(revised .#modules
-                             (plist.has name (..empty hash))
+                             (property.has name (..empty hash))
                              state)
                     []]})))
 
@@ -160,14 +159,14 @@
      (-> Text (Operation Any))
      (///extension.lifted
       (function (_ state)
-        (case (|> state (the .#modules) (plist.value module_name))
+        (case (|> state (the .#modules) (property.value module_name))
           {.#Some module}
           (let [active? (case (the .#module_state module)
                           {.#Active} #1
                           _          #0)]
             (if active?
               {try.#Success [(revised .#modules
-                                      (plist.has module_name (has .#module_state {<tag>} module))
+                                      (property.has module_name (has .#module_state {<tag>} module))
                                       state)
                              []]}
               ((///extension.up (/.except ..can_only_change_state_of_active_module [module_name {<tag>}]))
@@ -181,7 +180,7 @@
      (-> Text (Operation Bit))
      (///extension.lifted
       (function (_ state)
-        (case (|> state (the .#modules) (plist.value module_name))
+        (case (|> state (the .#modules) (property.value module_name))
           {.#Some module}
           {try.#Success [state
                          (case (the .#module_state module)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
index 8832c4b7e..538874881 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -11,9 +11,8 @@
     ["[0]" text (.use "[1]#[0]" equivalence)]
     ["[0]" product]
     [collection
-     ["[0]" list (.use "[1]#[0]" functor mix monoid)]
-     [dictionary
-      ["[0]" plist]]]]]]
+     ["[0]" list (.use "[1]#[0]" functor mix monoid)
+      ["[0]" property]]]]]]
  ["/" // (.only Environment Operation Phase)
   [//
    [phase
@@ -33,13 +32,13 @@
   (-> Text Scope Bit)
   (|> scope
       (the [.#locals .#mappings])
-      (plist.contains? name)))
+      (property.contains? name)))
 
 (def (local name scope)
   (-> Text Scope (Maybe [Type Variable]))
   (|> scope
       (the [.#locals .#mappings])
-      (plist.value name)
+      (property.value name)
       (maybe#each (function (_ [type value])
                     [type {variable.#Local value}]))))
 
@@ -47,7 +46,7 @@
   (-> Text Scope Bit)
   (|> scope
       (the [.#captured .#mappings])
-      (plist.contains? name)))
+      (property.contains? name)))
 
 (def (captured name scope)
   (-> Text Scope (Maybe [Type Variable]))
@@ -96,7 +95,7 @@
                                              {.#Item (revised .#captured
                                                               (is (-> Foreign Foreign)
                                                                   (|>> (revised .#counter ++)
-                                                                       (revised .#mappings (plist.has name [ref_type (product.left ref+inner)]))))
+                                                                       (revised .#mappings (property.has name [ref_type (product.left ref+inner)]))))
                                                               scope)
                                                      (product.right ref+inner)}]))
                                       [init_ref {.#End}]
@@ -119,7 +118,7 @@
             new_head (revised .#locals
                               (is (-> Local Local)
                                   (|>> (revised .#counter ++)
-                                       (revised .#mappings (plist.has name [type new_var_id]))))
+                                       (revised .#mappings (property.has name [type new_var_id]))))
                               head)]
         (case (phase.result' [bundle (has .#scopes {.#Item new_head tail} state)]
                              action)