RX0009

Dominio: Motor

Mensaje de error

el tipo declarado %s lleva el texto de pieza %s que tungsten se niega a analizar

En el mensaje, %s marca un valor que el motor completa cuando lanza el error.

La historia

El motor no pudo arrancar porque uno de sus tipos trae una descripción que nadie sabe leer. Cada tipo se define con un texto de pieza, una pequeña fórmula en la gramática de tungsten que decide si un valor es válido. Si esa fórmula está mal escrita, tungsten no la entiende y el tipo se queda sin juez. Un tipo sin juez es peligroso, porque dejaría pasar valores sin comprobarlos. Por eso el motor prefiere no nacer. La gramática es simple: un nombre de hoja suelto, o combinadores como and, or, not e implies, anidados como quieras. Un ejemplo de error típico: un paréntesis sin cerrar, o un combinador que no existe. El mensaje te dice qué tipo y qué texto fallaron. Cómo arreglarlo: antes de declarar un texto de pieza, pruébalo en la terminal con la herramienta w, usando el comando check y un valor cualquiera. Si w lo acepta, el motor también lo hará. Corrige el texto en types.feml y vuelve a lanzar. Moraleja: prueba la fórmula en la shell primero, y declárala después.

Texto del catálogo de errores del motor de Rush.