effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

--build flag missing in 0.2.1

IR0NSIGHT opened this issue · comments

on the lastest master i can use --build or -b to build an executable on my effekt script. (That way i can use commandline arguments)
this flag has existed since at least since commit cbff76e
cbff76e

I could not find docu on when it was added

on 0.2.1 clean new install -b is missing:

max-priv@NOAH367-L:~/Dokumente/repos/effekt$ effekt.sh -h
      --backend  <arg>        The backend that should be used Choices: js,
                              chez-callcc, chez-monadic, chez-lift, llvm, ml
  -c, --compile               Compile the Effekt program
      --nocompile             Run the effekt program in the interpreter
      --includes  <arg>...    Path to consider for includes (can be set multiple
                              times)
  -l, --lib  <arg>            Path to the standard library to be used
      --llvm-version  <arg>   the llvm version that should be used to compile
                              the generated programs (only necessary if backend
                              is llvm, defaults to 15)
  -o, --out  <arg>            Path to write generated files to (defaults to
                              ./out)
      --prelude  <arg>...     Modules to be automatically imported in every
                              file.
  -s, --server                Run compiler as a language server
      --noserver              Run compiler in standard batch mode
  -h, --help                  Show help message

 trailing arguments:
  files (not required)   Input files
max-priv@NOAH367-L:~/Dokumente/repos/effekt$ effekt.sh -b ./doesntExist.effekt
Unknown option 'b'

According to @phischu the option should be present on 0.2.1

If not, is there an easy workaround to use commandline arguments on 0.2.1?

The --build flag seems to have only been added in dc507aa (Oct 18, 2023), whereas v0.2.1 was released on Sep 24, 2023.

The corresponding option is defined here:

val build: ScallopOption[Boolean] = toggle(
"build",
descrYes = "Compile the Effekt program and build a backend specific executable",
default = Some(false)
)

We should make a new release soon, but can you locally install effekt from source for now?

sbt install

Closing this, since this is not a bug in itself.