Dimi Racordon

The CI for debug builds on Windows has been failing since 1e6322d6b9a43aa70e4af5d32e563ad893e982d7 with no useful logging information. After many unsuccessful attempts I disabled it to unblock development. - https://github.com/hylo-lang/hylo/pull/1402 -...

Fix the AST representation of variable declarations in match cases

4

The AST currently breaks the invariant saying that `VarDecl`s are contained in some `BindingDecl`. This property doesn't hold for `VarDecl`s occurring in a `MatchCase`. That said, the invariant is actually...

The Emitter creates a `call_bundle` instruction when it sees a call to a method bundle. For example: ``` type A { public var x: Int public memberwise init public fun...

The following program incorrectly compiles and possibly has UB: ```swift subscript s(x: Int): Int { yield x yield x } public fun main() { print(s[x: 1]) } ``` The compiler...

This symbols can't be demangled: `R0U3IntcDaTR2ZZF04copy0lTtT14selfrT1K20K2`. It corresponds to the definition of `Int.copy`, which is defined in a conformance declaration in `Int.hylo` from the core library. The issue is due...

Vision for organizing tests

10

I want to open this issue to share my vision about the future of testing for Val compiler. First, I want to distinguish between 3 categories of tests: 1. Unit...

Parser gets confused when first token of a subscript is `sink`

2

This should parse but doesn't: ``` public subscript unsafe_bitcast(_ value: T): U { sink let p = Pointer.to[value].copy().value yield p as* (remote let U) } ```

CI doesn't report test failures

4

See https://github.com/val-lang/val/actions/runs/5651732864/job/15310295464#step:5:5679

Use code generation to automate the definition of integer types

5

Val's integer types are defined in individual files under `/Library/Val/Core`. Since all integer types (e.g., `Int8`, `Int16`) implement the same API, it's probably a good idea to use a code...

We don't have a nice way to represent a type erased "type extending declaration". So we end up writing a lot of boilerplate to handle either a `ConformanceDecl` or an...