Datomic pull map-spec grammar

Assuming these pulls are designed to work (they currently do):

(pull ?e [:db/id {[default :neighborhood/district {:asdf 1}] [*]}])

(pull ?e [:db/id {[:neighborhood/district :as “District” :limit 1 :default {:asdf 1}] [*]}])

I would request the map-spec docs be changed from:

map-spec = { ((attr-name | limit-expr) (pattern | recursion-limit))+ }

to:

map-spec = { ((attr-name | attr-with-opts | attr-expr) (pattern | recursion-limit))+ }

Thanks for catching this. I’ll have a look at adding this to the docs.