Run syntax checking at save time rather than continuously

[bguil]

When writing code, there are many times when the code is not correct until some future point when a function is finished.
For example, when someone writes pattern-matching cases, they know that the pattern-matching is not exhaustive and the highlighting of a large part of the code is annoying.

Is there a way to have the control of syntax, typing, exhaustivity of pattern matching only at save time?