closes #569 * added new methods to Definitions it doesn't use expect * lookup was failing for the special map/pair case when resolving list generics Co-authored-by: Pi <[email protected]>
self.inner.is_empty()
}
/// Retrieve a definition, if it exists.
/// Retrieve a definition, if it exists; fail if not resolved
pub fn lookup(&self, reference: &Reference) -> Option<&T> {
self.inner
.get(&reference.as_key())
)
}
/// Retrieve a definition, if it exists and is resolved.
pub fn try_lookup(&self, reference: &Reference) -> Option<&T> {
self.inner.get(&reference.as_key()).and_then(|v| v.as_ref())
}
/// Merge two set of definitions together. Prioritize callee.
pub fn merge(&mut self, other: &mut Definitions<T>) {
self.inner.append(&mut other.inner);
// from the PlutusTx / LedgerApi Haskell codebase, which encodes some elements
// as such. We don't have a concept of language maps in Aiken, so we simply
// make all types abide by this convention.
let data = match definitions
.lookup(&generic)
.expect(
"Generic type argument definition was registered just above.",
)
.clone()
{
Annotated {
let data = match definitions.try_lookup(&generic).cloned() {
Some(Annotated {
annotated: Schema::Data(Data::List(Items::Many(xs))),
..
} if xs.len() == 2 => {
}) if xs.len() == 2 => {
definitions.remove(&generic);
Data::Map(
xs.first()
.to_owned(),
)
}
_ => Data::List(Items::One(Declaration::Referenced(generic))),
};
let mut definitions = Definitions::new();
let parameters = params
.iter()
.map(|param| {
Annotated::from_type(modules.into(), ¶m.tipo, &mut definitions)
.map(|schema| Parameter {
title: Some(param.arg_name.get_label()),
schema,
})
.map_err(|error| Error::Schema {
error,
location: param.location,
source_code: NamedSource::new(
module.input_path.display().to_string(),
module.code.clone(),
),
})
})
.collect::<Result<_, _>>()?;
Ok(Validator {
title: format!("{}.{}", &module.name, &func.name),
description: None,
parameters: params
.iter()
.map(|param| {
Annotated::from_type(modules.into(), ¶m.tipo, &mut definitions)
.map(|schema| Parameter {
title: Some(param.arg_name.get_label()),
schema,
})
.map_err(|error| Error::Schema {
error,
location: param.location,
source_code: NamedSource::new(
module.input_path.display().to_string(),
module.code.clone(),
),
})
})
.collect::<Result<_, _>>()?,
description: func.doc.clone(),
parameters,
datum: datum
.map(|datum| {
Annotated::from_type(modules.into(), &datum.tipo, &mut definitions).map_err(
Added ToExpr instances Moved ImpTest to cardano-ledger-conway:testlib Moved ConwayEpochs to cardano-ledger-conway:test
Maybe not needed anymore, but this honors the comment just above in project.nix which was put in place to fix static muslc builds.
plutus: 1.7 -> 1.9 Drop BundledProtocolParameters and ProtocolParameters in favour of PParams LedgerEra
Implement `tcTranslationContextL` for Shelley
