Fix type reification of Data
This commit is contained in:
parent
4fb13af49f
commit
9cf908d07f
|
@ -1138,6 +1138,13 @@ impl UntypedExpr {
|
||||||
..
|
..
|
||||||
}) = lookup_data_type_by_tipo(data_types, tipo)
|
}) = 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];
|
let constructor = &constructors[ix];
|
||||||
|
|
||||||
typed_parameters
|
typed_parameters
|
||||||
|
|
Loading…
Reference in New Issue