From 4bc58162f3d381abf33c936eafc976a2f422258c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Jul 2018 21:34:07 -0400
Subject: - Re-named Bound to Paremeter.

---
 stdlib/test/test/lux/lang/compiler/analysis/function.lux  | 2 +-
 stdlib/test/test/lux/lang/compiler/analysis/structure.lux | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/lang/compiler/analysis/function.lux b/stdlib/test/test/lux/lang/compiler/analysis/function.lux
index 33bae5c9b..3fab96a92 100644
--- a/stdlib/test/test/lux/lang/compiler/analysis/function.lux
+++ b/stdlib/test/test/lux/lang/compiler/analysis/function.lux
@@ -79,7 +79,7 @@
          [outputT outputC] _primitive.primitive
          #let [funcT (type.function inputsT outputT)
                partialT (type.function (list.drop partial-args inputsT) outputT)
-               varT (#.Bound +1)
+               varT (#.Parameter +1)
                polyT (<| (type.univ-q +1)
                          (type.function (list.concat (list (list.take var-idx inputsT)
                                                            (list varT)
diff --git a/stdlib/test/test/lux/lang/compiler/analysis/structure.lux b/stdlib/test/test/lux/lang/compiler/analysis/structure.lux
index 1ad28e16b..2342e0e5a 100644
--- a/stdlib/test/test/lux/lang/compiler/analysis/structure.lux
+++ b/stdlib/test/test/lux/lang/compiler/analysis/structure.lux
@@ -112,7 +112,7 @@
                [valueT valueC] (maybe.assume (list.nth choice primitives))
                +size (inc size)
                +primitives (list.concat (list (list.take choice primitives)
-                                              (list [(#.Bound +1) +valueC])
+                                              (list [(#.Parameter +1) +valueC])
                                               (list.drop choice primitives)))
                [+valueT +valueC] (maybe.assume (list.nth +choice +primitives))
                +variantT (type.variant (list/map product.left +primitives))]]
@@ -164,7 +164,7 @@
          #let [tupleT (type.tuple (list/map product.left primitives))
                [singletonT singletonC] (|> primitives (list.nth choice) maybe.assume)
                +primitives (list.concat (list (list.take choice primitives)
-                                              (list [(#.Bound +1) +valueC])
+                                              (list [(#.Parameter +1) +valueC])
                                               (list.drop choice primitives)))
                +tupleT (type.tuple (list/map product.left +primitives))]]
         ($_ seq
@@ -224,7 +224,7 @@
          primitives (r.list size _primitive.primitive)
          module-name (r.unicode +5)
          type-name (r.unicode +5)
-         #let [varT (#.Bound +1)
+         #let [varT (#.Parameter +1)
                primitivesT (list/map product.left primitives)
                [choiceT choiceC] (maybe.assume (list.nth choice primitives))
                [other-choiceT other-choiceC] (maybe.assume (list.nth other-choice primitives))
@@ -262,7 +262,7 @@
          module-name (r.unicode +5)
          type-name (r.unicode +5)
          choice (|> r.nat (:: @ map (n/% size)))
-         #let [varT (#.Bound +1)
+         #let [varT (#.Parameter +1)
                tagsC (list/map (|>> [module-name] code.tag) tags)
                primitivesT (list/map product.left primitives)
                primitivesC (list/map product.right primitives)
-- 
cgit v1.2.3