diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-03-13 00:46:00 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-03-13 00:50:07 -0700 |
commit | 364b8f8875dfad94d96aae180b58f0003720e15c (patch) | |
tree | 5229e06636b874178e43d3856b3ba164b17e5577 /args.mu | |
parent | 4a943d4ed313eff001504c2b5c472266e86a38af (diff) | |
download | mu-364b8f8875dfad94d96aae180b58f0003720e15c.tar.gz |
5002
Bugfix in top-level prototype: commandline args were broken since commit 4266 last June. We still don't have automated tests for commandline args, but we'll add an example program that'll increase the odds of detecting issues there.
Diffstat (limited to 'args.mu')
-rw-r--r-- | args.mu | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/args.mu b/args.mu new file mode 100644 index 00000000..3726f097 --- /dev/null +++ b/args.mu @@ -0,0 +1,8 @@ +# To provide commandline args to a Mu program, use '--'. In this case: +# $ ./mu args.mu -- abc +# abc +def main text:text [ + local-scope + load-inputs + $print text 10/newline +] |