Joseph Tan
Joseph Tan
The biggest potential downside to this approach is that it would require some work to make the error messages pretty. However, this would be in keeping with the philosophy of...
I've refactored this and the stack example to follow the ``` Struct S {...} Mod S{ ...} ``` pattern
> How does e.g. Rust deal with this same problem? Rust requires type annotations so it doesn't have this problem I think. For example: ```Rust struct Person { name: String,...
Change of plans from the original comment. This PR compiles: ``` Struct[a, r] { x: a } ``` to ``` trait DotGet_x[s] { type FieldType: Star type Aef: Eff def...
I manually tested with `MutDeque` and `Ref` and nothing seems to break, which is a good sign. If/when this gets merged the next thing would probably be to work on...