add a TypedHole node to Expr, for use in the editor

This commit is contained in:
Folkert 2022-05-18 16:39:24 +02:00
parent 2c09907116
commit f285e7ce93
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
6 changed files with 23 additions and 3 deletions

View file

@ -366,6 +366,8 @@ pub fn deep_copy_type_vars_into_expr<'a>(
Expect(e1, e2) => Expect(Box::new(e1.map(go_help)), Box::new(e2.map(go_help))),
TypedHole(v) => TypedHole(sub!(*v)),
RuntimeError(err) => RuntimeError(err.clone()),
}
}