fix some things in Num

This commit is contained in:
Folkert 2022-04-08 20:24:17 +02:00
parent 4dafe08544
commit e9f7427c67
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 8 additions and 2 deletions

View file

@ -396,7 +396,7 @@ pub fn canonicalize_module_defs<'a>(
if has_no_implementation(&def.loc_expr.value) {
match generated_info {
GeneratedInfo::Builtin {
generated_functions,
generated_functions: _,
} => {
let symbol = def.pattern_vars.iter().next().unwrap().0;
match crate::builtins::builtin_defs_map(*symbol, var_store) {