From 859737d8c65327df47c9e400fca3c428bb906afb Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 29 Dec 2016 16:46:15 -0400
Subject: - ::: now has support for second-order structure selection.

---
 stdlib/test/test/lux/type/auto.lux | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type/auto.lux b/stdlib/test/test/lux/type/auto.lux
index cb58514bf..f759827f0 100644
--- a/stdlib/test/test/lux/type/auto.lux
+++ b/stdlib/test/test/lux/type/auto.lux
@@ -32,5 +32,9 @@
                      (L/= (list;n.range +1 +10)
                           (::: map n.inc (list;n.range +0 +9)))
                      )))
-
+      
+      (assert "Can automatically select second-order structures."
+              (::: =
+                   (list;n.range +1 +10)
+                   (list;n.range +1 +10)))
       ))
-- 
cgit v1.2.3