From 0190e084c6f44be32ea2bc5a89ef55b52bdc789b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 14 Jun 2018 22:23:28 -0400
Subject: - Re-named "Special" to "Extension".

---
 stdlib/source/lux/lang/synthesis/loop.lux | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/lux/lang/synthesis/loop.lux')

diff --git a/stdlib/source/lux/lang/synthesis/loop.lux b/stdlib/source/lux/lang/synthesis/loop.lux
index 1b5d3401c..6aab72213 100644
--- a/stdlib/source/lux/lang/synthesis/loop.lux
+++ b/stdlib/source/lux/lang/synthesis/loop.lux
@@ -6,6 +6,7 @@
              (coll [list "list/" Functor<List>]))
        (macro [code]
               [syntax]))
+  [///]
   [///reference #+ Register Variable]
   [///analysis #+ Environment]
   [// #+ Path Abstraction Synthesis])
@@ -89,7 +90,7 @@
         (and (proper? funcS)
              (list.every? proper? argsS))))
 
-    (#//.Special [special argsS])
+    (#//.Extension [name argsS])
     (list.every? proper? argsS)
 
     _
@@ -270,10 +271,10 @@
          arguments' (monad.map maybe.Monad<Maybe> recur arguments)]
         (wrap (//.function/apply [function' arguments'])))
 
-      (#//.Special [procedure argsS])
+      (#//.Extension [name argsS])
       (|> argsS
           (monad.map maybe.Monad<Maybe> recur)
-          (maybe/map (|>> [procedure] #//.Special)))
+          (maybe/map (|>> [name] #//.Extension)))
 
       _
       (#.Some exprS))))
-- 
cgit v1.2.3