From fafed063904d6ca7bfa3d9c4ba4b8d44e7b97549 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 12 Mar 2019 23:24:41 -0400
Subject: Re-named ":extract" to ":by-example".

---
 stdlib/source/test/lux/type.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index c7daced97..b9a6f09e4 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -173,6 +173,6 @@
           (let [example (: (Maybe Nat)
                            #.Nonae)]
             (type/= (type (List Nat))
-                    (:extract [a]
-                              {(Maybe a) example}
-                              (List a))))))
+                    (:by-example [a]
+                                 {(Maybe a) example}
+                                 (List a))))))
-- 
cgit v1.2.3