-rw-r--r-- | .github/workflows/rust.yml | 386407328L |
-rw-r--r-- | .gitignore | 386345229L |
-rw-r--r-- | Cargo.toml | 386345261L |
-rw-r--r-- | LICENSE.md | 386345928L |
-rw-r--r-- | README.md | 386345397L |
-rw-r--r-- | assets/logo.svg | 386408751L |
-rw-r--r-- | assets/logo.svg.png | 44762B |
-rw-r--r-- | assets/valhalla_compiler_layout.svg | 386408181L |
-rw-r--r-- | assets/valhalla_compiler_layout.svg.png | 788504B |
-rw-r--r-- | check.vh | 386345364L |
-rw-r--r-- | current_compiler_test.md | 386345676L |
-rw-r--r-- | empty.out | 35B |
-rw-r--r-- | empty.vh | 0B |
-rw-r--r-- | graph.png | 218724B |
-rw-r--r-- | samples/ability.vh | 386425882L |
-rw-r--r-- | samples/arith.vh | 386425888L |
-rw-r--r-- | samples/call_tree.vh | 386425984L |
-rw-r--r-- | samples/casting.vh | 386425964L |
-rw-r--r-- | samples/colon.vh | 386426055L |
-rw-r--r-- | samples/conditional.vh | 386426098L |
-rw-r--r-- | samples/constant_folding.vh | 386426085L |
-rw-r--r-- | samples/converting.vh | 386426179L |
-rw-r--r-- | samples/currying_infix.vh | 386426180L |
-rw-r--r-- | samples/declaration_v_test.vh | 386426237L |
-rw-r--r-- | samples/equ_solve.vh | 386426323L |
-rw-r--r-- | samples/fixity.vh | 386426300L |
-rw-r--r-- | samples/func_apl.vh | 386426346L |
-rw-r--r-- | samples/functions.vh | 386426389L |
-rw-r--r-- | samples/hello_someone.vh | 386426421L |
-rw-r--r-- | samples/hello_world.vh | 386426462L |
-rw-r--r-- | samples/hello_world_function.vh | 386426511L |
-rw-r--r-- | samples/indexed_set.vh | 386426584L |
-rw-r--r-- | samples/juxtaposition.vh | 386426618L |
-rw-r--r-- | samples/mapping.vh | 386426673L |
-rw-r--r-- | samples/match.vh | 386426708L |
-rw-r--r-- | samples/moduels.vh | 386426749L |
-rw-r--r-- | samples/non-modules.vh | 386426783L |
-rw-r--r-- | samples/peano.vh | 386426851L |
-rw-r--r-- | samples/peano_implicit.vh | 386426854L |
-rw-r--r-- | samples/pi.vh | 386426890L |
-rw-r--r-- | samples/primes.vh | 386426921L |
-rw-r--r-- | samples/product_type.vh | 386427046L |
-rw-r--r-- | samples/raw_hello_world.vh | 386426989L |
-rw-r--r-- | samples/set_comp.vh | 386427034L |
-rw-r--r-- | samples/singleton.vh | 386427117L |
-rw-r--r-- | samples/singleton_return.vh | 386427124L |
-rw-r--r-- | samples/subsets.vh | 386427165L |
-rw-r--r-- | samples/syntax.vh | 386427227L |
-rw-r--r-- | samples/vect.vh | 386427258L |
-rwxr-xr-x | scripts/graph.sh | 386427843L |
-rwxr-xr-x | scripts/inspect.sh | 386427873L |
-rw-r--r-- | src/bin.rs | 386428904L |
-rw-r--r-- | src/compiler/block.rs | 386412084L |
-rw-r--r-- | src/compiler/element.rs | 386411774L |
-rw-r--r-- | src/compiler/instructions.rs | 386411911L |
-rw-r--r-- | src/compiler/internal_functions.rs | 386411836L |
-rw-r--r-- | src/compiler/marshal.rs | 386412019L |
-rw-r--r-- | src/compiler/mod.rs | 386411865L |
-rw-r--r-- | src/compiler/types.rs | 386411957L |
-rw-r--r-- | src/issue.rs | 386429036L |
-rw-r--r-- | src/lib.rs | 386428896L |
-rw-r--r-- | src/site.rs | 386428964L |
-rw-r--r-- | src/syntax/analysis/beta_reduction.rs | 0B |
-rw-r--r-- | src/syntax/analysis/constant_fold.rs | 386413209L |
-rw-r--r-- | src/syntax/analysis/mod.rs | 386413251L |
-rw-r--r-- | src/syntax/analysis/type_balancer.rs | 386413337L |
-rw-r--r-- | src/syntax/analysis/type_checker.rs | 386413434L |
-rw-r--r-- | src/syntax/analysis/type_inference.rs | 0B |
-rw-r--r-- | src/syntax/analysis/type_resolver.rs | 386413903L |
-rw-r--r-- | src/syntax/ast.rs | 386410625L |
-rw-r--r-- | src/syntax/lexer.rs | 386410263L |
-rw-r--r-- | src/syntax/location.rs | 386410034L |
-rw-r--r-- | src/syntax/mod.rs | 386410130L |
-rw-r--r-- | src/syntax/operators.rs | 386410220L |
-rw-r--r-- | src/syntax/parser.rs | 386410496L |
-rw-r--r-- | src/syntax/token.rs | 386410310L |
-rw-r--r-- | static/build.rs | 386414174L |
-rw-r--r-- | static/read_version.rs | 386414245L |
-rw-r--r-- | test_source-release.out | 90B |
-rw-r--r-- | test_source.out | 122B |
-rw-r--r-- | test_source.vh | 386345808L |
-rw-r--r-- | tests/Cargo.toml | 386414836L |
-rw-r--r-- | tests/README.md | 386414876L |
-rw-r--r-- | tests/expect_fail/bad_paren.vh | 386415595L |
-rw-r--r-- | tests/expect_fail/invalid_operations_1.vh | 386415653L |
-rw-r--r-- | tests/expect_fail/no_such_operator.vh | 386415687L |
-rw-r--r-- | tests/expect_success/arith_1.vh | 386416475L |
-rw-r--r-- | tests/expect_success/arith_2.vh | 386416515L |
-rw-r--r-- | tests/expect_success/arith_3.vh | 386416555L |
-rw-r--r-- | tests/expect_success/auto_function.vh | 386416615L |
-rw-r--r-- | tests/expect_success/io_1.vh | 386416636L |
-rw-r--r-- | tests/expect_success/semi-colon.vh | 386416666L |
-rw-r--r-- | tests/src/main.rs | 386419201L |