2 ms·
What do you mean by implicit conversion in the context of sum types? I don't see it under https://neat-lang.github.io/manual.html#types https://neat-lang.github
by JonChesterfield 3y ago
What do you mean by implicit conversion in the context of sum types? I don't see it under https://neat-lang.github.io/manual.html#types https://neat-lang.github.io/manual.html#types
- FeepingCreature 3y agoOh yeah I didn't actually write this down in the manual: if you expect `(A | B)`, then both A and B implicitly convert to that type.
- JonChesterfield 3y agoType A|B is implicitly constructible from A or from B sounds reasonable. A|A from A presumably an error, or possibly A|A itself is an error. Thanks