Enable 'mk_pair_data' builtin.

This commit is contained in:
KtorZ
2024-07-27 14:09:45 +02:00
committed by Kasey
parent 643e43f8aa
commit 86aed1baa5
2 changed files with 31 additions and 5 deletions

View File

@@ -4486,11 +4486,6 @@ impl<'a> CodeGenerator<'a> {
DefaultFunction::HeadList if !tipo.is_pair() => {
builder::undata_builtin(&func, count, ret_tipo, arg_vec)
}
DefaultFunction::MkPairData => {
unimplemented!(
"MkPairData should be handled by an anon function ( a, b, .., z).\n"
)
}
_ => {
let mut term: Term<Name> = func.into();