are patterns synonyms definable in GHCI?

Simon Peyton Jones simonpj at microsoft.com
Thu Dec 18 11:13:00 UTC 2014


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 at haskell.org] On Behalf Of Dr.
|  ERDI Gergo
|  Sent: 18 December 2014 10:52
|  To: Carter Schonwald
|  Cc: ghc-devs at 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 at haskell.org
|  http://www.haskell.org/mailman/listinfo/ghc-devs


More information about the ghc-devs mailing list