Changes between Initial Version and Version 1 of Ticket #16140, comment 18


Ignore:
Timestamp:
Jan 17, 2019 6:28:05 PM (9 months ago)
Author:
RyanGlScott
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16140, comment 18

    initial v1  
    1 My apologies, I didn't realize that you were implying that we should no longer implement the suggestion in comment:3. But calling `check_pred_ty` (instead of `check_ty`) from `checkValidType` is the only reason that the original program in this ticket is accepted! If you don't do that, then we're right back where we started:
     1My apologies, I didn't realize that you were implying that we should no longer implement the suggestion in comment:3. But calling `check_pred_ty` (instead of `check_type`) from `checkValidType` is the only reason that the original program in this ticket is accepted! If you don't do that, then we're right back where we started:
    22
    33{{{