Skip to content

Add :compile and :watch commands to REPL #1362

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
marvinborner wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Add :compile and :watch commands to REPL #1362

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6ceae48
Add :compile and :watch commands to REPL
marvinborner Apr 8, 2026
0dd7da7
Collect some dependencies at least
marvinborner Apr 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
40 changes: 40 additions & 0 deletions effekt/jvm/src/main/scala/effekt/Repl.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@ import effekt.util.Version.effektVersion
import kiama.util.{Console, REPL, Range, Source, StringSource}
import kiama.parsing.{NoSuccess, ParseResult, Success, Input}

import java.nio.file.Paths

class Repl(driver: Driver) extends REPL[Tree, EffektConfig, EffektError] {

private implicit lazy val context: Context with IOModuleDB = driver.context
Expand Down Expand Up @@ -83,6 +85,8 @@ class Repl(driver: Driver) extends REPL[Tree, EffektConfig, EffektError] {
|:status show the current REPL environment
|:type (:t) <expression> show the type of an expression
|:imports list all current imports
|:compile <path> compile program with current flags
|:watch <path> watch path and all its dependencies
|:reset reset the REPL state
|:help (:h) print this help message
|:quit (:q) quit this REPL""".stripMargin
Expand Down Expand Up @@ -115,6 +119,34 @@ class Repl(driver: Driver) extends REPL[Tree, EffektConfig, EffektError] {
}
}

/**
* Command `:compile` -- compiles given file with current effekt config
*/
def compile(filename: String, config: EffektConfig): Unit =
driver.compileFile(filename, config)

/**
* Command `:watch` -- watches the given file and compiles with current effekt config
*/
def watch(filename: String, config: EffektConfig): Unit = {
var files = List(filename)
var timestamps = Map.empty[String, Long]
while (!Thread.currentThread().isInterrupted) {
Thread.sleep(100)
timestamps = files.map { f =>
val current = Paths.get(f).toFile.lastModified
val last = timestamps.getOrElse(f, 0L)
if (current != last && last != 0L) {
println(s"\n--- ${f} changed: running ${filename} ---")
driver.compileFile(filename, config)
files = driver.sources.keys.toList // TODO: doesn't include dependencies
// println(s"listening on ${files}")
}
f -> current
}.toMap
}
}
Comment thread
marvinborner marked this conversation as resolved.

/**
* Command `:type` -- runs the frontend (and typechecker) on the given expression
*/
Expand Down Expand Up @@ -163,6 +195,14 @@ class Repl(driver: Driver) extends REPL[Tree, EffektConfig, EffektError] {
case Command(":quit", _) | Command(":q", _) =>
None

case Command(cmd, filename) if cmd == ":compile" || cmd == ":c" =>
compile(filename, config)
Some(config)

case Command(cmd, filename) if cmd == ":watch" || cmd == ":w" =>
watch(filename, config)
Some(config)

case Command(cmd, expr) if cmd == ":type" || cmd == ":t" =>
typecheck(StringSource(expr, source.name), config)
Some(config)
Expand Down
Loading