Pattern synonyms do work in GHCi now (see #9900)
authorDr. ERDI Gergo <gergo@erdi.hu>
Fri, 9 Jan 2015 11:30:04 +0000 (19:30 +0800)
committerDr. ERDI Gergo <gergo@erdi.hu>
Fri, 9 Jan 2015 11:30:04 +0000 (19:30 +0800)
commit6f818e083c8390b0c039bcebb6ec21b336d4173b
tree43fc2dd2213f5cd2021246b825216f8162623ce5
parent68a5a784e71b7535aa7d739bf1b003e96267a021
Pattern synonyms do work in GHCi now (see #9900)
docs/users_guide/glasgow_exts.xml