Warning sobre restricciones de clase innecesarias
Una verificación que sería conveniente tener en el intérprete es una que compruebe que todas las restricciones especificadas en el encabezado de una función o procedimiento sean realmente necesarias. Un ejemplo de restricción sin uso es el siguiente:
fun f (a : T, b : T) ret r : bool
where (T : Eq, Ord)
r := a == b
end fun
Se puede observar que el requerimiento sobre la clase Ord es innecesario. Al mismo tiempo, la otra restricción sobre la clase Eq es utilizada en la operación de igualdad.