diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 22:38:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-10 22:38:00 +0200 |
commit | 618cebbec6fd5727b51974fa372ae984c03f9f99 (patch) | |
tree | 969d3dc103a6ad06f0ad263a692ee726afd85b46 /bin | |
parent | 9ef03414b78622ce181d300c1bf7f607fe4ddea8 (diff) | |
parent | 550c643a2a9ad785318e9a727ddc82e3e2f244aa (diff) | |
download | dotty-618cebbec6fd5727b51974fa372ae984c03f9f99.tar.gz dotty-618cebbec6fd5727b51974fa372ae984c03f9f99.tar.bz2 dotty-618cebbec6fd5727b51974fa372ae984c03f9f99.zip |
Merge pull request #1521 from felixmulder/topic/better-errormessages
Operation beautify error messages
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/dotr | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -29,9 +29,13 @@ function runMain { fi } +first_arg=$1 + if [ -z "$1" ]; then echo "Starting dotty REPL..." eval "$DOTTY_ROOT/bin/dotc -repl" +elif [[ ${first_arg:0:1} == "-" ]]; then + eval "$DOTTY_ROOT/bin/dotc -repl $@" else runMain "$@" fi |