Hashmap -> dict in parser

This commit is contained in:
Scott Richmond 2022-05-26 18:49:52 -04:00
parent 3292c0676c
commit 64c8f30964
2 changed files with 21 additions and 20 deletions

View File

@ -138,7 +138,7 @@
::ast/list (match-list pattern value ctx-vol) ::ast/list (match-list pattern value ctx-vol)
::ast/hash (match-dict pattern value ctx-vol) ::ast/dict (match-dict pattern value ctx-vol)
::ast/struct (match-struct pattern value ctx-vol) ::ast/struct (match-struct pattern value ctx-vol)
@ -506,7 +506,7 @@
::ast/set ::ast/set
(interpret-set ast ctx) (interpret-set ast ctx)
::ast/hash (interpret-dict ast ctx) ::ast/dict (interpret-dict ast ctx)
::ast/struct ::ast/struct
(let [members (:members ast)] (let [members (:members ast)]

View File

@ -270,7 +270,7 @@
(let [parsed (parse-expr parser #{::token/comma ::token/newline ::token/rbrace})] (let [parsed (parse-expr parser #{::token/comma ::token/newline ::token/rbrace})]
(recur parsed members (::ast parsed))))))) (recur parsed members (::ast parsed)))))))
(defn- parse-hash [origin] (defn- parse-dict [origin]
(loop [parser (accept-many #{::token/newline ::token/comma} (advance origin)) (loop [parser (accept-many #{::token/newline ::token/comma} (advance origin))
members [] members []
current_member nil] current_member nil]
@ -278,7 +278,7 @@
(case (token-type parser) (case (token-type parser)
::token/rbrace (let [ms (add-member members current_member)] ::token/rbrace (let [ms (add-member members current_member)]
(assoc (advance parser) ::ast (assoc (advance parser) ::ast
{::ast/type ::ast/hash {::ast/type ::ast/dict
:token (current origin) :token (current origin)
:members ms})) :members ms}))
@ -288,24 +288,24 @@
(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 hashmap: " (::token/lexeme curr))) (panic parser (str "Mismatched enclosure in dict: " (::token/lexeme curr)))
::token/eof ::token/eof
(panic (assoc origin ::errors (::errors parser)) "Unterminated hashmap" ::token/eof) (panic (assoc origin ::errors (::errors parser)) "Unterminated dict" ::token/eof)
::token/word ::token/word
(if (not current_member) (if (not current_member)
(let [parsed (parse-word parser) (let [parsed (parse-word parser)
word (get-in parsed [::ast :word])] word (get-in parsed [::ast :word])]
(recur parsed members [(keyword word) (::ast parsed)])) (recur parsed members [(keyword word) (::ast parsed)]))
(panic parser "Hashmap entries must be single words or keyword+expression pairs." #{::token/rbrace})) (panic parser "Dict entries must be single words or keyword+expression pairs." #{::token/rbrace}))
::token/keyword ::token/keyword
(if (not current_member) (if (not current_member)
(let [kw (parse-atom parser) (let [kw (parse-atom parser)
expr (parse-expr kw #{::token/comma ::token/newline ::token/rbrace})] expr (parse-expr kw #{::token/comma ::token/newline ::token/rbrace})]
(recur expr members [(:value (::ast kw)) (::ast expr)])) (recur expr members [(:value (::ast kw)) (::ast expr)]))
(panic parser "Hashmap entries must be single words or keyword+expression pairs." #{::token/rbrace})) (panic parser "Dict entries must be single words or keyword+expression pairs." #{::token/rbrace}))
::token/splat ::token/splat
(let [splatted (parse-expr (advance parser)) (let [splatted (parse-expr (advance parser))
@ -315,7 +315,7 @@
:token curr :expr (::ast splatted)}) :token curr :expr (::ast splatted)})
(panic parser "You may only splat words and synthetic expressions"))) (panic parser "You may only splat words and synthetic expressions")))
(panic parser "Hashmap entries must be single words or keyword+expression pairs" #{::token/rbrace}))))) (panic parser "Dict entries must be single words or keyword+expression pairs" #{::token/rbrace})))))
(defn- parse-struct [origin] (defn- parse-struct [origin]
(loop [parser (accept-many #{::token/newline ::token/comma} (advance origin)) (loop [parser (accept-many #{::token/newline ::token/comma} (advance origin))
@ -504,7 +504,7 @@
(let [parsed (parse-pattern parser)] (let [parsed (parse-pattern parser)]
(recur parsed members (::ast parsed))))))) (recur parsed members (::ast parsed)))))))
(defn- parse-hash-pattern [origin] (defn- parse-dict-pattern [origin]
(loop [parser (accept-many #{::token/newline ::token/comma} (advance origin)) (loop [parser (accept-many #{::token/newline ::token/comma} (advance origin))
members {} members {}
current_member nil] current_member nil]
@ -512,7 +512,7 @@
(case (token-type parser) (case (token-type parser)
::token/rbrace (let [ms (add-member members current_member)] ::token/rbrace (let [ms (add-member members current_member)]
(assoc (advance parser) ::ast (assoc (advance parser) ::ast
{::ast/type ::ast/hash {::ast/type ::ast/dict
:token (current origin) :token (current origin)
:members ms})) :members ms}))
@ -522,24 +522,24 @@
(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 hashmap pattern: " (::token/lexeme curr))) (panic parser (str "Mismatched enclosure in dict pattern: " (::token/lexeme curr)))
::token/eof ::token/eof
(panic (assoc origin ::errors (::errors parser)) "Unterminated hashmap pattern" ::token/eof) (panic (assoc origin ::errors (::errors parser)) "Unterminated dict pattern" ::token/eof)
::token/word ::token/word
(if (not current_member) (if (not current_member)
(let [parsed (parse-word parser) word (get-in parsed [::ast :word])] (let [parsed (parse-word parser) word (get-in parsed [::ast :word])]
(recur parsed members {(keyword word) (::ast parsed)})) (recur parsed members {(keyword word) (::ast parsed)}))
(panic parser "Hashmap patterns may only include single words or keyword+pattern pairs." #{::token/rbrace})) (panic parser "Dict patterns may only include single words or keyword+pattern pairs." #{::token/rbrace}))
::token/keyword ::token/keyword
(if (not current_member) (if (not current_member)
(let [kw (parse-atom parser) pattern (parse-pattern kw)] (let [kw (parse-atom parser) pattern (parse-pattern kw)]
(recur pattern members {(:value (::ast kw)) (::ast pattern)})) (recur pattern members {(:value (::ast kw)) (::ast pattern)}))
(panic parser "Hashmap patterns may only include single words or keyword+pattern pairs." #{::token/rbrace})) (panic parser "Dict patterns may only include single words or keyword+pattern pairs." #{::token/rbrace}))
(panic parser "Hashmap patterns may only include single words or keyword+pattern pairs" #{::token/rbrace}))))) (panic parser "Dict patterns may only include single words or keyword+pattern pairs" #{::token/rbrace})))))
(defn- parse-struct-pattern [origin] (defn- parse-struct-pattern [origin]
(loop [parser (accept-many #{::token/newline ::token/comma} (advance origin)) (loop [parser (accept-many #{::token/newline ::token/comma} (advance origin))
@ -622,7 +622,7 @@
::token/lbracket (parse-list-pattern parser) ::token/lbracket (parse-list-pattern parser)
::token/starthash (parse-hash-pattern parser) ::token/starthash (parse-dict-pattern parser)
::token/startstruct (parse-struct-pattern parser) ::token/startstruct (parse-struct-pattern parser)
@ -996,7 +996,7 @@
::token/startset (parse-set parser) ::token/startset (parse-set parser)
::token/starthash (parse-hash parser) ::token/starthash (parse-dict parser)
::token/startstruct (parse-struct parser) ::token/startstruct (parse-struct parser)
@ -1046,9 +1046,10 @@
(parser) (parser)
(parse-script))) (parse-script)))
(comment (do
(def pp pp/pprint) (def pp pp/pprint)
(def source "let foo = #{:a 1,...b} (def source "let #{a, b} = #{:a 1, :b 2}
") ")
(def lexed (scanner/scan source)) (def lexed (scanner/scan source))