I think that's fine. But yes, the REPL does support top-level declarations. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@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@erdi.hu =-------' | I had my car's alignment checked. It's chaotic evil! | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs