search

UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
6 stars 2 forks source link

[maybe] utils: add StringSet and StringMap instantiations #70

Closed katrinafyi closed 3 months ago

katrinafyi commented 3 months ago

these should be useful in many cases.

however, is this a good idea? we do not want Utils to become too large and it is fairly trivial.

katrinafyi commented 3 months ago

this is not needed, Map.Make(String) is already very short. maybe if we had more complex instantiations, but we can deal with those as they come (they also tend to be more domain-specific).