Adding !(pragma! type-check auto) at the first line of the standard library written in MeTTa slows down metta::types::tests::simple_dep_types test significantly. Overall number of queries to the space grows from >26000 to >1100000. Time of the test grows from 0.3 s to 19 s.
Adding
!(pragma! type-check auto)at the first line of the standard library written in MeTTa slows downmetta::types::tests::simple_dep_typestest significantly. Overall number of queries to the space grows from>26000to>1100000. Time of the test grows from0.3 sto19 s.