... | ... | @@ -24,7 +24,7 @@ it to reject as-patterns and optionally compute the reverse of the |
|
|
pattern synonym (for implicitly bidirectional ones). Afterwards, we
|
|
|
collect universal & existential type variables and typeclass dictionary
|
|
|
variables to be used when creating `ConPatOut` patterns from pattern
|
|
|
synonym occurances, and generate some `HsBind`s:
|
|
|
synonym occurences, and generate some `HsBind`s:
|
|
|
|
|
|
- The `PatSyn` stores typing information for the pattern synonym, to
|
|
|
be consulted when typechecking pattern synonym usage sites.
|
... | ... | |