Split off pattern synonym definition checking from pattern inversion

Authored by cactus on Apr 10 2014, 9:13 AM.

Description

Split off pattern synonym definition checking from pattern inversion

Details

Committed
cactusApr 10 2014, 9:13 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFb8132a9d2fdb: Fix egregious blunder in the type flattener
Branches
Unknown
Tags
Unknown