• eir@cis.upenn.edu's avatar
    Perform a validity check on assoc type defaults. · e27b267f
    eir@cis.upenn.edu authored
    This fixes #10817 and #10899. A knock-on effect is that we must
    now remember locations of associated type defaults for error
    messages during validity checking. This isn't too bad, but it
    increases the size of the diff somewhat.
    Test cases: indexed-types/should_fail/T108{17,99}
TcIface.hs 62.3 KB