Dimi Racordon

icon indicating an email [email protected]

icon location Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.

Results 94 issues of Dimi Racordon

Fix type specialization during code generation

The following program crashes the compiler with an assertion failure (b5bd439cec0995757c3992143639ddadc97799ea): ```hylo trait P { type T: SemiRegular type U fun t(_ x: T) fun u(_ x: U) } trait...

Allow stored properties to satisfy property requirements

The following currently doesn't compile but it should: ``` public trait SliceSource { type Base property contents: PointerToMutable { let } } public type ImmutableSliceSource: SliceSource { public let contents:...

Uniformize extension binding/lookup

The compiler currently handles extensions and conformances during name lookup in a rather unprincipled manner. It seems to me that a big part of the issue revolves around universally quantified...

Rewrite the concurrent_sort example

The test case seems way too unsafe. We should at the very least rewrite it using a safe `[Mutable]ArraySlice` abstraction. See [this file](https://github.com/hylo-lang/hylo/blob/0db569f7c7c62fd48238a2515358b2b0a7615ca5/Tests/EndToEndTests/TestCases/Concurrency/concurrent_sort.hylo).