Fix test_derive script

This commit is contained in:
Ayaz Hafiz 2022-12-12 15:04:54 -06:00
parent 1262198f7a
commit 6de816a9fc
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -529,7 +529,11 @@ where
interns.all_ident_ids.insert(DERIVED_MODULE, ident_ids);
DERIVED_MODULE.register_debug_idents(interns.all_ident_ids.get(&DERIVED_MODULE).unwrap());
let pp_ctx = PPCtx { interns: &interns };
let pp_ctx = PPCtx {
interns: &interns,
print_lambda_names: false,
home: builtin_module,
};
let derived_program = pretty_print_def(&pp_ctx, &derived_def);
check_derived_typechecks_and_golden(