But GHCi does support data type declarations ghci> data T = A | B so presumably it ought also to support pattern synonym declarations. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Dr. | ERDI Gergo | Sent: 18 December 2014 10:52 | To: Carter Schonwald | Cc: ghc-devs@haskell.org | Subject: Re: are patterns synonyms definable in GHCI? | | On Thu, 18 Dec 2014, Carter Schonwald wrote: | | > Hey all,I was trying to define some pattern synonyms in ghci | recently, | > and that doesnt seem to work. Is that something slated to be fix in | 7.10 or something? | | I thought GHCi accepts things that would be valid in a 'do' section? | So e.g. | | x = () | | doesn't work in GHCi, but | | let x = () | | does. | | Pattern synonyms don't work for the exact same reason: they are not | valid inside a 'do' block. | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs