wiggle: bugfix, generated code should use Names::runtime_mod not wiggle

as the crate from which these deps come.

I worked around this in lucet, but I'll be able to revert that
workaround.
This commit is contained in:
Pat Hickey
2021-01-11 18:03:48 -08:00
parent 7ed7c088a4
commit 94467bcd9a
3 changed files with 5 additions and 4 deletions

View File

@@ -69,7 +69,8 @@ pub fn define_module_trait(names: &Names, m: &Module, errxform: &ErrorTransform)
.unwrap_or(quote!(()));
quote!( Result<(#(#rets),*), #err> )
} else {
quote!(wiggle::Trap)
let rt = names.runtime_mod();
quote!(#rt::Trap)
};
if is_anonymous {