├── .appveyor.yml ├── .codecov.yml ├── .gitignore ├── .travis.yml ├── Guardfile ├── LICENSE ├── Makefile ├── README.md ├── ast ├── example_test.go ├── node.go ├── printer.go ├── printer_test.go ├── visitor.go └── visitor_test.go ├── closure ├── example_test.go ├── fix_apps.go ├── freevars.go ├── transform.go └── transform_test.go ├── codegen ├── block_builder.go ├── debug_info_builder.go ├── emitter.go ├── emitter_test.go ├── example_test.go ├── executable_test.go ├── linker.go ├── linker_test.go ├── module_builder.go ├── targets.go ├── targets_test.go ├── testdata │ ├── argv.ml │ ├── argv.out │ ├── array.ml │ ├── array.out │ ├── array_lit.ml │ ├── array_lit.out │ ├── arrstore_bug.ml │ ├── arrstore_bug.out │ ├── binary_op.ml │ ├── binary_op.out │ ├── builtin_chain.ml │ ├── builtin_chain.out │ ├── builtins.ml │ ├── builtins.out │ ├── closure.ml │ ├── closure.out │ ├── compare_fun.ml │ ├── compare_fun.out │ ├── constants.ml │ ├── constants.out │ ├── external_function_var.ml │ ├── external_function_var.out │ ├── file.ml │ ├── file.out │ ├── function.ml │ ├── function.out │ ├── function_var.ml │ ├── function_var.out │ ├── gc_api.ml │ ├── gc_api.out │ ├── helloworld.ml │ ├── helloworld.out │ ├── issue_15_fixed.ml │ ├── issue_15_fixed.out │ ├── lambda.ml │ ├── lambda.out │ ├── local_function_var.ml │ ├── local_function_var.out │ ├── logical_op.ml │ ├── logical_op.out │ ├── multi_dim_array.ml │ ├── multi_dim_array.out │ ├── multi_functions.ml │ ├── multi_functions.out │ ├── nested_aggregates.ml │ ├── nested_aggregates.out │ ├── nested_block.ml │ ├── nested_block.out │ ├── option_eq.ml │ ├── option_eq.out │ ├── option_values.ml │ ├── option_values.out │ ├── recursive_closure.ml │ ├── recursive_closure.out │ ├── recursive_func.ml │ ├── recursive_func.out │ ├── shadow_names.ml │ ├── shadow_names.out │ ├── string.ml │ ├── string.out │ ├── test.txt │ ├── tuple.ml │ ├── tuple.out │ ├── type_annotation.ml │ ├── type_annotation.out │ ├── type_annotation_fun.ml │ ├── type_annotation_fun.out │ ├── type_decl.ml │ ├── type_decl.out │ ├── unary_op.ml │ ├── unary_op.out │ ├── underscore.ml │ ├── underscore.out │ ├── zero_length_array.ml │ └── zero_length_array.out └── type_builder.go ├── common ├── ordinal.go └── ordinal_test.go ├── driver ├── driver.go └── example_test.go ├── examples ├── brainfxxk.ml ├── bubble_sort.ml ├── compose.ml ├── factorial.ml ├── fib.ml ├── fizzbuzz.ml ├── guessing_game.ml ├── helloworld.ml ├── mandelbrot.ml ├── matmul.ml ├── mt19937ar.ml ├── n-queens.ml ├── quick_sort.ml ├── rust-example.ml ├── sqrt.ml ├── tak.ml └── xorshift128plus.ml ├── main.go ├── mir ├── README.md ├── block.go ├── block_test.go ├── printer.go ├── program.go ├── program_test.go └── val.go ├── mono └── monomorphize.go ├── runtime ├── gocaml.h └── gocamlrt.c ├── scripts ├── install_llvmgo.sh └── travis_install.sh ├── sema ├── algorithm_w_test.go ├── alpha_transform.go ├── alpha_transform_test.go ├── deref.go ├── deref_test.go ├── example_test.go ├── generic.go ├── infer.go ├── infer_test.go ├── node_to_type.go ├── node_to_type_test.go ├── scope.go ├── scope_test.go ├── semantics_check.go ├── semantics_check_test.go ├── testdata │ ├── array.ml │ ├── array_lit.ml │ ├── binop.ml │ ├── external_func.ml │ ├── external_val.ml │ ├── fun.ml │ ├── if.ml │ ├── match.ml │ ├── option.ml │ ├── primitives.ml │ ├── tuple.ml │ ├── type_annotation.ml │ ├── type_annotation_expr.ml │ ├── type_annotation_fun.ml │ ├── type_decl.ml │ ├── unary.ml │ └── underscore.ml ├── to_mir.go ├── to_mir_test.go └── unify.go ├── syntax ├── example_test.go ├── grammar.go.y ├── lexer.go ├── lexer_test.go ├── parser.go ├── parser_test.go └── testdata │ ├── array.ml │ ├── array_lit.ml │ ├── binop.ml │ ├── constant.ml │ ├── external.ml │ ├── external_func_unknown_ret_type.ml │ ├── float.ml │ ├── fun_type_annotate.ml │ ├── get.ml │ ├── ident.ml │ ├── if.ml │ ├── lambda.ml │ ├── let.ml │ ├── let_rec.ml │ ├── lexer │ └── invalid │ │ ├── array.ml │ │ ├── array2.ml │ │ ├── array3.ml │ │ ├── float.ml │ │ ├── ident.ml │ │ ├── invalid_utf8.ml │ │ ├── logical_and.ml │ │ ├── unclosed_comment.ml │ │ ├── unclosed_comment2.ml │ │ ├── unclosed_string.ml │ │ ├── unknown_char.ml │ │ └── utf8.ml │ ├── logicop.ml │ ├── match.ml │ ├── none_keyword.ml │ ├── option.ml │ ├── print.ml │ ├── put.ml │ ├── relational.ml │ ├── strings.ml │ ├── tuple.ml │ ├── type_annotation.ml │ ├── type_decl.ml │ └── unary_op.ml ├── testdata └── from-mincaml │ ├── LICENSE │ ├── README.md │ ├── ack.ml │ ├── adder.ml │ ├── cls-bug.ml │ ├── cls-bug2.ml │ ├── cls-rec.ml │ ├── cls-reg-bug.ml │ ├── even-odd.ml │ ├── fib.ml │ ├── float.ml │ ├── funcomp.ml │ ├── gcd.ml │ ├── inprod-loop.ml │ ├── inprod-rec.ml │ ├── inprod.ml │ ├── join-reg.ml │ ├── join-reg2.ml │ ├── join-stack.ml │ ├── join-stack2.ml │ ├── join-stack3.ml │ ├── manyargs.ml │ ├── matmul-flat.ml │ ├── matmul.ml │ ├── non-tail-if.ml │ ├── non-tail-if2.ml │ ├── print.ml │ ├── shuffle.ml │ ├── spill.ml │ ├── spill2.ml │ ├── spill3.ml │ ├── sum-tail.ml │ ├── sum.ml │ └── toomanyargs.ml ├── token ├── token.go └── token_test.go └── types ├── builtins.go ├── env.go ├── env_test.go ├── equals.go ├── equals_test.go ├── type.go ├── type_test.go ├── visitor.go └── visitor_test.go /.appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/.appveyor.yml -------------------------------------------------------------------------------- /.codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/.codecov.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/.travis.yml -------------------------------------------------------------------------------- /Guardfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/Guardfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/README.md -------------------------------------------------------------------------------- /ast/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/example_test.go -------------------------------------------------------------------------------- /ast/node.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/node.go -------------------------------------------------------------------------------- /ast/printer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/printer.go -------------------------------------------------------------------------------- /ast/printer_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/printer_test.go -------------------------------------------------------------------------------- /ast/visitor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/visitor.go -------------------------------------------------------------------------------- /ast/visitor_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/ast/visitor_test.go -------------------------------------------------------------------------------- /closure/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/closure/example_test.go -------------------------------------------------------------------------------- /closure/fix_apps.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/closure/fix_apps.go -------------------------------------------------------------------------------- /closure/freevars.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/closure/freevars.go -------------------------------------------------------------------------------- /closure/transform.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/closure/transform.go -------------------------------------------------------------------------------- /closure/transform_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/closure/transform_test.go -------------------------------------------------------------------------------- /codegen/block_builder.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/block_builder.go -------------------------------------------------------------------------------- /codegen/debug_info_builder.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/debug_info_builder.go -------------------------------------------------------------------------------- /codegen/emitter.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/emitter.go -------------------------------------------------------------------------------- /codegen/emitter_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/emitter_test.go -------------------------------------------------------------------------------- /codegen/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/example_test.go -------------------------------------------------------------------------------- /codegen/executable_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/executable_test.go -------------------------------------------------------------------------------- /codegen/linker.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/linker.go -------------------------------------------------------------------------------- /codegen/linker_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/linker_test.go -------------------------------------------------------------------------------- /codegen/module_builder.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/module_builder.go -------------------------------------------------------------------------------- /codegen/targets.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/targets.go -------------------------------------------------------------------------------- /codegen/targets_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/targets_test.go -------------------------------------------------------------------------------- /codegen/testdata/argv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/argv.ml -------------------------------------------------------------------------------- /codegen/testdata/argv.out: -------------------------------------------------------------------------------- 1 | argc: 1 2 | prog: .out 3 | -------------------------------------------------------------------------------- /codegen/testdata/array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/array.ml -------------------------------------------------------------------------------- /codegen/testdata/array.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/array.out -------------------------------------------------------------------------------- /codegen/testdata/array_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/array_lit.ml -------------------------------------------------------------------------------- /codegen/testdata/array_lit.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/array_lit.out -------------------------------------------------------------------------------- /codegen/testdata/arrstore_bug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/arrstore_bug.ml -------------------------------------------------------------------------------- /codegen/testdata/arrstore_bug.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/binary_op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/binary_op.ml -------------------------------------------------------------------------------- /codegen/testdata/binary_op.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/binary_op.out -------------------------------------------------------------------------------- /codegen/testdata/builtin_chain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/builtin_chain.ml -------------------------------------------------------------------------------- /codegen/testdata/builtin_chain.out: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /codegen/testdata/builtins.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/builtins.ml -------------------------------------------------------------------------------- /codegen/testdata/builtins.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/builtins.out -------------------------------------------------------------------------------- /codegen/testdata/closure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/closure.ml -------------------------------------------------------------------------------- /codegen/testdata/closure.out: -------------------------------------------------------------------------------- 1 | 84 2 | -------------------------------------------------------------------------------- /codegen/testdata/compare_fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/compare_fun.ml -------------------------------------------------------------------------------- /codegen/testdata/compare_fun.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/compare_fun.out -------------------------------------------------------------------------------- /codegen/testdata/constants.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/constants.ml -------------------------------------------------------------------------------- /codegen/testdata/constants.out: -------------------------------------------------------------------------------- 1 | 42 2 | 3.14 3 | true 4 | false 5 | -------------------------------------------------------------------------------- /codegen/testdata/external_function_var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/external_function_var.ml -------------------------------------------------------------------------------- /codegen/testdata/external_function_var.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/file.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/file.ml -------------------------------------------------------------------------------- /codegen/testdata/file.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/file.out -------------------------------------------------------------------------------- /codegen/testdata/function.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/function.ml -------------------------------------------------------------------------------- /codegen/testdata/function.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/function_var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/function_var.ml -------------------------------------------------------------------------------- /codegen/testdata/function_var.out: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /codegen/testdata/gc_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/gc_api.ml -------------------------------------------------------------------------------- /codegen/testdata/gc_api.out: -------------------------------------------------------------------------------- 1 | aaa 2 | aaa 3 | 4 | -------------------------------------------------------------------------------- /codegen/testdata/helloworld.ml: -------------------------------------------------------------------------------- 1 | print_int 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/helloworld.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/issue_15_fixed.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/issue_15_fixed.ml -------------------------------------------------------------------------------- /codegen/testdata/issue_15_fixed.out: -------------------------------------------------------------------------------- 1 | 6 2 | -------------------------------------------------------------------------------- /codegen/testdata/lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/lambda.ml -------------------------------------------------------------------------------- /codegen/testdata/lambda.out: -------------------------------------------------------------------------------- 1 | 52 2 | -32 3 | 100 4 | 5 | -------------------------------------------------------------------------------- /codegen/testdata/local_function_var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/local_function_var.ml -------------------------------------------------------------------------------- /codegen/testdata/local_function_var.out: -------------------------------------------------------------------------------- 1 | 60 2 | -------------------------------------------------------------------------------- /codegen/testdata/logical_op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/logical_op.ml -------------------------------------------------------------------------------- /codegen/testdata/logical_op.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/logical_op.out -------------------------------------------------------------------------------- /codegen/testdata/multi_dim_array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/multi_dim_array.ml -------------------------------------------------------------------------------- /codegen/testdata/multi_dim_array.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/multi_dim_array.out -------------------------------------------------------------------------------- /codegen/testdata/multi_functions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/multi_functions.ml -------------------------------------------------------------------------------- /codegen/testdata/multi_functions.out: -------------------------------------------------------------------------------- 1 | 20 2 | 40 3 | 52 4 | 94 5 | 216 6 | -------------------------------------------------------------------------------- /codegen/testdata/nested_aggregates.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/nested_aggregates.ml -------------------------------------------------------------------------------- /codegen/testdata/nested_aggregates.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/nested_aggregates.out -------------------------------------------------------------------------------- /codegen/testdata/nested_block.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/nested_block.ml -------------------------------------------------------------------------------- /codegen/testdata/nested_block.out: -------------------------------------------------------------------------------- 1 | 3.14 2 | -------------------------------------------------------------------------------- /codegen/testdata/option_eq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/option_eq.ml -------------------------------------------------------------------------------- /codegen/testdata/option_eq.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/option_eq.out -------------------------------------------------------------------------------- /codegen/testdata/option_values.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/option_values.ml -------------------------------------------------------------------------------- /codegen/testdata/option_values.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/option_values.out -------------------------------------------------------------------------------- /codegen/testdata/recursive_closure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/recursive_closure.ml -------------------------------------------------------------------------------- /codegen/testdata/recursive_closure.out: -------------------------------------------------------------------------------- 1 | 126 2 | -------------------------------------------------------------------------------- /codegen/testdata/recursive_func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/recursive_func.ml -------------------------------------------------------------------------------- /codegen/testdata/recursive_func.out: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /codegen/testdata/shadow_names.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/shadow_names.ml -------------------------------------------------------------------------------- /codegen/testdata/shadow_names.out: -------------------------------------------------------------------------------- 1 | false 2 | true 3 | -------------------------------------------------------------------------------- /codegen/testdata/string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/string.ml -------------------------------------------------------------------------------- /codegen/testdata/string.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/string.out -------------------------------------------------------------------------------- /codegen/testdata/test.txt: -------------------------------------------------------------------------------- 1 | this is test for read_file() 2 | -------------------------------------------------------------------------------- /codegen/testdata/tuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/tuple.ml -------------------------------------------------------------------------------- /codegen/testdata/tuple.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/tuple.out -------------------------------------------------------------------------------- /codegen/testdata/type_annotation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/type_annotation.ml -------------------------------------------------------------------------------- /codegen/testdata/type_annotation.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/type_annotation_fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/type_annotation_fun.ml -------------------------------------------------------------------------------- /codegen/testdata/type_annotation_fun.out: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /codegen/testdata/type_decl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/type_decl.ml -------------------------------------------------------------------------------- /codegen/testdata/type_decl.out: -------------------------------------------------------------------------------- 1 | 10 2 | 20 3 | -------------------------------------------------------------------------------- /codegen/testdata/unary_op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/unary_op.ml -------------------------------------------------------------------------------- /codegen/testdata/unary_op.out: -------------------------------------------------------------------------------- 1 | false 2 | -42 3 | -3.14 4 | -------------------------------------------------------------------------------- /codegen/testdata/underscore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/underscore.ml -------------------------------------------------------------------------------- /codegen/testdata/underscore.out: -------------------------------------------------------------------------------- 1 | 12 2 | aaa 3 | 42 4 | true 5 | -------------------------------------------------------------------------------- /codegen/testdata/zero_length_array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/testdata/zero_length_array.ml -------------------------------------------------------------------------------- /codegen/testdata/zero_length_array.out: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /codegen/type_builder.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/codegen/type_builder.go -------------------------------------------------------------------------------- /common/ordinal.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/common/ordinal.go -------------------------------------------------------------------------------- /common/ordinal_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/common/ordinal_test.go -------------------------------------------------------------------------------- /driver/driver.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/driver/driver.go -------------------------------------------------------------------------------- /driver/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/driver/example_test.go -------------------------------------------------------------------------------- /examples/brainfxxk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/brainfxxk.ml -------------------------------------------------------------------------------- /examples/bubble_sort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/bubble_sort.ml -------------------------------------------------------------------------------- /examples/compose.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/compose.ml -------------------------------------------------------------------------------- /examples/factorial.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/factorial.ml -------------------------------------------------------------------------------- /examples/fib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/fib.ml -------------------------------------------------------------------------------- /examples/fizzbuzz.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/fizzbuzz.ml -------------------------------------------------------------------------------- /examples/guessing_game.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/guessing_game.ml -------------------------------------------------------------------------------- /examples/helloworld.ml: -------------------------------------------------------------------------------- 1 | println_str "Hello, world!" 2 | -------------------------------------------------------------------------------- /examples/mandelbrot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/mandelbrot.ml -------------------------------------------------------------------------------- /examples/matmul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/matmul.ml -------------------------------------------------------------------------------- /examples/mt19937ar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/mt19937ar.ml -------------------------------------------------------------------------------- /examples/n-queens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/n-queens.ml -------------------------------------------------------------------------------- /examples/quick_sort.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/quick_sort.ml -------------------------------------------------------------------------------- /examples/rust-example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/rust-example.ml -------------------------------------------------------------------------------- /examples/sqrt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/sqrt.ml -------------------------------------------------------------------------------- /examples/tak.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/tak.ml -------------------------------------------------------------------------------- /examples/xorshift128plus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/examples/xorshift128plus.ml -------------------------------------------------------------------------------- /main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/main.go -------------------------------------------------------------------------------- /mir/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/README.md -------------------------------------------------------------------------------- /mir/block.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/block.go -------------------------------------------------------------------------------- /mir/block_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/block_test.go -------------------------------------------------------------------------------- /mir/printer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/printer.go -------------------------------------------------------------------------------- /mir/program.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/program.go -------------------------------------------------------------------------------- /mir/program_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/program_test.go -------------------------------------------------------------------------------- /mir/val.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mir/val.go -------------------------------------------------------------------------------- /mono/monomorphize.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/mono/monomorphize.go -------------------------------------------------------------------------------- /runtime/gocaml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/runtime/gocaml.h -------------------------------------------------------------------------------- /runtime/gocamlrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/runtime/gocamlrt.c -------------------------------------------------------------------------------- /scripts/install_llvmgo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/scripts/install_llvmgo.sh -------------------------------------------------------------------------------- /scripts/travis_install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/scripts/travis_install.sh -------------------------------------------------------------------------------- /sema/algorithm_w_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/algorithm_w_test.go -------------------------------------------------------------------------------- /sema/alpha_transform.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/alpha_transform.go -------------------------------------------------------------------------------- /sema/alpha_transform_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/alpha_transform_test.go -------------------------------------------------------------------------------- /sema/deref.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/deref.go -------------------------------------------------------------------------------- /sema/deref_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/deref_test.go -------------------------------------------------------------------------------- /sema/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/example_test.go -------------------------------------------------------------------------------- /sema/generic.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/generic.go -------------------------------------------------------------------------------- /sema/infer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/infer.go -------------------------------------------------------------------------------- /sema/infer_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/infer_test.go -------------------------------------------------------------------------------- /sema/node_to_type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/node_to_type.go -------------------------------------------------------------------------------- /sema/node_to_type_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/node_to_type_test.go -------------------------------------------------------------------------------- /sema/scope.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/scope.go -------------------------------------------------------------------------------- /sema/scope_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/scope_test.go -------------------------------------------------------------------------------- /sema/semantics_check.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/semantics_check.go -------------------------------------------------------------------------------- /sema/semantics_check_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/semantics_check_test.go -------------------------------------------------------------------------------- /sema/testdata/array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/array.ml -------------------------------------------------------------------------------- /sema/testdata/array_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/array_lit.ml -------------------------------------------------------------------------------- /sema/testdata/binop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/binop.ml -------------------------------------------------------------------------------- /sema/testdata/external_func.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/external_func.ml -------------------------------------------------------------------------------- /sema/testdata/external_val.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/external_val.ml -------------------------------------------------------------------------------- /sema/testdata/fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/fun.ml -------------------------------------------------------------------------------- /sema/testdata/if.ml: -------------------------------------------------------------------------------- 1 | let foo: int = if true then 21 else 10 in 2 | () 3 | -------------------------------------------------------------------------------- /sema/testdata/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/match.ml -------------------------------------------------------------------------------- /sema/testdata/option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/option.ml -------------------------------------------------------------------------------- /sema/testdata/primitives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/primitives.ml -------------------------------------------------------------------------------- /sema/testdata/tuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/tuple.ml -------------------------------------------------------------------------------- /sema/testdata/type_annotation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/type_annotation.ml -------------------------------------------------------------------------------- /sema/testdata/type_annotation_expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/type_annotation_expr.ml -------------------------------------------------------------------------------- /sema/testdata/type_annotation_fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/type_annotation_fun.ml -------------------------------------------------------------------------------- /sema/testdata/type_decl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/type_decl.ml -------------------------------------------------------------------------------- /sema/testdata/unary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/unary.ml -------------------------------------------------------------------------------- /sema/testdata/underscore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/testdata/underscore.ml -------------------------------------------------------------------------------- /sema/to_mir.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/to_mir.go -------------------------------------------------------------------------------- /sema/to_mir_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/to_mir_test.go -------------------------------------------------------------------------------- /sema/unify.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/sema/unify.go -------------------------------------------------------------------------------- /syntax/example_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/example_test.go -------------------------------------------------------------------------------- /syntax/grammar.go.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/grammar.go.y -------------------------------------------------------------------------------- /syntax/lexer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/lexer.go -------------------------------------------------------------------------------- /syntax/lexer_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/lexer_test.go -------------------------------------------------------------------------------- /syntax/parser.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/parser.go -------------------------------------------------------------------------------- /syntax/parser_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/parser_test.go -------------------------------------------------------------------------------- /syntax/testdata/array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/array.ml -------------------------------------------------------------------------------- /syntax/testdata/array_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/array_lit.ml -------------------------------------------------------------------------------- /syntax/testdata/binop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/binop.ml -------------------------------------------------------------------------------- /syntax/testdata/constant.ml: -------------------------------------------------------------------------------- 1 | 42 2 | -------------------------------------------------------------------------------- /syntax/testdata/external.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/external.ml -------------------------------------------------------------------------------- /syntax/testdata/external_func_unknown_ret_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/external_func_unknown_ret_type.ml -------------------------------------------------------------------------------- /syntax/testdata/float.ml: -------------------------------------------------------------------------------- 1 | 3.14e+3 2 | -------------------------------------------------------------------------------- /syntax/testdata/fun_type_annotate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/fun_type_annotate.ml -------------------------------------------------------------------------------- /syntax/testdata/get.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/get.ml -------------------------------------------------------------------------------- /syntax/testdata/ident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/ident.ml -------------------------------------------------------------------------------- /syntax/testdata/if.ml: -------------------------------------------------------------------------------- 1 | if true then 42 else 0 2 | -------------------------------------------------------------------------------- /syntax/testdata/lambda.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/lambda.ml -------------------------------------------------------------------------------- /syntax/testdata/let.ml: -------------------------------------------------------------------------------- 1 | let x = 42 in x 2 | -------------------------------------------------------------------------------- /syntax/testdata/let_rec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/let_rec.ml -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/array.ml: -------------------------------------------------------------------------------- 1 | Array.foo 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/array2.ml: -------------------------------------------------------------------------------- 1 | Array+ 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/array3.ml: -------------------------------------------------------------------------------- 1 | Array.\ 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/float.ml: -------------------------------------------------------------------------------- 1 | 3.14e+foo 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/ident.ml: -------------------------------------------------------------------------------- 1 | \ 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/invalid_utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/lexer/invalid/invalid_utf8.ml -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/logical_and.ml: -------------------------------------------------------------------------------- 1 | true & false 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/unclosed_comment.ml: -------------------------------------------------------------------------------- 1 | (* this comment is not closed 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/unclosed_comment2.ml: -------------------------------------------------------------------------------- 1 | (* this comment is just closing... * 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/unclosed_string.ml: -------------------------------------------------------------------------------- 1 | " this 2 | strin literal is 3 | not closed\" ;() 4 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/unknown_char.ml: -------------------------------------------------------------------------------- 1 | # 2 | -------------------------------------------------------------------------------- /syntax/testdata/lexer/invalid/utf8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/lexer/invalid/utf8.ml -------------------------------------------------------------------------------- /syntax/testdata/logicop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/logicop.ml -------------------------------------------------------------------------------- /syntax/testdata/match.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/match.ml -------------------------------------------------------------------------------- /syntax/testdata/none_keyword.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/none_keyword.ml -------------------------------------------------------------------------------- /syntax/testdata/option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/option.ml -------------------------------------------------------------------------------- /syntax/testdata/print.ml: -------------------------------------------------------------------------------- 1 | print 42 2 | -------------------------------------------------------------------------------- /syntax/testdata/put.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/put.ml -------------------------------------------------------------------------------- /syntax/testdata/relational.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/relational.ml -------------------------------------------------------------------------------- /syntax/testdata/strings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/strings.ml -------------------------------------------------------------------------------- /syntax/testdata/tuple.ml: -------------------------------------------------------------------------------- 1 | let (x, y) = (1, 2) in x + y 2 | -------------------------------------------------------------------------------- /syntax/testdata/type_annotation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/type_annotation.ml -------------------------------------------------------------------------------- /syntax/testdata/type_decl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/type_decl.ml -------------------------------------------------------------------------------- /syntax/testdata/unary_op.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/syntax/testdata/unary_op.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/LICENSE -------------------------------------------------------------------------------- /testdata/from-mincaml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/README.md -------------------------------------------------------------------------------- /testdata/from-mincaml/ack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/ack.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/adder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/adder.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/cls-bug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/cls-bug.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/cls-bug2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/cls-bug2.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/cls-rec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/cls-rec.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/cls-reg-bug.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/cls-reg-bug.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/even-odd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/even-odd.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/fib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/fib.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/float.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/float.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/funcomp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/funcomp.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/gcd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/gcd.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/inprod-loop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/inprod-loop.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/inprod-rec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/inprod-rec.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/inprod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/inprod.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/join-reg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/join-reg.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/join-reg2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/join-reg2.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/join-stack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/join-stack.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/join-stack2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/join-stack2.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/join-stack3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/join-stack3.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/manyargs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/manyargs.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/matmul-flat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/matmul-flat.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/matmul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/matmul.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/non-tail-if.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/non-tail-if.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/non-tail-if2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/non-tail-if2.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/print.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/shuffle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/shuffle.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/spill.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/spill.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/spill2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/spill2.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/spill3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/spill3.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/sum-tail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/sum-tail.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/sum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/sum.ml -------------------------------------------------------------------------------- /testdata/from-mincaml/toomanyargs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/testdata/from-mincaml/toomanyargs.ml -------------------------------------------------------------------------------- /token/token.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/token/token.go -------------------------------------------------------------------------------- /token/token_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/token/token_test.go -------------------------------------------------------------------------------- /types/builtins.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/builtins.go -------------------------------------------------------------------------------- /types/env.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/env.go -------------------------------------------------------------------------------- /types/env_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/env_test.go -------------------------------------------------------------------------------- /types/equals.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/equals.go -------------------------------------------------------------------------------- /types/equals_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/equals_test.go -------------------------------------------------------------------------------- /types/type.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/type.go -------------------------------------------------------------------------------- /types/type_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/type_test.go -------------------------------------------------------------------------------- /types/visitor.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/visitor.go -------------------------------------------------------------------------------- /types/visitor_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rhysd/gocaml/HEAD/types/visitor_test.go --------------------------------------------------------------------------------