: Typed hole improvements
I've been playing around with 8.6.3, and I've really been appreciating the
improvements in typed hole messages. Both the information about constraints and
the suggestions for filling the holes have proven valuable in heavily typish
programming. Thanks! One th
I've been playing around with 8.6.3, and I've really been appreciating the
improvements in typed hole messages. Both the information about constraints
and the suggestions for filling the holes have proven valuable in heavily
typish programming. Thanks! One thing that's still not where I'd like it t