search

smithy-lang / smithy-dafny

Apache License 2.0
10 stars 8 forks source link

Use replaceable modules to specify extern attributes per language #528

Open robin-aws opened 3 months ago

robin-aws commented 3 months ago

https://github.com/smithy-lang/smithy-dafny/pull/512 is implementing this in sed, but Dafny's replaceable modules feature is a much cleaner and well-supported solution. An earlier attempt to do this ran into problems, but they seem either already solved or orthogonal.

lucasmcdonald3 commented 3 months ago

I think there may be another issue, where we need to combine "MultipleModels" with per-language replaceable modules. I expect this can be solved with Makefile magic.