- Glasgow-haskell-users

Re: [ANNOUNCE] GHC 8.8.1 and cabal-install version
by George Colpitts 08 Oct '19

08 Oct '19

Thanks for everybody's responses. I figured out that the following cabal-install users should note that cabal-install-3.0 or later is required for use with GHC 8.8. means I should have cabal-install-3.0 before installing 8.8.1. Once I did that everything is fine. Maybe configure should give an error if the user does not have cabal-install-3.0? Thanks George On Fri, Sep 6, 2019 at 1:48 PM Shayne Fletcher <shayne.fletcher(a)daml.com> wrote: > I got there by doing, > ``` > cabal v2-install --installdir=~/.cabal/bin alex > cabal v2-install --installdir=~/.cabal/bin happy > ``` > and things seemed to be going smoothly enough after that. > > On Fri, Sep 6, 2019 at 12:08 PM Carter Schonwald < > carter.schonwald(a)gmail.com> wrote: > >> V1 or v2 install? >> >> On Mon, Sep 2, 2019 at 11:42 AM George Colpitts < >> george.colpitts(a)gmail.com> wrote: >> >>> https://www.haskell.org/ghc/blog/20190825-ghc-8.8.1-released.html says >>> >>> cabal-install users should note that cabal-install-3.0 or later is >>> required for use with GHC 8.8. >>> >>> but this seems wrong or have I done something wrong? >>> >>> $ cabal install cabal-install >>> cabal install cabal-install >>> ... >>> >>> Resolving dependencies... >>> cabal: Could not resolve dependencies: >>> [__0] trying: cabal-install-3.0.0.0 (user goal) >>> [__1] next goal: time (dependency of cabal-install) >>> [__1] rejecting: time-1.9.3/installed-1.9... (conflict: cabal-install => >>> base>=4.8 && <4.13, time => base==4.13.0.0/installed-4.1...) >>> [__1] trying: time-1.9.3 >>> [__2] next goal: stm (dependency of cabal-install) >>> [__2] rejecting: stm-2.5.0.0/installed-2.5... (conflict: cabal-install => >>> base>=4.8 && <4.13, stm => base==4.13.0.0/installed-4.1...) >>> [__2] trying: stm-2.5.0.0 >>> [__3] next goal: process (dependency of cabal-install) >>> [__3] rejecting: process-1.6.5.1/installed-1.6... (conflict: >>> cabal-install => >>> base>=4.8 && <4.13, process => base==4.13.0.0/installed-4.1...) >>> [__3] trying: process-1.6.5.1 >>> [__4] next goal: pretty (dependency of cabal-install) >>> [__4] rejecting: pretty-1.1.3.6/installed-1.1... (conflict: >>> cabal-install => >>> base>=4.8 && <4.13, pretty => base==4.13.0.0/installed-4.1...) >>> [__4] trying: pretty-1.1.3.6 >>> [__5] next goal: network (dependency of cabal-install) >>> [__5] rejecting: network-3.1.0.1/installed-CeX... (conflict: >>> cabal-install => >>> base>=4.8 && <4.13, network => base==4.13.0.0/installed-4.1...) >>> [__5] trying: network-3.1.0.1 >>> [__6] trying: hackage-security-0.5.3.0 (dependency of cabal-install) >>> [__7] next goal: template-haskell (dependency of hackage-security) >>> [__7] rejecting: template-haskell-2.15.0.0/installed-2.1... (conflict: >>> cabal-install => base>=4.8 && <4.13, template-haskell => >>> base==4.13.0.0/installed-4.1...) >>> [__7] rejecting: template-haskell-2.15.0.0, template-haskell-2.14.0.0, >>> template-haskell-2.13.0.0, template-haskell-2.12.0.0, >>> template-haskell-2.11.1.0, template-haskell-2.11.0.0, >>> template-haskell-2.10.0.0, template-haskell-2.9.0.0, >>> template-haskell-2.8.0.0, >>> template-haskell-2.7.0.0, template-haskell-2.6.0.0, >>> template-haskell-2.5.0.0, >>> template-haskell-2.4.0.1, template-haskell-2.4.0.0, >>> template-haskell-2.3.0.1, >>> template-haskell-2.3.0.0, template-haskell-2.2.0.0 (constraint from >>> non-upgradeable package requires installed instance) >>> [__7] fail (backjumping, conflict set: cabal-install, hackage-security, >>> template-haskell) >>> After searching the rest of the dependency tree exhaustively, these were >>> the >>> goals I've had most trouble fulfilling: base, cabal-install, directory, >>> template-haskell, process, time, network, pretty, hackage-security, >>> deepseq, >>> HTTP, stm, cabal-install:lib >>> >>> >>> On Mon, Aug 26, 2019 at 6:25 AM Ben Gamari <ben(a)well-typed.com> wrote: >>> >>>> >>>> Hello everyone, >>>> >>>> The GHC team is pleased to announce the release candidate for GHC 8.8.1. >>>> The source distribution, binary distributions, and documentation are >>>> available at >>>> >>>> https://downloads.haskell.org/ghc/8.8.1 >>>> >>>> This release is the culmination of over 3000 commits by over one hundred >>>> contributors and has several new features and numerous bug fixes >>>> relative to GHC 8.6: >>>> >>>> * Visible kind applications are now supported (GHC Proposal #15) >>>> >>>> * Profiling now works correctly on 64-bit Windows (although still may >>>> be problematic on 32-bit Windows due to platform limitations; see >>>> #15934) >>>> >>>> * A new code layout algorithm for amd64's native code generator >>>> significantly improving the runtime performance of some kernels >>>> >>>> * The introduction of a late lambda-lifting pass which may reduce >>>> allocations significantly for some programs. >>>> >>>> * Further work on Trees That Grow, enabling improved code re-use of the >>>> Haskell AST in tooling >>>> >>>> * Users can write `forall` in more contexts (GHC Proposal #7) >>>> >>>> * The pattern-match checker is now more precise in the presence of >>>> strict fields with uninhabited types. >>>> >>>> * A comprehensive audit of GHC's memory ordering barriers has been >>>> performed, resulting in a number of fixes that should significantly >>>> improve the reliability of programs on architectures with >>>> weakly-ordered memory models (e.g. PowerPC, many ARM and AArch64 >>>> implementations). >>>> >>>> * A long-standing linker limitation rendering GHCi unusable with >>>> projects with cyclic symbol dependencies has been fixed (#13786) >>>> >>>> * Further work on the Hadrian build system >>>> >>>> * Countless miscellaneous bug-fixes >>>> >>>> Unfortunately, due to a build issue (#17108) found late in the release >>>> process >>>> i386 Windows builds are currently unavailable. These will be provided in >>>> the coming weeks. >>>> >>>> As always, if anything looks amiss do let us know. >>>> >>>> Happy compiling! >>>> >>>> Cheers, >>>> >>>> - Ben >>>> >>>> >>>> [1] >>>> https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/8.8.1-notes.h… >>>> _______________________________________________ >>>> Glasgow-haskell-users mailing list >>>> Glasgow-haskell-users(a)haskell.org >>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users >>>> >>> _______________________________________________ >>> Glasgow-haskell-users mailing list >>> Glasgow-haskell-users(a)haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users >>> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs(a)haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > > > -- > *Shayne Fletcher* > Language Engineer */* +1 917 699 7663 > *Digital Asset* <https://digitalasset.com/>, creators of *DAML > <https://daml.com/>* > > This message, and any attachments, is for the intended recipient(s) only, > may contain information that is privileged, confidential and/or proprietary > and subject to important terms and conditions available at > http://www.digitalasset.com/emaildisclaimer.html. If you are not the > intended recipient, please delete this message.

