diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux.lux | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 1a35551fa..812a52cb8 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -3322,43 +3322,6 @@ head tail))) -(def: (remainderP tokens) - (-> (List Code) (Maybe (List Code))) - (case tokens - {#End} - {#None} - - _ - {#Item tokens})) - -(def: (implementationP tokens) - (-> (List Code) (Maybe [Code Text (List Code) Code (List Code)])) - (do maybe_monad - [% (enhanced_declarationP tokens) - .let' [[tokens [export_policy name parameters]] %] - % (anyP tokens) - .let' [[tokens type] %] - tokens (remainderP tokens)] - (in [export_policy name parameters type tokens]))) - -(def: .public implementation: - (macro (_ tokens) - (case (implementationP tokens) - {#Some [export_policy name args type definitions]} - (let [usage (case args - {#End} - (local$ name) - - _ - (` ((~ (local$ name)) (~+ args))))] - (meta#in (list (` (..def: (~ export_policy) (~ usage) - (~ type) - (..implementation - (~+ definitions))))))) - - {#None} - (failure "Wrong syntax for implementation:")))) - (def: (function#identity value) (All (_ a) (-> a a)) |