Correct nameType for constructors in patterns
Correct nameType for constructors in patterns

Ignore-this: 4a5ad8182107862a7bfab447948ab661

darcs-hash:20100416205827-228f4-27d2dab9a71b4863d67efa80f731aa9c2d9c8d6d.gz

avsm/Ivor,avsm/Ivor