twc/ludus
4
0
Fork 0
Code Issues 32 Pull Requests Packages Projects 8 Releases Wiki Activity

Prevent duplicate keys in struct/dict patterns

Browse Source
This commit is contained in:
Scott Richmond 2022-06-25 11:55:17 -04:00
parent df511ce5eb
commit 80fe4d370d
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/ludus/parser.clj
View File

@ -549,16 +549,22 @@
(let [curr (current parser)] (let [curr (current parser)]
(case (token-type parser) (case (token-type parser)
::token/rbrace ::token/rbrace
(let [current-key (first (keys current_member))]
(if (current-key members)
(panic parser (str "Dict patterns may not duplicate keys: " current-key))
(let [ms (add-member members current_member)] (let [ms (add-member members current_member)]
(assoc (advance parser) ::ast (assoc (advance parser) ::ast
{::ast/type ::ast/dict {::ast/type ::ast/dict
:token (current origin) :token (current origin)
:members ms})) :members ms}))))
(::token/comma ::token/newline) (::token/comma ::token/newline)
(let [current-key (first (keys current_member))]
(if (current-key members)
(panic parser (str "Dict patterns may not duplicate keys: " current-key))
(recur (recur
(accept-many #{::token/comma ::token/newline} parser) (accept-many #{::token/comma ::token/newline} parser)
(add-member members current_member) nil) (add-member members current_member) nil)))
(::token/rbracket ::token/rparen) (::token/rbracket ::token/rparen)
(panic parser (str "Mismatched enclosure in dict pattern: " (::token/lexeme curr))) (panic parser (str "Mismatched enclosure in dict pattern: " (::token/lexeme curr)))