diff options
| author | Eduardo Julian | 2021-09-07 23:31:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-07 23:31:05 -0400 |
| commit | ac419f9e94bc3b82cfb78c41e91b08b308a2ac71 (patch) | |
| tree | 020f7bf18ab2c67500d49e0f249e505daeaf689f /stdlib/source/library/lux.lux | |
| parent | 35c0807799717cd720ab28b35851c1a01a67445d (diff) | |
Eliminated the last application of annotations.
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index bc5393c3c..c1696ff86 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -2981,24 +2981,6 @@ #None (failure "Wrong syntax for def:"))) -(def: (with_definition_annotation addition annotations) - (-> [Code Code] Code Code) - (case [addition annotations] - [[name value] [location (#Record pairs)]] - [location (#Record (#Item [name value] pairs))] - - _ - annotations)) - -(def: (merged_definition_annotations addition base) - (-> Code Code Code) - (case addition - [location (#Record pairs)] - (list\mix with_definition_annotation base pairs) - - _ - base)) - (def:' .private (macroP tokens) (-> (List Code) (Maybe [Code Text (List Text) (List [Code Code]) Code])) (|> (do maybe_monad @@ -3483,8 +3465,7 @@ _ (` ((~ (local_identifier$ name)) (~+ args))))] (in_meta (list (` (..def: (~ export_policy) (~ usage) - (~ (merged_definition_annotations (` {#.implementation? #1}) - (record$ annotations))) + (~ (record$ annotations)) (~ type) (implementation (~+ definitions))))))) |