diff options
| author | Eduardo Julian | 2018-06-14 22:23:28 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-06-14 22:23:28 -0400 |
| commit | 0190e084c6f44be32ea2bc5a89ef55b52bdc789b (patch) | |
| tree | 3307f7ee3bfd189d089803f45bc5d6e80ec94d47 /stdlib/source/lux/lang/synthesis/loop.lux | |
| parent | 42932540093a368cf9d402a9fe27ecf4948b37ee (diff) | |
- Re-named "Special" to "Extension".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/synthesis/loop.lux | 7 |
1 files changed, 4 insertions, 3 deletions
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)))) |