Changes between Version 1 and Version 2 of ExportLists


Ignore:
Timestamp:
Aug 7, 2016 3:42:18 PM (3 years ago)
Author:
mpickering
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExportLists

    v1 v2  
    36363. A type constructor `S` can be exported with `T` just when `S` is an associated type defined in the type class `T`.
    37374. A pattern synonym `P` can be exported with `T` in the case that either
    38 a. The head of the type of the scrutinee is a definite type constructor (not a type variable) `S` and `T = S`.
    39 b. The head of the type of the scrutinee is a type variable
     38    a. The head of the type of the scrutinee is a definite type constructor (not a type variable) `S` and `T = S`.
     39    b. The head of the type of the scrutinee is a type variable
    40405. A pattern synonym selector `p` belonging to a pattern synonym `P` can be exported with `T` in the case that `P` can be exported with `T`.
    41416. A wildcard can always appear in the export list.