Jakob Schneider
Jakob Schneider
> Drop map directly on Validation and instead introduce mapN for a single argument (for consistency). I think we need this for the for-comprehension in Flix.scala ```scala afterReader
I'm not sure it's a good idea, but we could add an implicit class in `Flix.scala` that wraps `Validation.mapN` and provides a (scala) `map` implementation. That way it's only declared...
Should we consider adding distinct types `SoftResult` and `HardResult` that extend `Result`? That way we have exhaustiveness checking and callers of `Validation.toSoftResult/toHardResult` will handle all cases. We can do this...
- [x] override `toString`
> `Empty`, `Link`, and `Proxy` should not be case classes. Just normal classes with vals. They should still be private Why? We can't do pattern matching in the trait then...
Note to self: I think I need a separate `labelName` function instead of parsing a label as a normal name. The reason is that it allows `#` as a qualifier:...
I guess from the label it is related to LSP, but what is the issue?
Oopsies... that's me. Thought it was clearer than `decls.map(visitDecl)`
True but then we also have to refactor stratifier for consistency :))
Hahaha ok :D