Re: User constructed types with new Data.Typeable and Data.Reflection
Development writes: > Ah thanks. I had no idea the `App` pattern actually was bidirectional. I had > tried the `Con’` pattern but that is only valid for deconstruction. > Is there any way to tell in the docs whether a pattern is bidirectional? > Hmmm, that is a good question. Indeed this appears to be quite unclear. Alex, is this a known issue? Cheers, - Ben signature.asc Description: PGP signature ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: testsuite failures in DEBUG
Hi, Am Freitag, den 26.01.2018, 23:23 -0500 schrieb Joachim Breitner: > Am Freitag, den 26.01.2018, 22:53 -0500 schrieb Richard Eisenberg: > > So: would it be possible to have our CI infrastructure validate DEBUG mode > > as well? Then it would be easy to spot where these failures are from. > > unhelpful comment: Travis used to validate with DEBUG, but it no longer > runs the test suite for build time reason. So plausibly we could add a > -DEBUG variant to CircleCI? I now also stumble about the inability to properly test a build built with -DDEBUG. So let me rephrase: Could we please add a -DDEBUG variant to CircleCI? (And then fix the failing tests, or at least mark them as known-to-be- failing on a debugged GHC) Cheers, Joachim -- Joachim Breitner m...@joachim-breitner.de http://www.joachim-breitner.de/ signature.asc Description: This is a digitally signed message part ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: [Haskell-cafe] GHC 8.2.2 for WSL Ubuntu 16.04
Hello *, Even though WSL may eventually address this issue for good, I've setup a new WSL-optimised flavour of my PPA for Ubuntu 16.04 LTS https://launchpad.net/~hvr/+archive/ubuntu/ghc over at https://launchpad.net/~hvr/+archive/ubuntu/ghc-wsl I don't have experience myself with Ubuntu on WSL, but it should be simply a matter of using sudo add-apt-repository ppa:hvr/ghc-wsl sudo apt-get update and then sudo apt-get install ghc-8.2.2-prof cabal-install-head Then simply add `/opt/ghc/bin` to your `$PATH` (see instructions at https://launchpad.net/~hvr/+archive/ubuntu/ghc ) There are also builds of GHC 8.0.2 and GHC 8.4.1-alpha (may still be building as of writing) in this new ghc-for-wsl PPA. I'd appreciate if somebody could test whether these GHC binaries work as intended on the non-insider Windows 10 builds and let me know. Cheers, Herbert On Tue, Feb 13, 2018 at 12:21 PM, Yitzchak Gale wrote: > I wrote: >>> I have made available a build of GHC 8.2.2 with the config option: >>> --disable-large-address-space >>> [2] https://github.com/Microsoft/WSL/issues/1671 > > Shao Cheng wrote: >> Thank you! A simpler fix for WSL ghc users is upgrading to fast ring of >> insider builds, the mmap overhead is much lower and ghc startup lag is >> barely noticable. > > Thanks, that's good news. I can't use an insider build - I need to be on > standard Windows in order to support our customers. The latest reports > in the GitHub issue seemed to indicate that the slowness is still quite > significant even on insider builds. I'm glad to hear you say that this is no > longer true. I am looking forward to regular GHC binary tarballs working > normally on regular WSL sometime in the near future. > > Yitz > ___ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: User constructed types with new Data.Typeable and Data.Reflection
Ah thanks. I had no idea the `App` pattern actually was bidirectional. I had tried the `Con’` pattern but that is only valid for deconstruction. Is there any way to tell in the docs whether a pattern is bidirectional? > On 12 Feb 2018, at 18:30, Ben Gamari wrote: > > Development writes: > >> Hey guys I have a (hopefully quick) question. >> >> With the new `Data.Typeable` and `Data.Reflection` in base 4.10 have we >> really lost the ability for users to compose `TypeRep`’s? >> >> I was using `Data.Typeable` before (mainly `mkTyConApp`). But in the >> new base 4.10 I cannot find any way to achieve the same goal. >> >> I have read the wiki page Typeable and Typeable/BenGamari and neither >> explicitly mentions the removal of `mkTyConApp` and similar >> facilities. In fact the latter mentions potential implementations for >> user constructed type applications twice with `mkTrApp` at the >> beginning of the page and `mkApp` at the end. >> Furthermore the documentation for `Typeable` (and `Reflection`) also >> never mentions the fact that this functionality was removed. >> > > Indeed, as is noted in the changelog for base [1], mkTyConApp and > friends were removed. mkTyConApp in particular allowed the construction > of ill-kinded type representations so instead of emulating the previous > behavior we rather opted to remove it. > > If you were previously using these interfaces you almost certainly want > to instead use the new type-indexed interface provided by > Type.Reflection. In particular, you can use the App constructor in > place of mkTyConApp. > > Cheers, > > - Ben > > > [1] https://hackage.haskell.org/package/base-4.10.1.0/changelog ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs