diff --git a/crates/aiken-lang/src/expr.rs b/crates/aiken-lang/src/expr.rs index 82c384aa..b04c29b0 100644 --- a/crates/aiken-lang/src/expr.rs +++ b/crates/aiken-lang/src/expr.rs @@ -1138,6 +1138,13 @@ impl UntypedExpr { .. }) = lookup_data_type_by_tipo(data_types, tipo) { + if constructors.is_empty() { + return Ok(UntypedExpr::Var { + location: Span::empty(), + name: "Data".to_string(), + }); + } + let constructor = &constructors[ix]; typed_parameters