Changes between Initial Version and Version 1 of Ticket #10653, comment 39


Ignore:
Timestamp:
Nov 13, 2015 1:36:23 AM (17 months ago)
Author:
ezyang
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10653, comment 39

    initial v1  
    1 Hey guys, could we please get an update to `Note [Parents]` describing what it is meant when `Parent` is `PatternSynonym`?
     1Hey guys, could we please get an update to `Note [Parents]` describing what it is meant when `Parent` is `PatternSynonym`? Similarly, why do we need to track if an `Avail` is a pattern synonym? This is not obvious, and needs to be explained!