Why can't I use compound assignment like '+=' in a switch pre-flow in EK9?

← Control Flow · Ref: Q836

EK9 switch pre-flow only accepts declarations ('<-') or simple assignments (':='). Compound assignment operators like '+=' on property access are rejected because the control value is ambiguous.

See Q69 for multi-case switch. See Q144 for no break/continue/return.

Example

defines module qa.controlflow.switch.preflow

  defines record
    Scoring
      prop1 <- 0

      Scoring()
        -> initial as Integer
        prop1 :=: initial

      override operator ? as pure
        <- rtn as Boolean: prop1?

  defines function

    classifyScore()
      <- rtn as String: String()

      scoring <- Scoring(5)
      result <- 0

      switch controlScore <- scoring.prop1 + 3 with controlScore
        case > 1
          result += 6
        default
          result += 10

      rtn: $result

  defines program

    SwitchPreFlowDemo()
      stdout <- Stdout()
      stdout.println(classifyScore())

Common mistakes

E07340 — Compound assignment on a property in switch pre-flow has ambiguous control semantics. Use a declaration instead. See ek9 -h E07340 for details.

Incorrect:

      switch scoring.prop1 += 3

Correct:

      switch controlScore <- scoring.prop1 + 3 with controlScore

Coming from another language?

Java: switch has no pre-flow. C: assignment in switch is bad practice. Kotlin: when has no pre-flow. EK9: pre-flow restricted to declarations and simple assignments.

Keywords: assignment, pre-flow, switch, E07340, compound, declaration