| e0f3345 |
Move data emission out of `rv64` module |
Alexis Sellier |
|
| 1c550eb |
Implement slice range assignment |
Alexis Sellier |
|
| 9be0a92 |
Simplify some `append` code |
Alexis Sellier |
|
| c6a6897 |
Simplify with support of `if let mut` |
Alexis Sellier |
|
| 5cee4d4 |
Use nested pattern matching in compiler |
Alexis Sellier |
|
| abd72ad |
Create new seed from `ff9c591` |
Alexis Sellier |
|
| b5aaa5b |
Allow identity casts |
Alexis Sellier |
|
| 08a54ee |
Make `append` return the new slice |
Alexis Sellier |
|
| 5f74ebc |
Add auto-deref support for nested patterns |
Alexis Sellier |
|
| d9a090b |
Add support for nested pattern matching |
Alexis Sellier |
|
| 40bf87c |
Simplify some optional return code |
Alexis Sellier |
|
| ff5b37f |
Support mutable optional pattern bindings |
Alexis Sellier |
|
| 43baa25 |
Simplify `for` loops that need the index |
Alexis Sellier |
|
| a6d3ede |
Inline `pushFn`/`pushData` functions |
Alexis Sellier |
|
| 0f9c16b |
Remove `throws` from non-fallible functions |
Alexis Sellier |
|
| 4bb2cff |
Allow trailing commas in parser |
Alexis Sellier |
|
| c8b1ee9 |
Print the actual parse errors if any |
Alexis Sellier |
|
| c4b1fcc |
Use growable slices throughout the compiler |
Alexis Sellier |
|
| 6612941 |
Create new seed from `b785930` |
Alexis Sellier |
|
| b785930 |
Add append and delete methods on slices |
Alexis Sellier |
|
| ada1cb3 |
Add `Allocator` record |
Alexis Sellier |
|
| d1aed33 |
Add slice capacity field |
Alexis Sellier |
|
| 7fa02c3 |
Convert tests to use `assert` keyword |
Alexis Sellier |
|
| 7a8ab6a |
Use `assert` keyword throughout compiler |
Alexis Sellier |
|
| 16d67a2 |
Create new seed from `93e3225` |
Alexis Sellier |
|
| 93e3225 |
Improve type checking in trait instances |
Alexis Sellier |
|
| ae7f915 |
Fix trait soundness bugs |
Alexis Sellier |
|
| f952258 |
Implement super-traits |
Alexis Sellier |
|
| 71eb301 |
Supertraits |
Alexis Sellier |
|
| 4fd4c94 |
Add tests for traits feature |
Alexis Sellier |
|
| a521693 |
Implement dynamic dispatch through v-tables |
Alexis Sellier |
|
| e3e79cd |
Lower instance methods |
Alexis Sellier |
|
| 37fa611 |
Implement trait method dispatch in resolver |
Alexis Sellier |
|
| 0125f9b |
Take advantage of string interning in comparisons |
Alexis Sellier |
|
| 9de503e |
Resolve instance blocks |
Alexis Sellier |
|
| ffdd11d |
Add layout for trait object in resolver |
Alexis Sellier |
|
| 40c5b38 |
Implement trait declarations in resolver |
Alexis Sellier |
|
| 7c67519 |
Implement parsing for *traits* feature |
Alexis Sellier |
|
| 66464ff |
Implement `assert` statements |
Alexis Sellier |
|
| d21f24a |
Change IL's `Blit` size to `Val` |
Alexis Sellier |
|
| dd43ff0 |
Extract `computeUnionLayout` and `variantTag` |
Alexis Sellier |
|
| 7c8cce7 |
Use conditional expressions throughout compiler |
Alexis Sellier |
|
| 610f0e9 |
Use shorthand assignment syntax where possible |
Alexis Sellier |
|
| 18a8980 |
Require `&` for re-slicing |
Alexis Sellier |
|
| 9aad4c3 |
Create new seed from `ff8c8e4` |
Alexis Sellier |
|
| ff8c8e4 |
Lower conditional expressions to IL |
Alexis Sellier |
|
| de09a13 |
Support `&slice[range]` syntax for re-slicing |
Alexis Sellier |
|
| c8c83e2 |
Support multiple error types per function |
Alexis Sellier |
|
| fcb3c9b |
Reclaim unused memory after i-sel |
Alexis Sellier |
|
| 9cb6526 |
Update README with a link to R' |
Alexis Sellier |
|