Errors in declarations | CPN Tools help |
If there is an error in the declarations, the declaration with the error will be underlined with red. The net entry and all affected pages will also be underlined with red.
To see the error message for a declaration with an error, move the mouse over the declaration.
It is not allowed for two declarations to share the same name. If a declaration overwrites another declaration both will be underlined red and so will all declarations depending on them. To see which declaration is overwritten/overwrittes move the mouse over one of the declarations. The other declaration will be underlined black.
A function declaration has an error if there are insufficient patterns to match against all the possible inputs. This is a nonexhaustive match error:
A function declaration has an error if a pattern is provided that is covered by some earlier pattern. This is a redundant match error:
A function declaration can have both match redundant and match nonexhaustive errors.
It is not allowed to open a structure in a declaration.