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 move the mouse over one of the declarations. The other declaration will be underlined black.
Match errors in function declarations
A function declaration has an error if there are insufficient patterns to match against all the possible inputs. This is a non-exhaustive 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 non-exhaustive errors.
Opening a structure
It is not allowed to open a structure in a declaration.