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/source/lux/lang/compiler/analysis/inference.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/lux/lang/compiler/analysis/inference.lux')

diff --git a/stdlib/source/lux/lang/compiler/analysis/inference.lux b/stdlib/source/lux/lang/compiler/analysis/inference.lux
index 5e3fb0cfe..42ab27a6c 100644
--- a/stdlib/source/lux/lang/compiler/analysis/inference.lux
+++ b/stdlib/source/lux/lang/compiler/analysis/inference.lux
@@ -43,30 +43,30 @@
   [invalid-type-application]
   )
 
-(def: (replace bound-idx replacement type)
+(def: (replace parameter-idx replacement type)
   (-> Nat Type Type Type)
   (case type
     (#.Primitive name params)
-    (#.Primitive name (list/map (replace bound-idx replacement) params))
+    (#.Primitive name (list/map (replace parameter-idx replacement) params))
 
     (^template [<tag>]
       (<tag> left right)
-      (<tag> (replace bound-idx replacement left)
-             (replace bound-idx replacement right)))
+      (<tag> (replace parameter-idx replacement left)
+             (replace parameter-idx replacement right)))
     ([#.Sum]
      [#.Product]
      [#.Function]
      [#.Apply])
     
-    (#.Bound idx)
-    (if (n/= bound-idx idx)
+    (#.Parameter idx)
+    (if (n/= parameter-idx idx)
       replacement
       type)
 
     (^template [<tag>]
       (<tag> env quantified)
-      (<tag> (list/map (replace bound-idx replacement) env)
-             (replace (n/+ +2 bound-idx) replacement quantified)))
+      (<tag> (list/map (replace parameter-idx replacement) env)
+             (replace (n/+ +2 parameter-idx) replacement quantified)))
     ([#.UnivQ]
      [#.ExQ])
     
-- 
cgit v1.2.3