Jakob Schneider
Jakob Schneider
I'm still unsure how to fix parsing of function application after record select, e.g., ```flix (ide#eshCallStart)(n, d, p) ``` which should just be ```flix ide#eshCallStart(n, d, p) ``` (from [IDE.flix](https://github.com/flix/flix/blob/ed1f0027598bc592c18d24c82b1ff57cc108f082/examples/larger-examples/program-analysis/IDE.flix#L66C56-L66C83))...
Investigating :)
I think everything is done now (except for the weird thing that happened here https://github.com/flix/flix/pull/7930#issuecomment-2186258865) so once all PRs have been merged I think we can close this issue :rocket:
- [x] Add a trait with one associated type https://github.com/flix/flix/pull/7530 ```scala trait Collection[c] { pub type Elm: Type pub def empty(): c pub def add(e: Collection.Elm[c], c: c): c pub...
I can add some more instances once it's merged
> Add tests for `Array`, `Vector`, and `MutMap` Do you want these as library tests or `Test.Exp.Indexable`?
Okay but this goes against what you wrote above. New design? :)
Should I also remove the `pub` constraint in the trait declaration?
Alright. In Rust the `pub` keyword is unused on trait declarations because it defines an interface where all members are public. I though that it would be relevant to this....
But do we allow private functions on a trait declaration?