effekt-lang / effekt-lang/effekt

Passing same `--no-...` option twice breaks with bad error message

Open
#889 1 comment 2 reactions 0 assignees View on GitHub
bug
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

When running effekt indirectly via a script, it can happen that options like `--no-optimize` get duplicated, e.g.:
```sh
effekt --no-optimize --no-optimize
```

When this happens, Effekt currently errors out with:
```output
Command-line error: Bad arguments for option 'optimize': ' ' - wrong arguments format
Common Options
-c, --compile Compile the Effekt program to the backend
specific representation
--no-compile
...
```

IMHO this should just work, or at least provide a better error message.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.