search

rebcabin / masr

Meta ASR: replacement for aging ASDL
MIT License
4 stars 0 forks source link

Ambiguity in identifier-list, -set, -suit #11

Open rebcabin opened 1 year ago

rebcabin commented 1 year ago

This issue is for me, an implementation TODO

Consider

(s/valid? ::identifier-set (identifier-list '(a a b))) := true

It should not be true because of the duplicates in the list. This is a bug in the implementation; the design is good.