From 1a7aa7e3ed6fae612d2b22eacc5805bd786efdd9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 21 Jun 2017 23:33:01 -0400
Subject: - Renamed "App" to "Apply" and swapped the order of the arguments to
 it. - Also did argument swapping for lux/type;application.

---
 stdlib/test/test/lux/type.lux       | 4 ++--
 stdlib/test/test/lux/type/check.lux | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux
index 8adc9384e..a4c1019f3 100644
--- a/stdlib/test/test/lux/type.lux
+++ b/stdlib/test/test/lux/type.lux
@@ -113,7 +113,7 @@
    extra (|> gen-type
              (R;filter (function [type]
                          (case type
-                           (^or (#;Function _) (#;App _))
+                           (^or (#;Function _) (#;Apply _))
                            false
 
                            _
@@ -127,7 +127,7 @@
                    (&/= extra output))))
 
       (test "Can build and tear-down application types."
-            (let [[tfunc tparams] (|> members (&;application extra) &;flatten-application)]
+            (let [[tfunc tparams] (|> extra (&;application members) &;flatten-application)]
               (n.= (list;size members) (list;size tparams))))
       ))
 
diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux
index 1c4767a15..703d89d11 100644
--- a/stdlib/test/test/lux/type/check.lux
+++ b/stdlib/test/test/lux/type/check.lux
@@ -123,10 +123,10 @@
   [meta gen-type
    data gen-type]
   (test "Can type-check type application."
-        (and (&;checks? (#;App (#;App Meta meta) data)
+        (and (&;checks? (#;Apply data (#;Apply meta Meta))
                         (type;tuple (list meta data)))
              (&;checks? (type;tuple (list meta data))
-                        (#;App (#;App Meta meta) data)))))
+                        (#;Apply data (#;Apply meta Meta))))))
 
 (context: "Host types"
   [nameL gen-name
-- 
cgit v1.2.3