“Stay hungry, stay clippy.“ -Steve Jobs

This commit is contained in:
Richard Feldman 2022-07-13 21:22:50 -04:00
parent 9b7950f765
commit 88d4e37650
No known key found for this signature in database
GPG Key ID: 7E4127D1E4241798

View File

@ -166,7 +166,7 @@ fn apply_newtypes<'a>(
expr = Expr::Record(Collection::with_items(&*arena.alloc([field])))
}
NewtypeKind::Opaque(name) => {
let opaque_name = arena.alloc(format!("@{}", name.as_str(&env.interns)));
let opaque_name = arena.alloc(format!("@{}", name.as_str(env.interns)));
let opaque_ref = &*arena.alloc(Loc::at_zero(Expr::OpaqueRef(opaque_name)));
let loc_arg_expr = &*arena.alloc(Loc::at_zero(expr));
let loc_arg_exprs = arena.alloc_slice_copy(&[loc_arg_expr]);