Added an abstraction for interest rates.

1 files changed, 19 insertions, 19 deletions

diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
index 87b6530d3..b9749422b 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux
@@ -134,7 +134,7 @@
                                          analysis/*))))
                     (try.else false))
                 (|> (/.general archive.empty ..analysis
-                               (type_literal (-> type/0 expected))
+                               (type.literal (-> type/0 expected))
                                (list term/0))
                     (//type.expecting expected)
                     (//module.with 0 (product.left name))
@@ -143,7 +143,7 @@
                     (try#each (|>> product.left (type#= expected)))
                     (try.else false))
                 (|> (/.general archive.empty ..analysis
-                               (type_literal {.#Named name (-> type/0 expected)})
+                               (type.literal {.#Named name (-> type/0 expected)})
                                (list term/0))
                     (//type.expecting expected)
                     (//module.with 0 (product.left name))
@@ -152,7 +152,7 @@
                     (try#each (|>> product.left (type#= expected)))
                     (try.else false))
                 (|> (/.general archive.empty ..analysis
-                               (type_literal (All (_ a) (-> a a)))
+                               (type.literal (All (_ a) (-> a a)))
                                (list term/0))
                     (//type.expecting type/0)
                     (//module.with 0 (product.left name))
@@ -163,7 +163,7 @@
                     (try#each (type#= type/0))
                     (try.else false))
                 (|> (/.general archive.empty ..analysis
-                               (type_literal ((All (_ a) (-> a a)) type/0))
+                               (type.literal ((All (_ a) (-> a a)) type/0))
                                (list term/0))
                     (//type.expecting type/0)
                     (//module.with 0 (product.left name))
@@ -173,7 +173,7 @@
                     (try.else false))
                 (|> (do /phase.monad
                       [[@var varT] (//type.check check.var)
-                       _ (//type.check (check.check varT (type_literal (-> type/0 expected))))]
+                       _ (//type.check (check.check varT (type.literal (-> type/0 expected))))]
                       (/.general archive.empty ..analysis varT (list term/0)))
                     (//type.expecting expected)
                     (//module.with 0 (product.left name))
@@ -184,7 +184,7 @@
                     (try#each (type#= expected))
                     (try.else false))
                 (|> (/.general archive.empty ..analysis
-                               (type_literal (Ex (_ a) (-> a a)))
+                               (type.literal (Ex (_ a) (-> a a)))
                                (list (` (.error# ""))))
                     //type.inferring
                     (//module.with 0 (product.left name))
@@ -207,7 +207,7 @@
                     (..fails? /.cannot_infer))))
          (_.coverage [/.cannot_infer_argument]
            (|> (/.general archive.empty ..analysis
-                          (type_literal (-> expected expected))
+                          (type.literal (-> expected expected))
                           (list term/0))
                (//type.expecting expected)
                (//module.with 0 (product.left name))
@@ -267,11 +267,11 @@
                  (variant? {.#Named name variantT} lefts right? tagC)
 
                  cases_independent_of_parameters_conform_to_anything!
-                 (variant? (type_literal (Maybe type/0)) 0 #0 (' []))
+                 (variant? (type.literal (Maybe type/0)) 0 #0 (' []))
 
                  cases_dependent_on_parameters_are_tettered_to_those_parameters!
-                 (and (variant? (type_literal (Maybe type/0)) 0 #1 term/0)
-                      (not (variant? (type_literal (Maybe type/0)) 0 #1 term/1)))
+                 (and (variant? (type.literal (Maybe type/0)) 0 #1 term/0)
+                      (not (variant? (type.literal (Maybe type/0)) 0 #1 term/1)))
 
                  only_bottom_conforms_to_tags_outside_of_range!
                  (`` (and (,, (with_template [<verdict> <term>]
@@ -281,24 +281,24 @@
                                 [#1 (` (.error# ""))]))))
 
                  can_handle_universal_quantification!
-                 (and (variant?' (type_literal (All (_ a) (Maybe a)))
+                 (and (variant?' (type.literal (All (_ a) (Maybe a)))
                                  {.#Some Maybe}
                                  0 #0 (' []))
-                      (variant?' (type_literal (All (_ a) (Maybe a)))
-                                 {.#Some (type_literal (Maybe type/0))}
+                      (variant?' (type.literal (All (_ a) (Maybe a)))
+                                 {.#Some (type.literal (Maybe type/0))}
                                  0 #1 term/0)
-                      (not (variant?' (type_literal (All (_ a) (Maybe a)))
+                      (not (variant?' (type.literal (All (_ a) (Maybe a)))
                                       {.#Some Maybe}
                                       0 #1 term/0)))
 
                  existential_types_do_not_affect_independent_cases!
-                 (variant?' (type_literal (Ex (_ a) (Maybe a)))
+                 (variant?' (type.literal (Ex (_ a) (Maybe a)))
                             {.#None}
                             0 #0 (' []))
 
                  existential_types_affect_dependent_cases!
                  (`` (and (,, (with_template [<verdict> <term>]
-                                [(bit#= <verdict> (variant?' (type_literal (Ex (_ a) (Maybe a))) {.#None} 0 #1 <term>))]
+                                [(bit#= <verdict> (variant?' (type.literal (Ex (_ a) (Maybe a))) {.#None} 0 #1 <term>))]
 
                                 [#0 term/0]
                                 [#1 (` (.error# ""))]))))]
@@ -415,13 +415,13 @@
              ..test|variant
              ..test|record
              (_.coverage [/.invalid_type_application]
-               (and (|> (/.general archive.empty ..analysis (type_literal (type/0 type/1)) (list term/0))
+               (and (|> (/.general archive.empty ..analysis (type.literal (type/0 type/1)) (list term/0))
                         (/phase.result state)
                         (..fails? /.invalid_type_application))
-                    (|> (/.variant lefts right? (type_literal (type/0 type/1)))
+                    (|> (/.variant lefts right? (type.literal (type/0 type/1)))
                         (/phase.result state)
                         (..fails? /.invalid_type_application))
-                    (|> (/.record lefts (type_literal (type/0 type/1)))
+                    (|> (/.record lefts (type.literal (type/0 type/1)))
                         (/phase.result state)
                         (..fails? /.invalid_type_application))))
              ))))