Jesús Lapastora
Jesús Lapastora
This code fails to compile: ```jakt import extern c "something.h" { namespace foo { extern function bar(baz: String) throws -> i32 } } namespace foo { function call_bar(value: i32) throws...
This is a draft PR to port over and extend the trait implementation. Used #378 with @kleinesfilmroellchen's work as a base, and I'd want to merge their commits regarding documentation...
This allows us to know if any regressions have ocurred or if any extra tests have been fixed by new changes.
typechecker/codegen: Inner type of None in a yield statement is not correctly outputted by codegen
This program: ```jakt /// Expect: selfhost-only /// - output: "PASS\n" function optional_foo() -> i32? => match true { false => { println("WHAT") yield 42i32 } else => { yield None...
Now tests that have no skip tag and that have an incorrect format (i.e Jakttest can't figure out what the test is expecting) are not skipped but reported as failures.
If any other file named `main.jakt` is compiled with no extra arguments, its resulting binary will be `build/main`. This will make `run-all.sh` think that selfhost is already built. By moving...
After debugging a failed index to an array that happens when trying to typecheck the first call to `flag` in `selfhost/main.jakt` (line 26), I injected a couple of print statements...
In `selfhost/main.jakt:54` there are these lines: ```jakt if not file_name.has_value() { eprintln(...) eprintln(...) return 1 } ``` That `return 1` makes the block have a yielded type **without having a...
`unwrap`ping isn't an option if one of the namespaces in the access chain isn't found. Since `checked_namespaces` is emmited even when the namespace wasn't found (so that typecheck/IDE can continue...
Fixes #380 (again). PR #388 introduced a bug where it would use the function's *parent* scope when the function was not generic, but now it was reverted and the typechecker...