Derivation for sum that consists only of singletons #19
Conversation
- add documentation
| val showForSimple = summon[Show[Simple]] | ||
| println(showForSimple.show(Simple.Second)) | ||
| // TODO: remove or adjust | ||
| val compilationError = summon[Show[Adt]] |
There was a problem hiding this comment.
should I just leave a happy path for now. I don't see any simple way for now to check that this fails in compile time without failing whole suite
There was a problem hiding this comment.
Leave it as it is for now. I have a compiler plugin which allows you to test things like this by wrapping them in a demilitarize block which captures the compile errors as values, but I haven't published it yet. But it's a matter of days rather than weeks.
NPCRUS
changed the title
There was a problem hiding this comment.
Looks mostly good, thank you! I haven't commented on the documentation, as I'll probably make a couple of changes to that before I merge, but I'm glad you didn't miss it! I think the changes I mentioned shouldn't be too much work, and if they don't work for some reason, we can just leave things as they are.
| val showForSimple = summon[Show[Simple]] | ||
| println(showForSimple.show(Simple.Second)) | ||
| // TODO: remove or adjust | ||
| val compilationError = summon[Show[Adt]] |
There was a problem hiding this comment.
Leave it as it is for now. I have a compiler plugin which allows you to test things like this by wrapping them in a demilitarize block which captures the compile errors as values, but I haven't published it yet. But it's a matter of days rather than weeks.
No description provided.