-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
SimpleUnit test model #602
Comments
I bumped into this while working on Mutations for the MPL. |
I thought the Dafny codegen does support them, since it at least does the expected thing of generating |
Inputs are fine. |
…rate (#583) Modifies the polymorph code generation process for Rust to apply to all services in scope at once, to get around the fact that Dafny's Rust code generation (and hence smithy-dafny's as well) only supports a single crate at a time. The polymorph CLI now supports multiple `--namespace` options, and the makefile now requires a `MAIN_SERVICE_FOR_RUST` service name in order to still select a single primary service to generate at the top level of the crate. All other services are qualified under `deps::<service_name>`. This layout may be changed before GA but I assert it is better to merge this first in order to lock down progress in the CI. To implement this change, introduced a `MergedServicesGenerator` which instantiates a separate generator for each service. The individual generators were changed throughout to use the root path/module name for the given service. Also made several other improvements to support building the complete DB ESDK dependency graph: * Fixed several bugs in the handling of `@positional` (testing followup tracked in #599) * Handled the Smithy `Unit` type properly (testing followup tracked in #602) * Properly handled introducing a single top-level error type for SDK wrappers, and wrapping errors from dependent services. * Miscellaneous bug fixes exposed by the DB ESDK source. * Deleted generated source for several test models to avoid review noise (and CI sensitivity to non-deterministic code generation)
…rate (#583) Modifies the polymorph code generation process for Rust to apply to all services in scope at once, to get around the fact that Dafny's Rust code generation (and hence smithy-dafny's as well) only supports a single crate at a time. The polymorph CLI now supports multiple `--namespace` options, and the makefile now requires a `MAIN_SERVICE_FOR_RUST` service name in order to still select a single primary service to generate at the top level of the crate. All other services are qualified under `deps::<service_name>`. This layout may be changed before GA but I assert it is better to merge this first in order to lock down progress in the CI. To implement this change, introduced a `MergedServicesGenerator` which instantiates a separate generator for each service. The individual generators were changed throughout to use the root path/module name for the given service. Also made several other improvements to support building the complete DB ESDK dependency graph: * Fixed several bugs in the handling of `@positional` (testing followup tracked in #599) * Handled the Smithy `Unit` type properly (testing followup tracked in #602) * Properly handled introducing a single top-level error type for SDK wrappers, and wrapping errors from dependent services. * Miscellaneous bug fixes exposed by the DB ESDK source. * Deleted generated source for several test models to avoid review noise (and CI sensitivity to non-deterministic code generation)
Having no input or output structure is a distinct case as well.
The text was updated successfully, but these errors were encountered: