Renamed LSP Server¶
The CSL LSP server executable has been renamed, from
Workflows that manually invoke it will need to take the name change into account.
Unreachable Pattern Warning¶
The CSL type checker now emits a warning when a pattern cannot be reached. In other words, definitions such as:
val x = \ True -> 0 | False -> 1 | _ -> 2
will result in a warning that the wildcard pattern cannot be reached.
All previously-working code is still accepted, though users of build systems that enforce the lack of warnings may need to update code.