users_guide: note -XPatternSynonyms is required for use sites

Authored by austin on Apr 7 2014, 10:15 AM.

Description

users_guide: note -XPatternSynonyms is required for use sites

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinApr 7 2014, 11:07 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF54e655536ecf: Derive Typable for promoted data constructors (Trac #8950)
Branches
Unknown
Tags
Unknown