Skip to content

#548 Allow omitting 'else' for CIF switch expressions more liberally

  • Switch expression type checking for switches over non-automata is now similar to the checking for automata.
  • Fixed CifValueUtils.hasSingleValue JavaDoc.
  • Fixed ErrMsg constraint comment to allow 'chk.bash' to succeed.

Best to review per commit.

Closes #548 (closed)

Merge request reports