1 1

x86_64 dynamic / PIC
by Donn Cave 03 Oct '19

03 Oct '19

I'm trying to get GHC 8.6.3 running on 64-bit Haiku, cross compiling from 32-bit Haiku. (UNIX-like OS, gcc 7.) The build died when it started trying link up 64 bit .dyn_o, with ld.bfd: utils/hsc2hs/dist-install/build/Main.dyn_o: relocation R_X86_64_PC32 can not be used when making a shared object; recompile with -fPIC But it appears to me that gcc is already configured to use -fPIC with cc1. (Both 32 bit and 64 bit cross-compiler.) And so is ghc-stage1. So I suspect the suggested remedy isn't going to get me very far. Anyone have an idea how to proceed? thanks! Donn

1 0

Linker trouble - position independent code(??)
by Volker Wysk 26 Sep '19

26 Sep '19

Hi! All of a sudden, I can't link my programs any longer. This affects all my programs, which I build with a shared Makefile. But I haven't changed the Makefile... I get messages like this (indentation by me): cc build/sicherung.o build/Hsskripte.o build/Sicherung.o build/SicherungAktionen.o build/Text.o build/Wahl.o build/Zeit.o build/hssk.o -o build/sicherung /usr/bin/ld: build/sicherung.o: relocation R_X86_64_32S against undefined symbol `stg_upd_frame_info' can not be used when making a PIE object; recompile with -fPIC /usr/bin/ld: build/Hsskripte.o: relocation R_X86_64_32S against `.text' can not be used when making a PIE object; recompile with -fPIC ... more like this ... /usr/lib/gcc/x86_64-linux-gnu/7/../../../x86_64-linux-gnu/Scrt1.o: In function `_start': (.text+0x20): undefined reference to `main' /usr/bin/ld: final link failed: Invalid operation collect2: error: ld returned 1 exit status I've attached the complete build messages. I've never dealt with position independent code. I've tried that "- fPIC" switch, but this produces lots of new error messages. Any idea of what's wrong? Bye, V.W.

2 2

Haskell platform on OSX?
by David Duke 15 Sep '19

15 Sep '19

I was trying to bring my ghc installation on OSX up to date (currently 8.6.3), I believe the latest is 8.8. So I visited haskell.org clicked 'Downloads' then 'Haskell Platform', which has been my preferred method of installing/updating. Then under 'How to get it' there is a list of platforms' so I hopefully select OSX' I then see: Lets get started "You appear to be using Mac OS X. See below <https://www.haskell.org/platform/mac.html#other-platforms> for other operating systems." Indeed there are like below to the others. But nothing happens there is no download starting, and no link to select for OSX. Is this a problem, error or undocumented feature. Could you please advise on how to get hold of the platform for OSX..? thanks David Duke

2 1

Re: [Haskell-cafe] [ANNOUNCE] GHC 8.8.1 and cabal-install version
by Donn Cave 10 Sep '19

10 Sep '19

> https://www.haskell.org/ghc/blog/20190825-ghc-8.8.1-released.html says > > cabal-install users should note that cabal-install-3.0 or later is > required for use with GHC 8.8. I'm not the most sophisticated user of cabal-install ever, but it appears to me that 8.8.1 can't build 3.0.0.0? depends on base >= 4.8 && < 4.13, where 8.8.1 installs base-4.13.0.0. I'm working with cabal-install-3.0.0.0.tar.gz . It looks like it might be possible to up some of the dependencies, like HTTP to 4000.3.14, but I suppose there's a reason why cabal-install itself isn't there yet. Donn

2 2

[ANNOUNCE] GHC 8.8.1 is now available
by Ben Gamari 06 Sep '19

06 Sep '19

Hello everyone, The GHC team is pleased to announce the release candidate for GHC 8.8.1. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/ghc/8.8.1 This release is the culmination of over 3000 commits by over one hundred contributors and has several new features and numerous bug fixes relative to GHC 8.6: * Visible kind applications are now supported (GHC Proposal #15) * Profiling now works correctly on 64-bit Windows (although still may be problematic on 32-bit Windows due to platform limitations; see #15934) * A new code layout algorithm for amd64's native code generator significantly improving the runtime performance of some kernels * The introduction of a late lambda-lifting pass which may reduce allocations significantly for some programs. * Further work on Trees That Grow, enabling improved code re-use of the Haskell AST in tooling * Users can write `forall` in more contexts (GHC Proposal #7) * The pattern-match checker is now more precise in the presence of strict fields with uninhabited types. * A comprehensive audit of GHC's memory ordering barriers has been performed, resulting in a number of fixes that should significantly improve the reliability of programs on architectures with weakly-ordered memory models (e.g. PowerPC, many ARM and AArch64 implementations). * A long-standing linker limitation rendering GHCi unusable with projects with cyclic symbol dependencies has been fixed (#13786) * Further work on the Hadrian build system * Countless miscellaneous bug-fixes Unfortunately, due to a build issue (#17108) found late in the release process i386 Windows builds are currently unavailable. These will be provided in the coming weeks. As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/8.8.1-notes.h…

3 2

exhausted simplifier ticks and hs-boot files
by Ganesh Sittampalam 30 Aug '19

30 Aug '19

Hi, The code below (also attached - unzip and run go.sh) triggers the GHC panic "Simplifier ticks exhausted", and I'm unsure whether I should view it as an instance of the known infelicity in the inliner (https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/bugs.html#b…) My code does have a recursive datatype, but the recursion isn't contravariant, which is the case described in "Secrets of the GHC inliner" (https://www.microsoft.com/en-us/research/wp-content/uploads/2002/07/inline.…, section 4). It's cut down from some real code where I have a mutually recursive datatype that I want to define across two modules for code structuring reasons, meaning I need a .hs-boot file. I haven't been able to reproduce it without the .hs-boot file - if I put everything in one module it stops happening. I've tried with a range of GHC versions from 8.2.x to an early version of 8.8. It happens with -O1 and not -O0, but I haven't managed to find a specific optimisation that triggers it. Is this just an instance of the known problem in a different guise, or is it something different and worth a bug report? Cheers, Ganesh T2.hs-boot ----------- module T2 where data T2 mapP_T2 :: (Int -> Int) -> T2 -> T2 T1.hs ----- module T1 where import {-# SOURCE #-} T2 data T1 = T1 T2 mapP_T1 :: (Int -> Int) -> T1 -> T1 mapP_T1 _ (T1 xs) = T1 (mapP_T2 id xs) T2.hs ----- module T2 where import T1 data T2 = T2 T1 mapP_T2 :: (Int -> Int) -> T2 -> T2 mapP_T2 f (T2 t) = T2 (mapP_T1 f t) go :: T1 -> T1 go = mapP_T1 id GHC output ---------- $ ghc --make T2.hs -O1 -fsimpl-tick-factor=1000 -ddump-simpl-stats) [...] ghc.exe: panic! (the 'impossible' happened) (GHC version 8.2.2 for x86_64-unknown-mingw32): Simplifier ticks exhausted When trying UnfoldingDone mapP_T2 To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed Total ticks: 61203 24481 PreInlineUnconditionally 6121 ds_i17h 6120 f_a16p 6120 ds_d17d 6120 ds1_i17i 12241 UnfoldingDone 6121 mapP_T1 6120 mapP_T2 24481 BetaReduction 6121 ds_i17h 6120 f_a16p 6120 ds_d17d 6120 ds1_i17i

2 1

`StablePtr` in `ST`
by Matthew Farkas-Dyck 21 Aug '19

21 Aug '19

I have been doing some work where i want `StablePtr`, but also to not be confined to `IO`. I saw the following comment in "compiler/prelude/PrimOp.hs": Question: Why @RealWorld@ - won't any instance of @_ST@ do the job? [ADR] It has been there for 20 years. What is the answer? If it is safe i'll send the patch generalizing these operations.

3 3

[ANNOUNCE] GHC 8.8.1 release candidate 1 is now available
by Ben Gamari 22 Jul '19

22 Jul '19

Hello everyone, The GHC team is pleased to announce the release candidate for GHC 8.8.1. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/ghc/8.8.1-rc1 This release is the culmination of over 3000 commits by over one hundred contributors and has several new features and numerous bug fixes relative to GHC 8.6: * Profiling now works correctly on 64-bit Windows (although still may be problematic on 32-bit Windows due to platform limitations; see #15934) * A new code layout algorithm for amd64's native code generator * The introduction of a late lambda-lifting pass which may reduce allocations significantly for some programs. * Further work on Trees That Grow, enabling improved code re-use of the Haskell AST in tooling * More locations where users can write `forall` (GHC Proposal #0007) * A comprehensive audit of GHC's memory ordering barriers has been performed, resulting in a number of fixes that should significantly improve the reliability of programs on architectures with weakly-ordered memory models (e.g. PowerPC, many ARM and AArch64 implementations). * A long-standing linker limitation rendering GHCi unusable with projects with cyclic symbol dependencies has been fixed (#13786) * Further work on the Hadrian build system * Numerous bug-fixes As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.1-rc1/docs/html/users_guide/8.8.1-not…

1 0

The future of the SPARC NCG backend
by Ben Gamari 27 Jun '19

27 Jun '19

Hello everyone, If you use (or think you might use in the future) GHC's SPARC NCG backend please do leave a note on #16882 [1]. My impression is that it has no users and no plausible means of testing. Consequently I am suggesting that we remove it in GHC 8.12. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/16882

1 0