Closed ajewellamz closed 4 months ago
Description of changes:
Given a perfectly legal recursive smithy model, smithy-java can find itself in an infinite loop. Prune DependentShapesWithPaths to avoid this.
Also remove --quatifier-syntax:3, because that blocked me on this change.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes:
Given a perfectly legal recursive smithy model, smithy-java can find itself in an infinite loop. Prune DependentShapesWithPaths to avoid this.
Also remove --quatifier-syntax:3, because that blocked me on this change.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.