How do I use verbose or debug compilation modes?

  -E0    Minimal: single-line error messages with location and code
  -E1    Visual: Rust-style display with source snippets and caret markers
  -E2    Suggestions: visual plus 'Did you mean?' fuzzy matching
  -E3    Full: detailed explanations with diagnosis, rationale, and examples
  -E4    Developer: internal compiler diagnostics for compiler developers

  -c     Incremental compile (only recompile changed files)
  -C     Full recompile (recompile everything from scratch)
  -r     Compile and run the program
  -t     Run tests (@Test methods and expected_output.txt)

  -v     Verbose output: shows which files are being compiled and which phases complete
  -dv    Debug verbose: more detail including symbol resolution and phase timing
  -cg    Debug instrumentation: embeds source location (file:line:column) in assertion messages and stack traces
  -cd    Combined development and debug mode

  -di    DI/AOP analysis: outputs dependency injection wiring and aspect pointcut information
  -Cp N  Stop at phase N: compiles up to the specified phase number and stops. Not typical for end users, but valuable for AI tools learning EK9 (verify syntax and types compile correctly without generating runnable programs) and for compiler developers

  -h keyword    Help for a built-in type (e.g., 'ek9 -h String', 'ek9 -h List')
  -h EXXXXX     Explain a specific error code
  -H            List all available help keywords
  -V            Show compiler version

  -t0    Plain text test output
  -t1    JUnit XML output
  -t2    TAP format
  -t3    JSON output
  -t4    Markdown output
  -t5    CSV output
  -t6    HTML dashboard

  -tc SET      Statement coverage tracking
  -tc COUNT    Execution count per statement
  -tc ATOMIC   Thread-safe execution counting

defines module qa.debugging.verbosemodes

  defines function

    describeFeature()
      ->
        featureEnabled as Boolean
        featureName as String
      <- description as String: String()

      if featureEnabled
        description: `${featureName} is enabled`
      else
        description: `${featureName} is disabled`

  defines program

    VerboseModesDemo()
      stdout <- Stdout()

      // Simple program to demonstrate compilation
      stdout.println("Compilation modes demo")

      // Use string interpolation
      version <- "1.0"
      stdout.println(`Version: ${version}`)

      // Simple arithmetic
      a <- 10
      b <- 20
      stdout.println(`Sum: ${a + b}`)

      // Boolean check via function parameter
      stdout.println(describeFeature(true, "Logging"))

      // List operations
      items <- ["alpha", "beta", "gamma"]
      for item in items
        stdout.println(`Item: ${item}`)

featureDesc <- describeFeature(true, "Logging")

stdout.println(describeFeature(true, "Logging"))