From takenobu.hs at gmail.com Sun Nov 1 01:34:50 2020 From: takenobu.hs at gmail.com (Takenobu Tani) Date: Sun, 1 Nov 2020 10:34:50 +0900 Subject: Language extension histories In-Reply-To: References: Message-ID: Hi, Maybe the next page is what you want? : https://gitlab.haskell.org/ghc/ghc/-/wikis/language-pragma-history PatternSynonyms was implemented in GHC 7.8, and TypeFamilyDependencies was implemented in GHC 8.0. Regards, Takenobu On Sun, Nov 1, 2020 at 2:08 AM David Feuer wrote: > > I'm working on some code I want to be compatible with multiple GHC versions and I'm trying to figure out which language extensions I can reasonably use. I definitely need usable fancy pattern synonyms (not the bare-bones ones in 7.8). So that should set a lower bound, but I don't remember where. 7.10? 8.0? I'd also *like* to use an injective type family, but I can work around that pretty easily with a data family if necessary. When did PatternSynonyms and TypeFamilyDependencies each become reasonably usable? > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users From david.feuer at gmail.com Sun Nov 1 01:56:16 2020 From: david.feuer at gmail.com (David Feuer) Date: Sat, 31 Oct 2020 21:56:16 -0400 Subject: Language extension histories In-Reply-To: References: Message-ID: That's not all that helpful, because both extensions evolved quite a bit since their initial introduction. On Sat, Oct 31, 2020, 9:35 PM Takenobu Tani wrote: > Hi, > > Maybe the next page is what you want? : > https://gitlab.haskell.org/ghc/ghc/-/wikis/language-pragma-history > > PatternSynonyms was implemented in GHC 7.8, and TypeFamilyDependencies > was implemented in GHC 8.0. > > Regards, > Takenobu > > On Sun, Nov 1, 2020 at 2:08 AM David Feuer wrote: > > > > I'm working on some code I want to be compatible with multiple GHC > versions and I'm trying to figure out which language extensions I can > reasonably use. I definitely need usable fancy pattern synonyms (not the > bare-bones ones in 7.8). So that should set a lower bound, but I don't > remember where. 7.10? 8.0? I'd also *like* to use an injective type family, > but I can work around that pretty easily with a data family if necessary. > When did PatternSynonyms and TypeFamilyDependencies each become reasonably > usable? > > _______________________________________________ > > Glasgow-haskell-users mailing list > > Glasgow-haskell-users at haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From takenobu.hs at gmail.com Sun Nov 1 02:22:11 2020 From: takenobu.hs at gmail.com (Takenobu Tani) Date: Sun, 1 Nov 2020 11:22:11 +0900 Subject: Language extension histories In-Reply-To: References: Message-ID: > That's not all that helpful, because both extensions evolved quite a bit since their initial introduction. Oh, I see. From gergo at erdi.hu Sun Nov 1 02:55:43 2020 From: gergo at erdi.hu (=?ISO-8859-2?Q?=C9RDI_Gerg=F5?=) Date: Sun, 1 Nov 2020 10:55:43 +0800 (+08) Subject: Language extension histories In-Reply-To: References: Message-ID: On Sat, 31 Oct 2020, David Feuer wrote: > I'm working on some code I want to be compatible with multiple GHC versions and I'm > trying to figure out which language extensions I can reasonably use. I definitely need > usable fancy pattern synonyms (not the bare-bones ones in 7.8). So that should set a > lower bound, but I don't remember where. 7.10? 8.0? Looking at Git, if you need record syntax support in pattern synonyms, you will need to go with 8.0. From borodina.innversiy at gmail.com Sun Nov 1 15:52:19 2020 From: borodina.innversiy at gmail.com (=?UTF-8?B?0JjQvdC90LAg0JHQvtGA0L7QtNC40L3QsA==?=) Date: Sun, 1 Nov 2020 18:52:19 +0300 Subject: =?UTF-8?B?0J7QsdGD0YfQtdC90LjQtSDRj9C30YvQutGDLCDRgNCw0LHQvtGC0LAg0YEg0LrQvtC8?= =?UTF-8?B?0L/QuNC70Y/RgtC+0YDQvtC8IGNoZw==?= Message-ID: Здравствуйте! Я совершенный и полный новичек в любом программировании. Я не могу понять из официальных руководств как установить cabal и зачем нужна эта программа. Я не понимаю как установить на мой ноутбук дистрибутивы. Я сохранила двоичный вариант. Виндос 10. Не понятно как с клавиатуры установить обратные кавычки. В во вставках ограниченной свободной лицензии Офиса их нет. В эмодзи-вставка слишком много типов обратных кавычек. Мне остается только перебор вариантов? Русская буква "ё" на моей клавиатуре дает знак тождества. Возможно, я все время ощибаюсь с раскладкой клавиатуры. Может цифровой код подскажите? Инна Бородина -------------- next part -------------- An HTML attachment was scrubbed... URL: From george.colpitts at gmail.com Tue Nov 24 00:12:51 2020 From: george.colpitts at gmail.com (George Colpitts) Date: Mon, 23 Nov 2020 20:12:51 -0400 Subject: [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released In-Reply-To: <873631g1e2.fsf@smart-cactus.org> References: <873631g1e2.fsf@smart-cactus.org> Message-ID: Hi Ben, What are the current plans / schedule for 9.0.1? Thanks George On Mon, Sep 28, 2020 at 4:14 PM Ben Gamari wrote: > Hello all, > > The GHC team is very pleased to announce the availability of the first > alpha release in the GHC 9.0 series. Source and binary distributions are > available at the usual place: > > https://downloads.haskell.org/ghc/9.0.1-alpha1/ > > This first alpha comes quite a bit later than expected. However, we have > done a significant amount of testing on this pre-release and therefore > hope to be able to move forward quickly with a release candidate next > week and with a final release in mid-October. > > GHC 9.0.1 will bring a number of new features: > > * A first cut of the new LinearTypes language extension [1], allowing > use of linear function syntax and linear record fields. > > * A new bignum library (ghc-bignum), allowing GHC to be more easily > used with integer libraries other than GMP. > > * Improvements in code generation, resulting in considerable > performance improvements in some programs. > > * Improvements in pattern-match checking, allowing more precise > detection of redundant cases and reduced compilation time. > > * Implementation of the "simplified subsumption" proposal [2] > simplifying the type system and paving the way for QuickLook > impredicativity in GHC 9.2. > > * Implementation of the QualifiedDo extension [3], allowing more > convenient overloading of `do` syntax. > > * Improvements in compilation time. > > And many more. See the release notes [4] for a full accounting of the > changes in this release. > > Do note that there are a few things that we expect will change before > the final release: > > * We expect to sort out a notarization workflow for Apple Darwin, > allowing our binary distributions to be used on macOS Catalina > without hassle. > > Until this has been sorted out Catalina users can exempt the > current macOS binary distribution from the notarization requirement > themselves by running `xattr -cr .` on the unpacked tree before > running `make install`. > > * We will likely transition the Alpine binary distribution to be fully > statically-linked, providing a convenient, distribution-independent > packaging option for Linux users. > > * We will be merging a robust solution for #17760 which will introduce > a new primitive, `keepAlive#`, to the `base` library, subsuming > most uses of `touch#`. > > As always, do test this release and open tickets for whatever issues you > encounter. To help with this, we will be publishing a blog post > describing use of our new `head.hackage` infrastructure to ease testing > of larger projects with Hackage dependencies later this week. > > Cheers, > > - Ben > > > [1] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst > [2] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst > [3] > https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0216-qualified-do.rst > [4] > https://downloads.haskell.org/ghc/9.0.1-alpha1/docs/html/users_guide/9.0.1-notes.html > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at well-typed.com Tue Nov 24 00:22:16 2020 From: ben at well-typed.com (Ben Gamari) Date: Mon, 23 Nov 2020 19:22:16 -0500 Subject: [ANNOUNCE] Glasgow Haskell Compiler 9.0.1-alpha1 released In-Reply-To: References: <873631g1e2.fsf@smart-cactus.org> Message-ID: <87v9dv38p6.fsf@smart-cactus.org> George Colpitts writes: > Hi Ben, > > What are the current plans / schedule for 9.0.1? > Hi George, At the moment things are blocked on a solution to #17760, which I am currently in the process of working through. There have been several false-starts on this ticket and while the solution we are ending up with is indeed a compromise (in both performance impact and convenience), I am fairly convinced it is the best we can do. I am waiting for a version of the patch to validate as we speak. As soon as it (and a few other relevant patches) have been backported I will move ahead with cutting the release candidate. I hope this can happen by the end of the week. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: