Add --version CLI flag (#556)

effekt-lang · Aug 27, 2024 · f2152e2 · f2152e2
2 parents 8905a16 + 2fae227
commit f2152e2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/effekt/jvm/src/main/scala/effekt/EffektConfig.scala b/effekt/jvm/src/main/scala/effekt/EffektConfig.scala
@@ -6,6 +6,8 @@ import kiama.util.REPLConfig
 import org.rogach.scallop.{ ScallopOption, fileConverter, fileListConverter, longConverter, stringConverter, stringListConverter }
 
 class EffektConfig(args: Seq[String]) extends REPLConfig(args.takeWhile(_ != "--")) {
+  // Print version information on `--version` and `--help`
+  version(s"Effekt ${effekt.util.Version.effektVersion}")
 
   // Common
   // ------