Torsten Schmits comments

Results 110 comments of


                                            Torsten Schmits

Singleton types are erased at display.

sounds good!

diff of compound types

I'll look into it!

diff of compound types

built something! release is on the way, please give it a spin and let me know, @joprice !

diff of compound types

1. This is due to the use of the `@implicitNotFound` annotation, which prints the whole type in the first part of the message, while the second occurence is splain just...

diff of compound types

1. I don't understand how this relates to infix types! 2. I would prefer the messages to be intuitive without a manual, especially when the plugin will be merged into...

diff of compound types

I implemented disambiguation of names for diffs, release is coming!

diff of compound types

> Great! I didn't realize this was going to be merged into the compiler. That's good news! Here's hoping :slightly_smiling_face: It's been going on for like four years, but it...

diff of compound types

so your example doesn't register as a refined type because the code simply doesn't cover all cases, and a refined type as a type argument isn't one that's being accounted...

diff of compound types

most of the cases were added ad-hoc when they occurred to me or a reporter sufficiently frequently, cause I didn't start the project with a complete mapping of the type...

diff of compound types

that one was a bit easier.