category | total lines | num files |
mycpp Translator | 4,893 | 11 |
mycpp Test Data | 3,427 | 43 |
Zephyr ASDL | 3,239 | 11 |
pgen2 Parser Generator | 1,847 | 8 |
Other Code Generators | 2,981 | 11 |
Hand-written C++ Code | 3,400 | 29 |
Garbage-Collected Runtime | 4,597 | 20 |
Unit tests in C++ | 7,388 | 24 |
Incremental C++ Build | 3,209 | 18 |
OSH (and common libraries) | 40,428 | 80 |
YSH | 8,143 | 24 |
Data Languages | 1,471 | 7 |
Spec Tests | 45,167 | 170 |
Gold Tests | 2,775 | 27 |
Generated C++ Code | 103,941 | 33 |
The README for oilshell/oil has another overview of the repository.
This prototype uses the MyPy frontend to translate statically-typed Python to C++. The generated code calls a small runtime which implements things like List[T], Dict[K, V], and Python's len().
mycpp/compare_pairs.py 60 mycpp/const_pass.py 531 mycpp/cppgen_pass.py 2,868 mycpp/crash.py 38 mycpp/debug_pass.py 465 mycpp/format_strings.py 114 mycpp/mycpp_main.py 377 mycpp/mylib.py 326 mycpp/pass_state.py 93 mycpp/util.py 21 4,893 lines in 11 files
Small Python examples that translate to C++, compile, and run.
mycpp/examples/arith_ops.py 45 mycpp/examples/asdl_generated.py 64 mycpp/examples/cartesian.py 78 mycpp/examples/cgi.py 62 mycpp/examples/classes_gc.py 209 mycpp/examples/classes.py 294 mycpp/examples/containers.py 235 mycpp/examples/control_flow.py 113 mycpp/examples/escape.py 70 mycpp/examples/fib_iter.py 54 mycpp/examples/fib_recursive.py 49 mycpp/examples/files.py 64 mycpp/examples/__init__.py 0 mycpp/examples/invalid_condition.py 34 mycpp/examples/invalid_default_args.py 44 mycpp/examples/invalid_except.py 40 mycpp/examples/invalid_format_args.py 15 mycpp/examples/invalid_format_strings.py 20 mycpp/examples/invalid_global.py 16 mycpp/examples/invalid_print.py 13 mycpp/examples/invalid_try_else.py 37 mycpp/examples/invalid_types_2.py 32 mycpp/examples/invalid_types.py 32 mycpp/examples/iterators.py 101 mycpp/examples/length.py 110 mycpp/examples/lexer_main.py 47 mycpp/examples/loops.py 177 mycpp/examples/modules.py 80 mycpp/examples/parse.py 264 mycpp/examples/pgen2_demo.py 106 mycpp/examples/scoped_resource.py 196 mycpp/examples/small_str.py 32 mycpp/examples/strings.py 94 mycpp/examples/test_cast.py 59 mycpp/examples/test_conditional.py 67 mycpp/examples/test_default_args.py 75 mycpp/examples/test_globals.py 62 mycpp/examples/test_hoist.py 61 mycpp/examples/test_io_os_error.py 131 mycpp/examples/test_switch.py 42 mycpp/examples/tuple_return_value.py 55 mycpp/examples/varargs.py 48 3,427 lines in 43 files
A DSL for algebraic data types, borrowed from Python. Oil is the most strongly typed Bourne shell implementation!
asdl/asdl_main.py 298 asdl/ast.py 238 asdl/format.py 521 asdl/front_end.py 513 asdl/gen_cpp.py 803 asdl/gen_python.py 602 asdl/pybase.py 51 asdl/runtime.py 66 asdl/util.py 11 asdl/visitor.py 136 3,239 lines in 11 files
An LL(1) parser generator used to parse Oil expressions. Also borrowed from CPython.
pgen2/driver.py 101 pgen2/grammar.py 303 pgen2/parse.py 220 pgen2/pgen.py 428 pgen2/pnode.py 67 pgen2/tokenize.py 579 pgen2/token.py 149 1,847 lines in 8 files
In order to make Oil statically typed, we had to abandon Python reflection and use C++ source code generation instead. The lexer, flag definitions, and constants can be easily compiled to C++.
core/optview_gen.py 94 cpp/embedded_file_gen.py 66 doctools/help_gen.py 640 frontend/consts_gen.py 612 frontend/flag_gen.py 531 frontend/lexer_gen.py 495 frontend/option_gen.py 94 frontend/signal_gen.py 105 osh/arith_parse_gen.py 100 ysh/grammar_gen.py 244 2,981 lines in 11 files
Includes OS bindings. Small C++ files like cpp/osh_arith_parse.{cc,h} correspond to larger Python files like osh/arith_parse.py.
cpp/core.cc 421 cpp/core.h 280 cpp/data_lang.cc 240 cpp/data_lang.h 25 cpp/embedded_file.h 18 cpp/fanos.cc 57 cpp/fanos.h 18 cpp/fanos_shared.h 49 cpp/frontend_flag_spec.cc 271 cpp/frontend_flag_spec.h 158 cpp/frontend_match.cc 134 cpp/frontend_match.h 82 cpp/frontend_pyreadline.cc 336 cpp/frontend_pyreadline.h 73 cpp/libc.cc 237 cpp/libc.h 38 cpp/osh.cc 161 cpp/osh.h 50 cpp/osh_tdop.cc 16 cpp/osh_tdop.h 52 cpp/pgen2.cc 44 cpp/pgen2.h 85 cpp/preamble.h 42 cpp/pylib.cc 58 cpp/pylib.h 22 cpp/stdlib.cc 229 cpp/stdlib.h 166 cpp/translation_stubs.h 38 3,400 lines in 29 files
Uses a fork-friendly Mark-Sweep collector.
mycpp/common.h 92 mycpp/comparators.h 65 mycpp/gc_alloc.h 256 mycpp/gc_builtins.cc 428 mycpp/gc_builtins.h 172 mycpp/gc_dict.h 470 mycpp/gc_list.h 514 mycpp/gc_mylib.cc 259 mycpp/gc_mylib.h 336 mycpp/gc_obj.h 172 mycpp/gc_slab.h 58 mycpp/gc_str.cc 613 mycpp/gc_str.h 210 mycpp/gc_tuple.h 149 mycpp/hash.cc 31 mycpp/hash.h 18 mycpp/mark_sweep_heap.cc 438 mycpp/mark_sweep_heap.h 294 mycpp/runtime.h 22 4,597 lines in 20 files
The goal is to make the spec tests pass, but unit tests are helpful too.
cpp/core_test.cc 436 cpp/data_lang_test.cc 125 cpp/data_race_test.cc 206 cpp/frontend_flag_spec_test.cc 154 cpp/frontend_match_test.cc 87 cpp/libc_test.cc 276 cpp/obj_layout_test.cc 188 cpp/osh_test.cc 50 cpp/pylib_test.cc 52 cpp/stdlib_test.cc 152 mycpp/bump_leak_heap_test.cc 62 mycpp/float_test.cc 131 mycpp/gc_builtins_test.cc 356 mycpp/gc_dict_test.cc 697 mycpp/gc_heap_test.cc 494 mycpp/gc_list_test.cc 489 mycpp/gc_mylib_test.cc 307 mycpp/gc_stress_test.cc 222 mycpp/gc_str_test.cc 1,513 mycpp/gc_tuple_test.cc 139 mycpp/mark_sweep_heap_test.cc 336 mycpp/small_str_test.cc 502 mycpp/yaks_runtime_test.cc 414 7,388 lines in 24 files
asdl/NINJA_subgraph.py 56 bin/NINJA_subgraph.py 101 build/ninja_lib.py 499 build/ninja_lib_test.py 253 build/ninja_main.py 424 build/ninja-rules-cpp.sh 366 build/ninja-rules-py.sh 339 core/NINJA_subgraph.py 52 cpp/NINJA_subgraph.py 223 data_lang/NINJA_subgraph.py 63 frontend/NINJA_subgraph.py 146 mycpp/NINJA_subgraph.py 414 NINJA-config.sh 107 osh/NINJA_subgraph.py 32 pea/NINJA_subgraph.py 19 prebuilt/NINJA_subgraph.py 76 ysh/NINJA_subgraph.py 39 3,209 lines in 18 files
This is the input to the translators, written in statically-typed Python. Note that bash is at least 140K lines of code, and OSH implements a large part of bash and more.
bin/oils_for_unix.py 195 builtin/assign_osh.py 564 builtin/bracket_osh.py 285 builtin/completion_osh.py 508 builtin/dirs_osh.py 336 builtin/io_osh.py 188 builtin/meta_osh.py 467 builtin/misc_osh.py 115 builtin/printf_osh.py 510 builtin/process_osh.py 378 builtin/pure_osh.py 483 builtin/readline_osh.py 140 builtin/read_osh.py 529 builtin/trap_osh.py 275 core/alloc.py 279 core/ansi.py 15 core/completion.py 1,487 core/comp_ui.py 584 core/dev.py 631 core/error.py 333 core/executor.py 682 core/main_loop.py 395 core/optview.py 58 core/process.py 1,906 core/pyos.py 411 core/pyutil.py 214 core/runtime.asdl 170 core/shell.py 1,112 core/state.py 2,335 core/ui.py 447 core/util.py 156 core/value.asdl 168 core/vm.py 379 frontend/args.py 658 frontend/builtin_def.py 161 frontend/consts.py 333 frontend/flag_def.py 524 frontend/flag_spec.py 396 frontend/id_kind_def.py 801 frontend/lexer_def.py 1,023 frontend/lexer.py 418 frontend/location.py 569 frontend/match.py 284 frontend/option_def.py 393 frontend/parse_lib.py 409 frontend/py_readline.py 104 frontend/reader.py 251 frontend/signal_def.py 94 frontend/syntax_abbrev.py 137 frontend/syntax.asdl 633 frontend/typed_args.py 524 frontend/types.asdl 56 mycpp/mylib.pyi 88 osh/arith_parse.py 194 osh/bool_parse.py 280 osh/bool_stat.py 135 osh/braces.py 526 osh/cmd_eval.py 2,100 osh/cmd_parse.py 2,672 osh/glob_.py 484 osh/history.py 192 osh/prompt.py 372 osh/sh_expr_eval.py 1,097 osh/split.py 303 osh/string_ops.py 461 osh/tdop.py 338 osh/word_compile.py 280 osh/word_eval.py 2,345 osh/word_parse.py 2,107 osh/word_.py 698 pyext/fanos.c 119 pyext/fastfunc.c 107 pyext/fastfunc.pyi 8 pyext/fastlex.c 324 pyext/fastlex.pyi 18 pyext/libc.c 416 pyext/libc.pyi 18 pyext/line_input.pyi 32 pyext/posix_.pyi 211 40,428 lines in 80 files
Expression grammar, parser, evaluator, etc.
builtin/completion_ysh.py 66 builtin/error_ysh.py 204 builtin/func_eggex.py 181 builtin/func_hay.py 150 builtin/func_misc.py 458 builtin/hay_ysh.py 430 builtin/io_ysh.py 246 builtin/json_ysh.py 143 builtin/meta_ysh.py 101 builtin/method_dict.py 45 builtin/method_io.py 43 builtin/method_list.py 98 builtin/method_other.py 32 builtin/method_str.py 331 builtin/module_ysh.py 120 builtin/pure_ysh.py 172 ysh/expr_eval.py 1,430 ysh/expr_parse.py 381 ysh/expr_to_ast.py 1,564 ysh/func_proc.py 546 ysh/grammar.pgen2 515 ysh/regex_translate.py 397 ysh/val_ops.py 490 8,143 lines in 24 files
JSON, J8 Notation, ...
data_lang/j8_lite.py 46 data_lang/j8.py 784 data_lang/pyj8.py 27 data_lang/j8.h 365 data_lang/j8_libc.c 221 data_lang/j8_libc.h 28 1,471 lines in 7 files
A comprehensive test suite that compares OSH against other shells. If OSH passes these tests in BOTH Python and C++, it means that the translation works.
spec/alias.test.sh 552 spec/append.test.sh 302 spec/arith-context.test.sh 81 spec/arith.test.sh 626 spec/array-compat.test.sh 189 spec/array.test.sh 627 spec/assign-deferred.test.sh 105 spec/assign-dialects.test.sh 61 spec/assign-extended.test.sh 855 spec/assign.test.sh 674 spec/assoc.test.sh 645 spec/assoc-zsh.test.sh 53 spec/background.test.sh 184 spec/ble-features.test.sh 644 spec/ble-idioms.test.sh 157 spec/blog1.test.sh 95 spec/blog2.test.sh 49 spec/blog-other1.test.sh 57 spec/brace-expansion.test.sh 441 spec/bugs.test.sh 342 spec/builtin-bash.test.sh 192 spec/builtin-bracket.test.sh 641 spec/builtin-completion.test.sh 485 spec/builtin-dirs.test.sh 238 spec/builtin-eval-source.test.sh 249 spec/builtin-getopts.test.sh 347 spec/builtin-history.test.sh 196 spec/builtin-io.test.sh 848 spec/builtin-printf.test.sh 901 spec/builtins2.test.sh 444 spec/builtin-special.test.sh 111 spec/builtins.test.sh 436 spec/builtin-times.test.sh 15 spec/builtin-trap-bash.test.sh 474 spec/builtin-trap.test.sh 337 spec/builtin-type-bash.test.sh 326 spec/builtin-type.test.sh 117 spec/builtin-vars.test.sh 701 spec/case_.test.sh 178 spec/command-parsing.test.sh 63 spec/command-sub.test.sh 285 spec/command_.test.sh 194 spec/comments.test.sh 11 spec/dbracket.test.sh 586 spec/dparen.test.sh 204 spec/empty-bodies.test.sh 24 spec/errexit-osh.test.sh 758 spec/errexit.test.sh 393 spec/exit-status.test.sh 238 spec/explore-parsing.test.sh 42 spec/extglob-files.test.sh 377 spec/extglob-match.test.sh 400 spec/fatal-errors.test.sh 186 spec/for-expr.test.sh 117 spec/func-parsing.test.sh 105 spec/globignore.test.sh 159 spec/glob.test.sh 375 spec/hay-isolation.test.sh 169 spec/hay-meta.test.sh 200 spec/hay.test.sh 699 spec/here-doc.test.sh 370 spec/if_.test.sh 56 spec/interactive-parse.test.sh 37 spec/interactive.test.sh 343 spec/introspect.test.sh 295 spec/let.test.sh 23 spec/loop.test.sh 473 spec/nameref.test.sh 638 spec/nix-idioms.test.sh 153 spec/nocasematch-match.test.sh 71 spec/nul-bytes.test.sh 158 spec/parse-errors.test.sh 192 spec/pipeline.test.sh 197 spec/posix.test.sh 153 spec/process-sub.test.sh 201 spec/prompt.test.sh 255 spec/quote.test.sh 230 spec/redirect-multi.test.sh 308 spec/redirect.test.sh 674 spec/regex.test.sh 356 spec/serialize.test.sh 236 spec/shell-grammar.test.sh 206 spec/sh-func.test.sh 161 spec/sh-options.test.sh 697 spec/sh-usage.test.sh 94 spec/smoke.test.sh 126 spec/strict-options.test.sh 249 spec/subshell.test.sh 23 spec/tilde.test.sh 172 spec/TODO-deprecate.test.sh 43 spec/toysh-posix.test.sh 347 spec/toysh.test.sh 144 spec/type-compat.test.sh 105 spec/var-num.test.sh 43 spec/var-op-bash.test.sh 310 spec/var-op-len.test.sh 219 spec/var-op-patsub.test.sh 399 spec/var-op-slice.test.sh 315 spec/var-op-strip.test.sh 357 spec/var-op-test.test.sh 339 spec/var-ref.test.sh 509 spec/vars-bash.test.sh 30 spec/vars-special.test.sh 625 spec/var-sub-quote.test.sh 312 spec/var-sub.test.sh 60 spec/word-eval.test.sh 62 spec/word-split.test.sh 421 spec/xtrace.test.sh 358 spec/ysh-assign.test.sh 399 spec/ysh-augmented.test.sh 217 spec/ysh-bin.test.sh 19 spec/ysh-blocks.test.sh 367 spec/ysh-bugs.test.sh 94 spec/ysh-builtin-error.test.sh 175 spec/ysh-builtin-eval.test.sh 98 spec/ysh-builtin-help.test.sh 50 spec/ysh-builtin-meta.test.sh 129 spec/ysh-builtin-module.test.sh 88 spec/ysh-builtin-process.test.sh 85 spec/ysh-builtin-shopt.test.sh 180 spec/ysh-builtins.test.sh 514 spec/ysh-case.test.sh 245 spec/ysh-command-sub.test.sh 126 spec/ysh-completion.test.sh 204 spec/ysh-convert.test.sh 171 spec/ysh-demo.test.sh 59 spec/ysh-dev.test.sh 120 spec/ysh-dict.test.sh 91 spec/ysh-expr-arith.test.sh 214 spec/ysh-expr-bool.test.sh 181 spec/ysh-expr-compare.test.sh 382 spec/ysh-expr-sub.test.sh 42 spec/ysh-expr.test.sh 618 spec/ysh-for.test.sh 153 spec/ysh-func-builtin.test.sh 24 spec/ysh-funcs-external.test.sh 86 spec/ysh-func.test.sh 536 spec/ysh-interactive.test.sh 37 spec/ysh-int-float.test.sh 116 spec/ysh-json.test.sh 903 spec/ysh-keywords.test.sh 37 spec/ysh-list.test.sh 97 spec/ysh-methods.test.sh 179 spec/ysh-multiline.test.sh 193 spec/ysh-options-assign.test.sh 106 spec/ysh-options.test.sh 816 spec/ysh-place.test.sh 135 spec/ysh-proc.test.sh 293 spec/ysh-prompt.test.sh 133 spec/ysh-regex-api.test.sh 830 spec/ysh-regex.test.sh 711 spec/ysh-reserved.test.sh 48 spec/ysh-scope.test.sh 662 spec/ysh-slice-range.test.sh 209 spec/ysh-source.test.sh 29 spec/ysh-special-vars.test.sh 50 spec/ysh-stdlib-2.test.sh 136 spec/ysh-stdlib-args.test.sh 219 spec/ysh-stdlib-testing.test.sh 45 spec/ysh-stdlib.test.sh 160 spec/ysh-string.test.sh 429 spec/ysh-tuple.test.sh 28 spec/ysh-unicode.test.sh 20 spec/ysh-usage.test.sh 48 spec/ysh-user-feedback.test.sh 187 spec/ysh-var-sub.test.sh 45 spec/ysh-with-sh.test.sh 221 spec/ysh-word-eval.test.sh 145 spec/ysh-xtrace.test.sh 528 45,167 lines in 170 files
Another suite that tests shells "from the outside". Instead of making explicit assertions, we verify that OSH behaves like bash.
test/gold/abuild.sh 9 test/gold/and-or.sh 27 test/gold/autoconf-backtick.sh 50 test/gold/big-here-doc.sh 1,531 test/gold/case-in-subshell.sh 37 test/gold/char-class.sh 33 test/gold/command-sub-2.sh 12 test/gold/command-sub.sh 39 test/gold/comments.sh 22 test/gold/complex-here-docs.sh 192 test/gold/configure-bug.sh 13 test/gold/de1.sh 24 test/gold/declare.sh 28 test/gold/dollar-sq.sh 42 test/gold/echo-e.sh 36 test/gold/errexit-confusion.sh 139 test/gold/errexit.sh 121 test/gold/export.sh 65 test/gold/glob.sh 26 test/gold/lineno.sh 23 test/gold/nix.sh 32 test/gold/readlink.sh 61 test/gold/readonly.sh 24 test/gold/scope.sh 126 test/gold/strip-op-char-class.sh 6 test/gold/word-eval.sh 57 2,775 lines in 27 files
mycpp generates the big file _gen/bin/oils-for-unix.mycpp.cc. Other programs like Zephyr ASDL and re2c generate other files.
_gen/asdl/hnode.asdl.h 197 _gen/bin/oils_for_unix.mycpp.cc 52,148 _gen/bin/oils_for_unix.mycpp.h 5 _gen/bin/text_files.cc 1,026 _gen/core/optview.h 120 _gen/core/runtime.asdl.cc 1,069 _gen/core/runtime.asdl.h 1,007 _gen/core/value.asdl.cc 978 _gen/core/value.asdl.h 1,005 _gen/cpp/build_stamp.cc 1 _gen/cpp/build_stamp.h 1 _gen/frontend/arg_types.cc 589 _gen/frontend/arg_types.h 784 _gen/frontend/consts.cc 1,584 _gen/frontend/consts.h 52 _gen/frontend/help_meta.cc 386 _gen/frontend/help_meta.h 6 _gen/frontend/id_kind.asdl.cc 901 _gen/frontend/id_kind.asdl_c.h 396 _gen/frontend/id_kind.asdl.h 461 _gen/frontend/match.re2c.h 24,284 _gen/frontend/option.asdl.h 200 _gen/frontend/signal.cc 205 _gen/frontend/signal.h 16 _gen/frontend/syntax.asdl.cc 5,160 _gen/frontend/syntax.asdl.h 5,412 _gen/frontend/types.asdl_c.h 46 _gen/frontend/types.asdl.h 86 _gen/osh/arith_parse.cc 129 _gen/_tmp/match.re2c-input.h 1,205 _gen/ysh/grammar_nt.h 76 _gen/ysh/grammar_tables.cc 4,406 103,941 lines in 33 files