Pattern synonyms for 7.8?

Simon Peyton Jones simonpj at microsoft.com
Wed Jan 15 11:31:13 UTC 2014


I think that's fine.  But yes, the REPL does support top-level declarations.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Dr.
| ERDI Gergo
| Sent: 15 January 2014 11:27
| To: Austin Seipp
| Cc: Joachim Breitner; GHC Devs
| Subject: Re: Pattern synonyms for 7.8?
| 
| On Thu, 9 Jan 2014, Austin Seipp wrote:
| 
| > 3) It seems GHCi does not support declaring pattern synonyms at the
| > REPL. I'm not sure if it's intentional, but if it goes in like this,
| > please be sure to document it in the release notes. We can file a
| > ticket later for supporting pattern synonyms at the REPL.
| 
| In GHCi, it seems to fail in the parser. So I thought, well that makes
| sense, isn't the REPL in GHCi supposed to be something like the inside
| of a 'do' block? But I tried creating a datatype in GHCi and that
| worked.. so my point is, I am now aware that I am confused about GHCi's
| behaviour.
| Given the time constraints, for the initial release I unfortunately have
| to decide *not* to support the GHCi REPL. I'll put that in the docs when
| I write them.
| 
| --
| 
|    .--= ULLA! =-----------------.
|     \     http://gergo.erdi.hu   \
|      `---= gergo at erdi.hu =-------'
| I had my car's alignment checked.  It's chaotic evil!
| _______________________________________________
| 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