El error primitive-argument-type-mismatch no reporta en el campo 'detail' el valor recibido

[afska]

"/*@BEGIN_REGION@a/9zvQACoruVnTLM1p~b@*/
function devolverAlgo() {
  return ()
}
/*@END_REGION@*/


/*@BEGIN_REGION@SIMpdTJJ(*#{({7teG#z@*/
program {
  /*@BEGIN_REGION@nM}+i6*2?UE4{Pk$),y/@*/
  Poner(/*@BEGIN_REGION@J^(EM64BpdJau)wv.Ty5@*/devolverAlgo()/*@END_REGION@*/)
  /*@END_REGION@*/
}
/*@END_REGION@*/

En este caso Poner recibe una tupla vacía, pero en el detail no aparece el valor recibido. Este lo necesitamos para poder adaptar mejor los mensajes de error para cuando se usan bloques.

También sería piola que los objetos TypeAlgo entiendan algún mensaje para que retornen el nombre humano del tipo. Por ej. si hago unTypeNumber.toString() me da "Number". Eso está bueno, pero también estaría genial que haya un .toLocalizedString() que devuelva 'un número'.