WILD/exp/shootout - Parsing and Translating Shell Scripts with Oil

WILD / exp / shootout

Successfully parsed 1 shell scripts totalling 252 lines in 0.2 seconds (1313.0 lines/sec).
0 OSH-to-Oil translations failed.

Side By Side	Lines	Parsed?	Parse Process Time (secs)	Translated?	Filename
view	252	OK	0.191923	OK	timing.sh

stderr

Parsing timing.sh

          	echo $((time -p $* >/dev/null) 2>&1) | awk '{print $4 "u " $6 "s " $2 "r"}'
  	                ^~
'../oil_DEPS/wild/src/exp/shootout/timing.sh':110: Unexpected token after arithmetic expression (Id.Word_Compound != Id.Arith_RParen)

Translating timing.sh

        Traceback (most recent call last):
  File "/home/andy/git/oilshell/oil/bin/oils_for_unix.py", line 208, in <module>
    sys.exit(main(sys.argv))
  File "/home/andy/git/oilshell/oil/bin/oils_for_unix.py", line 183, in main
    return AppBundleMain(argv)
  File "/home/andy/git/oilshell/oil/bin/oils_for_unix.py", line 145, in AppBundleMain
    raise AssertionError()
AssertionError