Buen día.
En las instrucciones suplementarias para el práctico 6 publicadas en el foro se agrega:
"3) En vez de "Hint Constructors BEval." poner " Hint Constructors BEval : core.""
Mi consulta concretamente es si sería igualmente admisible crear una nueva base de Hints, digamos:
Hint Constructors BEval: BEvalBase.
Digo esto porque parece que la base core predefinida es muy grande y al utilizar auto con esa base estoy experimentando algunos problemas de desempeño.
Si esto no debería pasar y a lo mejor hay un error, agradezco la aclaración.
Saludos.