diff options
Diffstat (limited to 'stdlib/source/lux/lang/synthesis/loop.lux')
| -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)))) |