Skip to content
GitLab
Explore
Sign in
#612
Create deprecation warning for switch with single case
Code
Review changes
Check out branch
Download
Patches
Plain diff
Martijn Goorden
requested to merge
612-create-deprecation-warning-for-switch-with-single-case
into
develop
Jun 15, 2023
Overview
18
Commits
6
Pipelines
2
Changes
38
Expand
Closes
#612 (closed)
.
First time playing with CIF's typechecker.
Merge request reports
Loading