Can now add type-vars to imported procedures from scripting languages.

4 files changed, 16 insertions, 16 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
index 78bf307b0..9cb9fcf96 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
@@ -173,7 +173,7 @@
 (def: js::apply
   Handler
   (custom
-   [($_ <>.and <code>.any (<>.some <code>.any))
+   [($_ <>.and <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [abstractionC inputsC])
       (do [! phase.monad]
         [abstractionA (analysis/type.expecting Any
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
index f6e024d3b..e65c2db5e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -137,7 +137,7 @@
 (def: object::do
   Handler
   (custom
-   [($_ <>.and <code>.text <code>.any (<>.some <code>.any))
+   [($_ <>.and <code>.text <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [methodC objectC inputsC])
       (do [! phase.monad]
         [objectA (analysis/type.expecting ..Object
@@ -194,7 +194,7 @@
 (def: lua::apply
   Handler
   (custom
-   [($_ <>.and <code>.any (<>.some <code>.any))
+   [($_ <>.and <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [abstractionC inputsC])
       (do [! phase.monad]
         [abstractionA (analysis/type.expecting ..Function
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
index b1e865767..86affb036 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
@@ -145,7 +145,7 @@
 (def: object::do
   Handler
   (custom
-   [($_ <>.and <code>.text <code>.any (<>.some <code>.any))
+   [($_ <>.and <code>.text <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [methodC objectC inputsC])
       (do [! phase.monad]
         [objectA (analysis/type.expecting ..Object
@@ -187,7 +187,7 @@
 (def: python::apply
   Handler
   (custom
-   [($_ <>.and <code>.any (<>.some <code>.any))
+   [($_ <>.and <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [abstractionC inputsC])
       (do [! phase.monad]
         [abstractionA (analysis/type.expecting ..Function
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index eae384992..91259acc3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -6,7 +6,7 @@
     ["[0]" monad {"+" do}]]
    [control
     ["<>" parser
-     ["<c>" code {"+" Parser}]]]
+     ["<[0]>" code {"+" Parser}]]]
    [data
     [collection
      ["[0]" array {"+" Array}]
@@ -29,7 +29,7 @@
 (def: array::new
   Handler
   (custom
-   [<c>.any
+   [<code>.any
     (function (_ extension phase archive lengthC)
       (<| analysis/type.with_var
           (function (_ [@var :var:]))
@@ -42,7 +42,7 @@
 (def: array::length
   Handler
   (custom
-   [<c>.any
+   [<code>.any
     (function (_ extension phase archive arrayC)
       (<| analysis/type.with_var
           (function (_ [@var :var:]))
@@ -55,7 +55,7 @@
 (def: array::read
   Handler
   (custom
-   [(<>.and <c>.any <c>.any)
+   [(<>.and <code>.any <code>.any)
     (function (_ extension phase archive [indexC arrayC])
       (<| analysis/type.with_var
           (function (_ [@var :var:]))
@@ -70,7 +70,7 @@
 (def: array::write
   Handler
   (custom
-   [($_ <>.and <c>.any <c>.any <c>.any)
+   [($_ <>.and <code>.any <code>.any <code>.any)
     (function (_ extension phase archive [indexC valueC arrayC])
       (<| analysis/type.with_var
           (function (_ [@var :var:]))
@@ -87,7 +87,7 @@
 (def: array::delete
   Handler
   (custom
-   [($_ <>.and <c>.any <c>.any)
+   [($_ <>.and <code>.any <code>.any)
     (function (_ extension phase archive [indexC arrayC])
       (<| analysis/type.with_var
           (function (_ [@var :var:]))
@@ -125,7 +125,7 @@
 (def: object::get
   Handler
   (custom
-   [($_ <>.and <c>.text <c>.any)
+   [($_ <>.and <code>.text <code>.any)
     (function (_ extension phase archive [fieldC objectC])
       (do phase.monad
         [objectA (<| (analysis/type.expecting ..Object)
@@ -137,7 +137,7 @@
 (def: object::do
   Handler
   (custom
-   [($_ <>.and <c>.text <c>.any (<>.some <c>.any))
+   [($_ <>.and <code>.text <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [methodC objectC inputsC])
       (do [! phase.monad]
         [objectA (<| (analysis/type.expecting ..Object)
@@ -161,7 +161,7 @@
 (def: ruby::constant
   Handler
   (custom
-   [<c>.text
+   [<code>.text
     (function (_ extension phase archive name)
       (do phase.monad
         [_ (analysis/type.inference Any)]
@@ -170,7 +170,7 @@
 (def: ruby::apply
   Handler
   (custom
-   [($_ <>.and <c>.any (<>.some <c>.any))
+   [($_ <>.and <code>.any (<code>.tuple (<>.some <code>.any)))
     (function (_ extension phase archive [abstractionC inputsC])
       (do [! phase.monad]
         [abstractionA (<| (analysis/type.expecting ..Function)
@@ -182,7 +182,7 @@
 (def: ruby::import
   Handler
   (custom
-   [<c>.text
+   [<code>.text
     (function (_ extension phase archive name)
       (do phase.monad
         [_ (analysis/type.inference Bit)]