Inferencia de Alfabetos incorrecta
Cuando compilas un proceso que tiene en su FSP una etiqueta, pero esa etiqueta nunca está habilitada, el alfabeto resultante del proceso no contiene a la etiqueta. Eso esta mal.
En este ejemplo:
const M = 0 COUNT(T='any) = C[0], C[i:0..M] = ([T].success[e:ProductTypesSet]->C[0] |when (i<M) [T].fail[e:ProductTypesSet]->C[i+1])+{[T].{success,fail}.[ProductTypesSet]}.
las etiquetas de fail no aparecen en el alfabeto del proceso Count.