smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

fix: Generate set comprehension ranges as “| true (&& p)*” instead #324

Closed robin-aws closed 4 months ago

robin-aws commented 4 months ago

Description of changes:

Deeper fix following up from #322. Correct in more cases, although I'm still not convinced there aren't other invalid edge cases.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.