SI-7330 better error when pattern's not a value #2358

Merged
merged 1 commit into from Apr 21, 2013
Commits on Apr 9, 2013
  1. SI-7330 better error when pattern isn't a value

    adriaanm committed Apr 4, 2013
    Somehow an applied type managed to sneak past the type checker in pattern mode.
    Patterns must be values, though.
    
    `case C[_] =>` was probably meant to be `case _: C[_] =>`
    Advice is dispensed accordingly. (Generalizing the existing advice machinery.)