robin-aws
commented
4 days ago Pushed a commit to refactor always_error to use the approach to errors I proposed in #450 (it was a lot of change to do one operation so I don't want to go ahead with the other two immediately). The key places I'm trying to illustrate how it works are:
- The
DafnyErrorstruct in the standard library, which can wrap up an arbitrary Dafny value as astd::error::Errorwithout losing information: https://github.com/smithy-lang/smithy-dafny/pull/440/files#diff-0b48ab31781d189bf728e6287b703be78a335da810978ca454e0cb263051ea09R109 - Restoring the per-operation error types, where each has an explicit variant for each modeled error (in this case only
SimpleErrorsException: https://github.com/smithy-lang/smithy-dafny/pull/440/files#diff-9c199f24fbed164fad9a89e2b45192ec3194baeb01855a6d710491e90849f027R41 - Converting between a Dafny
Errorand aAlwaysErrorErrorwithout losing information: https://github.com/smithy-lang/smithy-dafny/pull/440/files#diff-56b16340a27f1927951bc4d032b25cc2d26abb5f09088753499a36e526e68237
Issue #, if available: Resolves #404
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.