November 2016 - ghc-tickets

[GHC] #12824: crashed when install debian on ubuntu 16.06 in Hyper-V VM
by GHC 11 Nov '16

11 Nov '16

#12824: crashed when install debian on ubuntu 16.06 in Hyper-V VM -------------------------------------+------------------------------------- Reporter: Qinka95 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When installing the package (debian-3.91.1), ghc(8.0.1) crashed. And output these: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): find_tycon Loc [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} And the full output when installing debian are here: {{{ $ cabal install debian Resolving dependencies... cabal: Entering directory '/tmp/cabal-tmp-31302/debian-3.91.1' Configuring debian-3.91.1... Building debian-3.91.1... Preprocessing library debian-3.91.1... [ 1 of 37] Compiling Debian.UTF8 ( Debian/UTF8.hs, dist/build/Debian/UTF8.o ) [ 2 of 37] Compiling Debian.Version.Internal ( Debian/Version/Internal.hs, dist/build/Debian/Version/Internal.o ) [ 3 of 37] Compiling Debian.Extra.Files ( Debian/Extra/Files.hs, dist/build/Debian/Extra/Files.o ) [ 4 of 37] Compiling Debian.Loc ( Debian/Loc.hs, dist/build/Debian/Loc.o ) [ 5 of 37] Compiling Debian.Pretty ( Debian/Pretty.hs, dist/build/Debian/Pretty.o ) [ 6 of 37] Compiling Debian.Version.Common ( Debian/Version/Common.hs, dist/build/Debian/Version/Common.o ) [ 7 of 37] Compiling Debian.Version.String ( Debian/Version/String.hs, dist/build/Debian/Version/String.o ) [ 8 of 37] Compiling Debian.Version.Text ( Debian/Version/Text.hs, dist/build/Debian/Version/Text.o ) [ 9 of 37] Compiling Debian.Arch ( Debian/Arch.hs, dist/build/Debian/Arch.o ) [10 of 37] Compiling Debian.Time ( Debian/Time.hs, dist/build/Debian/Time.o ) Debian/Time.hs:23:19: warning: [-Wdeprecations] In the use of ‘parseTime’ (imported from Data.Time, but defined in time-1.6.0.1:Data.Time.Format.Parse): Deprecated: "use "parseTimeM True" instead" [11 of 37] Compiling Debian.URI ( Debian/URI.hs, dist/build/Debian/URI.o ) [12 of 37] Compiling Debian.Release ( Debian/Release.hs, dist/build/Debian/Release.o ) [13 of 37] Compiling Debian.Sources ( Debian/Sources.hs, dist/build/Debian/Sources.o ) [14 of 37] Compiling Debian.Control.Common ( Debian/Control/Common.hs, dist/build/Debian/Control/Common.o ) Debian/Control/Common.hs:75:1: warning: [-Wredundant-constraints] • Redundant constraint: ControlFunctions a • In the type signature for: protectFieldText' :: (StringLike a, ListLike a Char, ControlFunctions a) => a -> a Debian/Control/Common.hs:158:1: warning: [-Wredundant-constraints] • Redundant constraint: Eq a • In the type signature for: raiseFields :: Eq a => (a -> Bool) -> Paragraph' a -> Paragraph' a [15 of 37] Compiling Debian.Control.String ( Debian/Control/String.hs, dist/build/Debian/Control/String.o ) [16 of 37] Compiling Debian.Deb ( Debian/Deb.hs, dist/build/Debian/Deb.o ) [17 of 37] Compiling Debian.Apt.Methods ( Debian/Apt/Methods.hs, dist/build/Debian/Apt/Methods.o ) Debian/Apt/Methods.hs:28:1: warning: [-Wdeprecations] Module ‘Control.Monad.Error’ is deprecated: Use Control.Monad.Except instead [18 of 37] Compiling Debian.Version.ByteString ( Debian/Version/ByteString.hs, dist/build/Debian/Version/ByteString.o ) [19 of 37] Compiling Debian.Version ( Debian/Version.hs, dist/build/Debian/Version.o ) [20 of 37] Compiling Debian.Changes ( Debian/Changes.hs, dist/build/Debian/Changes.o ) [21 of 37] Compiling Debian.Relation.Common ( Debian/Relation/Common.hs, dist/build/Debian/Relation/Common.o ) [22 of 37] Compiling Debian.Relation.String ( Debian/Relation/String.hs, dist/build/Debian/Relation/String.o ) [23 of 37] Compiling Debian.Relation.Text ( Debian/Relation/Text.hs, dist/build/Debian/Relation/Text.o ) [24 of 37] Compiling Debian.Relation.ByteString ( Debian/Relation/ByteString.hs, dist/build/Debian/Relation/ByteString.o ) [25 of 37] Compiling Debian.Relation ( Debian/Relation.hs, dist/build/Debian/Relation.o ) [26 of 37] Compiling Debian.Control.ByteString ( Debian/Control/ByteString.hs, dist/build/Debian/Control/ByteString.o ) Debian/Control/ByteString.hs:132:1: warning: [-Wredundant-constraints] • Redundant constraint: ControlFunctions a • In the type signature for: protectFieldText' :: (LL.StringLike a, LL.ListLike a Word8, ControlFunctions a) => a -> a Debian/Control/ByteString.hs:138:7: warning: [-Wredundant-constraints] • Redundant constraint: LL.StringLike a • In the type signature for: dropWhileEnd :: (LL.StringLike a1, LL.ListLike a1 Word8) => (Word8 -> Bool) -> a1 -> a1 In an equation for ‘protectFieldText'’: protectFieldText' s = case LL.lines s of { [] -> LL.empty (l : ls) -> dropWhileEnd (isSpace . chr . fromIntegral) $ LL.unlines $ l : map protect ls } where dropWhileEnd :: (LL.StringLike a, LL.ListLike a Word8) => (Word8 -> Bool) -> a -> a dropWhileEnd func = LL.reverse . LL.dropWhile func . LL.reverse protect :: (LL.StringLike a, LL.ListLike a Word8) => a -> a protect l = maybe LL.empty (\ c -> if isHorizSpace c then l else LL.cons (ord' ' ' :: Word8) l) (LL.find (const True :: Word8 -> Bool) l) .... Debian/Control/ByteString.hs:140:7: warning: [-Wredundant-constraints] • Redundant constraint: LL.StringLike a • In the type signature for: protect :: (LL.StringLike a1, LL.ListLike a1 Word8) => a1 -> a1 In an equation for ‘protectFieldText'’: protectFieldText' s = case LL.lines s of { [] -> LL.empty (l : ls) -> dropWhileEnd (isSpace . chr . fromIntegral) $ LL.unlines $ l : map protect ls } where dropWhileEnd :: (LL.StringLike a, LL.ListLike a Word8) => (Word8 -> Bool) -> a -> a dropWhileEnd func = LL.reverse . LL.dropWhile func . LL.reverse protect :: (LL.StringLike a, LL.ListLike a Word8) => a -> a protect l = maybe LL.empty (\ c -> if isHorizSpace c then l else LL.cons (ord' ' ' :: Word8) l) (LL.find (const True :: Word8 -> Bool) l) .... [27 of 37] Compiling Debian.Control.Text ( Debian/Control/Text.hs, dist/build/Debian/Control/Text.o ) Debian/Control/Text.hs:32:1: warning: [-Wunused-imports] The qualified import of ‘T.reverse’ from module ‘Data.Text’ is redundant [28 of 37] Compiling Debian.Control.Policy ( Debian/Control/Policy.hs, dist/build/Debian/Control/Policy.o ) Debian/Control/Policy.hs:87:5: warning: [-Wunused-top-binds] Defined but not used: ‘control’ [29 of 37] Compiling Debian.Control.Builder ( Debian/Control/Builder.hs, dist/build/Debian/Control/Builder.o ) Debian/Control/Builder.hs:34:1: warning: [-Wunused-imports] The qualified import of ‘Data.Text’ is redundant except perhaps to import instances from ‘Data.Text’ To import instances alone, use: import Data.Text() Debian/Control/Builder.hs:36:1: warning: [-Wunused-imports] The import of ‘fromLazyText’ from module ‘Data.Text.Lazy.Builder’ is redundant Debian/Control/Builder.hs:104:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: dropAround :: forall c item. LL.ListLike c item => (item -> Bool) -> c -> c [30 of 37] Compiling Debian.Control.TextLazy ( Debian/Control/TextLazy.hs, dist/build/Debian/Control/TextLazy.o ) Debian/Control/TextLazy.hs:32:1: warning: [-Wunused-imports] The qualified import of ‘T.reverse’ from module ‘Data.Text.Lazy’ is redundant [31 of 37] Compiling Debian.Control ( Debian/Control.hs, dist/build/Debian/Control.o ) Debian/Control.hs:56:1: warning: [-Wunused-imports] The qualified import of ‘Debian.Control.TextLazy’ is redundant except perhaps to import instances from ‘Debian.Control.TextLazy’ To import instances alone, use: import Debian.Control.TextLazy() [32 of 37] Compiling Debian.Apt.Index ( Debian/Apt/Index.hs, dist/build/Debian/Apt/Index.o ) [33 of 37] Compiling Debian.Report ( Debian/Report.hs, dist/build/Debian/Report.o ) [34 of 37] Compiling Debian.GenBuildDeps ( Debian/GenBuildDeps.hs, dist/build/Debian/GenBuildDeps.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): find_tycon Loc [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug cabal: Leaving directory '/tmp/cabal-tmp-31302/debian-3.91.1' Failed to install debian-3.91.1 cabal: Error: some packages failed to install: debian-3.91.1 failed during the building phase. The exception was: ExitFailure 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12824> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #6077: Respect XDG_CONFIG_HOME
by GHC 11 Nov '16

11 Nov '16

#6077: Respect XDG_CONFIG_HOME -------------------------------------+------------------------------------- Reporter: So8res | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: None | Version: 7.4.1 Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 5966 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by gueux): * cc: gueux (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6077#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12823: Inconsistency in acceptance of equality constraints in different forms
by GHC 11 Nov '16

11 Nov '16

#12823: Inconsistency in acceptance of equality constraints in different forms -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: GADTs | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC accepts Unknown/Multiple | invalid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Currently, we (correctly) require a language extension to accept a declaration like foo :: a ~ b => f a -> f b foo x = x Suppose I write {{{#!hs {-# LANGUAGE GADTs, UndecidableInstances, ConstraintKinds #-} module A where class a ~ b => Equal a b instance a ~ b => Equal a b type EqualS a b = a ~ b }}} and then {{{#!hs -- No extensions module B where -- This works useEqual :: Equal a b => f a -> f b useEqual x = x -- But this does not useEqualF :: EqualF a b => f a -> f b useEqualF x = x }}} It seems that GHC expands type synonyms, but does not reduce constraints, before deciding whether enough extensions are in play to allow equality constraints. This mismatch feels weird. Is there something about `~` proper, and not `Equal`, that triggers the difficulties with let generalization? If not, I think they should either both work or both fail (probably both fail). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12823> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12764: Be able to pin a thread to a numa node without fixing a capabiity
by GHC 11 Nov '16

11 Nov '16

#12764: Be able to pin a thread to a numa node without fixing a capabiity -------------------------------------+------------------------------------- Reporter: darshan | Owner: darshan Type: feature | Status: new request | Priority: normal | Milestone: Component: Runtime | Version: 8.0.1 System | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- There is a rts call `rts_setInCallCapability(int)` which pins the current thread to the given capability. If numa is on, it also pins it to the appropriate numa node. We want to be able to pin a thread to a numa node but without fixing a capability. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints
by GHC 10 Nov '16

10 Nov '16

#6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints -------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.4.1 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Test Case: indexed- valid program | types/should_compile/T6088 Blocked By: | Blocking: Related Tickets: 3046 | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"03e8d26fe0a8f7981a76550118f3c584cad76c47/ghc" 03e8d26f/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="03e8d26fe0a8f7981a76550118f3c584cad76c47" Prevent GND from inferring an instance context for method-less classes When `GeneralizedNewtypeDeriving` is used with a type class that has no methods, it will generate a redundant context, and as a result, it can trigger warnings when compiled with `-Wredundant-constraints`. This is a simple change in behavior to check beforehand if a class has methods when deriving it with GND, and if it has no methods, avoid inferring the redundant context. Beware that the test for #6088, which used to be expected to fail, now compiles without issue since it doesn't infer a problematic instance context. Thanks to Simon Peyton Jones for doing the necessary refactoring in f05d685ae05ec293083f2fa7ec7ba057fbe64869. Fixes #12814. Test Plan: ./validate Reviewers: goldfire, rwbarton, simonpj, austin, bgamari Reviewed By: simonpj Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2692 GHC Trac Issues: #12814 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6088#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12755: Build from source fails on Ubuntu 16.10: ld: -r and -pie may not be used together
by GHC 10 Nov '16

10 Nov '16

#12755: Build from source fails on Ubuntu 16.10: ld: -r and -pie may not be used together -------------------------------------+------------------------------------- Reporter: SamuelMarks | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Build System | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Building GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -this-unit-id ghc-prim-0.5.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -ilibraries /ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/dist- install/build -Ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries /ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist- install/build/autogen/cabal_macros.h -package-id rts -this-unit-id ghc- prim -XHaskell2010 -O2 -no-user-package-db -rtsopts -Wno-trustworthy-safe -Wno-deprecated-flags -Wnoncanonical-monad-instances -odir libraries /ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -split-objs -dynamic-too -c libraries/ghc-prim/./GHC/Types.hs -o libraries/ghc-prim/dist- install/build/GHC/Types.o -dyno libraries/ghc-prim/dist- install/build/GHC/Types.dyn_o /usr/bin/ld: -r and -pie may not be used together collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) libraries/ghc-prim/ghc.mk:4: recipe for target 'libraries/ghc-prim/dist- install/build/GHC/Types.o' failed make[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Types.o] Error 1 Makefile:129: recipe for target 'all' failed make: *** [all] Error 2 }}} Googling showed other builds with similar errors, for a bug report [which is now resolved]: - https://wiki.ubuntu.com/SteveBeattie/PIENotes - https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1518483 Running with `ld` GNU ld (GNU Binutils for Ubuntu) 2.27. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12755> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #12818: Allow reify to find top-level bindings in later declaration groups
by GHC 09 Nov '16

09 Nov '16

#12818: Allow reify to find top-level bindings in later declaration groups -------------------------------------+------------------------------------- Reporter: | Owner: facundo.dominguez | Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 8.0.1 Haskell | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): Phab:D2519 | Wiki Page: -------------------------------------+------------------------------------- Some time ago, at Tweag we were considering inspecting the types of declarations added with `addTopDecls` like this: {{{ {-# LANGUAGE TemplateHaskell #-} import Language.Haskell.TH.Syntax main :: IO () main = $(do ds <- [d| f = True |] addTopDecls ds addModFinalizer $ do VarI _ t _ <- reify (mkName "f") runIO $ hPutStrLn stderr ("f :: " ++ show t) [| return () |] ) }}} `f` is not in scope when the finalizer is added. But its type would be known when the finalizer runs. This worked before the patch https://phabricator.haskell.org/D2286. There is a patch that we submitted to address this https://phabricator.haskell.org/D2519, but it turned out later that we didn't need it and the patch was considered less than ideal. We are opening this ticket to keep track of the nuance in case someone finds the patch useful later. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12818> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12748: BFD linker issue with GHCi
by GHC 08 Nov '16

08 Nov '16

#12748: BFD linker issue with GHCi ------------------------------------------+------------------------------- Reporter: hsyl20 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Linking) | Version: 8.0.1 Keywords: bfd,linker,ghci | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ------------------------------------------+------------------------------- On my project, GHCi seems to hang waiting for the BFD linker to complete the link of `libghc_1.so`. The hanging command has the form: `/usr/bin/ld @/tmp/ccHQ8Uzc` Using gdb, it seems the BFD linker `ld` is looping (infinitely?) into `bfd_elf_link_add_symbols`. I have tried to use the GOLD linker `ld.gold` instead on the `ccHQ8Uzc` file (removing the unsupported parameters `--hash-size=31` and `--reduce- memory-overhead`) and it links instantly. Could it be that GHC 8.0.1 generates too many symbols for the BFD linker or something like this? The BFD linker worked with GHC 7.10.3. I build the project with stack, the hanging happens with `stack repl` (GHCi's prompt never shows): {{{ @(Stack/Exec.hs:76:10) 2016-10-21 12:57:53.747332: [debug] Creating process: /usr/bin/ghc --interactive -i -odir=/home/hsyl20/travail/code/ViperVM/.stack-work/odir -hidir=/home/hsyl20/travail/code/ViperVM/.stack-work/odir -hide-all- packages -i/home/hsyl20/travail/code/ViperVM/src/lib -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/autogen -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build -stubdir=/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build /home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/src/lib/ViperVM/Arch/X86_64/Linux/syscall.o /home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/src/lib/ViperVM/Arch/X86_64/cpuid.o -package-id=base-4.9.0.0 -package-id=containers-0.5.7.1 -package- id=list-t-1-z6InD0gw7C2QDNkG2mqUf -package- id=stm-2.4.4.1-9HlGYelGmT69YkepeDjuRg -package-id=stm- containers-0.2.15-JTVESCf1d8uCXyJbMCLfQJ -package-id=stm- linkedlist-0.1.0.0-GCpyrfjLFyWFZy8qotX7VW -package- id=hashable-1.2.4.0-GnltDttmBjG9qGzcjuPOH4 -package- id=cereal-0.5.3.0-JHJQkHEuvBGFx8XwIB7eX0 -package-id=bytestring-0.10.8.1 -package-id=system-fileio-0.3.16.3-EDef2a4Ximk1z04PLLp95q -package-id =system-filepath-0.4.13.4-24DUGoIUqZu3MxGDhYLfCN -package- id=pureMD5-2.1.3-HBUMOqRjfoe6ZpLefZBT34 -package- id=text-1.2.2.1-FgcR4Xf0VlEHD9HLxzq9WJ -package-id=filepath-1.4.1.0 -package-id=either-4.4.1.1-H4kagIugHGeIf0psi4Z0to -package- id=vector-0.11.0.0-BEDZb5o2QOhGbIm6ky7rl6 -package-id=directory-1.2.6.2 -package-id=megaparsec-5.0.1-25EMPYC0AB61WKE0MffPOR -package- id=transformers-0.5.2.0 -package-id=unix-2.7.2.0 -package- id=criterion-1.1.1.0-Hq6Gg6oBMXcJvBdkiC2CBq -package-id=c-storable- deriving-0.1.3-DIL5UpBe3Em7XwOYU01lXH -package- id=pqueue-1.3.1.1-A3EjwMk8dUf7l1Swzqrred -package- id=mtl-2.2.1-6qsR1PHUy5lL47Hpoa4jCM -package-id=template-haskell-2.11.0.0 -package-id=text-format-0.3.1.1-IMczxQgUdKA8it9OEumLMx -package- id=diagrams-1.3.0.1-9gEbAUMmu7DEIEOtgBTN65 -package-id=diagrams- lib-1.3.1.4-EWFz1jRqz29KScpInBNJM4 -package-id=diagrams- core-1.3.0.8-GGXo5v7JBpPFzOrVLJC9nc -package-id=diagrams- rasterific-1.3.1.8-2NQiYfE0qFP7UFNV120Viv -package- id=JuicyPixels-3.2.8-GcqBxM3ZIJ83rYx9ygJ0bm -package- id=loop-0.3.0-98VH1UqsOHy2KxBxA55ICY -package- id=Rasterific-0.6.1.1-3xSOfexAru5AQFIj4yXZ8f -package- id=colour-2.3.3-1clKnMqHWhQAElTFd8Ydyp -package-id=file- embed-0.0.10-IXfudWSq57y1Athysk5ifZ -i/home/hsyl20/travail/code/ViperVM/src/apps -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/Disass/Disass-tmp -i/home/hsyl20/travail/code/ViperVM/src/apps/Elf -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/ElfWeb/ElfWeb-tmp -package-id =happstack-server-7.4.6.2-8UX7Pc8fxznJjPPJjgBwca -package- id=lucid-2.9.6-FZpI2dlNE9n8QXjEeTfhJW -package-id=optparse- applicative-0.12.1.0-4FckWvtE7Gp1EYdm7OVbJw -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/MemoryTest/MemoryTest-tmp -i/home/hsyl20/travail/code/ViperVM/src/apps/PlatformWeb -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/PlatformWeb/PlatformWeb-tmp -package-id=blaze-html-0.8.1.2-2ceCZ3Fm7x67ZwaaR7uQ3C -package-id=blaze- markup-0.7.1.0-BKRb0wHFpEyDJWTsyjQqnp -package- id=network-2.6.3.1-G4Up1CPKbp7DeFsnywOnGG -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/TestSyscalls/TestSyscalls-tmp -i/home/hsyl20/travail/code/ViperVM/src/apps/X86Web -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/X86Web/X86Web-tmp -package- id=HTTP-4000.3.3-Fl4VtSZsPE4A3kSlCM2M0U -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/gunzip/gunzip-tmp -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/huffman/huffman-tmp -i/home/hsyl20/travail/code/ViperVM/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/udev/udev-tmp -i/home/hsyl20/travail/code/dynamic-linker-template -i/home/hsyl20/travail/code/dynamic-linker-template/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build/autogen -i/home/hsyl20/travail/code/dynamic-linker-template/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build -stubdir=/home/hsyl20/travail/code/dynamic-linker-template/.stack- work/dist/x86_64-linux/Cabal-1.24.0.0/build -Wall -Wall -Wall -Wall -Wall -Wall -Wall -Wall -Wall -Wall -Wall -optP-include -optP/tmp/ghci13379/cabal_macros.h -ghci-script=/tmp/ghci13379/ghci-script @(System/Process/Run.hs:103:5) GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help }}} This is on ArchLinux, binutils-2.27, stack 1.2.0, GHC 8.0.1. Steps to reproduce (I don't have a smaller reproducing example for now): {{{ git clone https://github.com/hsyl20/ViperVM cd ViperVM stack repl # wait... the compilation is quite long # press enter when stack asks for the main module to load }}} `stack build` doesn't trigger this linker issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12748> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #3384: Add HsSyn prettyprinter tests
by GHC 08 Nov '16

08 Nov '16

#3384: Add HsSyn prettyprinter tests -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: normal | Milestone: ⊥ Component: Test Suite | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by alanz): Updating https://github.com/alanz/ghc-exactprint/blob/no- annotations/tests/Test/NoAnnotations.hs#L119 to be {{{#!hs let !printed = pragmaStr ++ "\n" ++ (showSDoc_ $ GHC.ppr parsedOrig) }}} i.e. to simply `ppr` the `ParsedSource` and compare the resulting re- parsed AST. The initial results are for ghc-8.0.1, of the 823 test cases in ghc- exactprint, the straight GHC ppr fails to roundtrip 106 where it cannot be reparsed, and another 84 where the re-parsed AST does not match the original. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3384#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12815: ghc: panic Loading temp shared object failed
by GHC 08 Nov '16

08 Nov '16

#12815: ghc: panic Loading temp shared object failed -------------------------------------+------------------------------------- Reporter: brodyberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: osx | Operating System: MacOS X Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I ran 'stack upgrade' and after downloading, configuring, building and registering all 178 required packages I got this: {{{ [1 of 1] Compiling Main ( /private/var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/stack- upgrade11535/stack-1.2.0/Setup.hs, /private/var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/stack- upgrade11535/stack-1.2.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/Main.o ) Linking /private/var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/stack- upgrade11535/stack-1.2.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/setup ... Configuring stack-1.2.0... stack-1.2.0: build Preprocessing library stack-1.2.0... [ 1 of 96] Compiling Text.PrettyPrint.Leijen.Extended ( src/Text/PrettyPrint/Leijen/Extended.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Text/PrettyPrint/Leijen/Extended.o ) [ 2 of 96] Compiling Stack.Ghci.Script ( src/Stack/Ghci/Script.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/Ghci/Script.o ) [ 3 of 96] Compiling Stack.FileWatch ( src/Stack/FileWatch.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/FileWatch.o ) [ 4 of 96] Compiling System.Process.PagerEditor ( src/System/Process/PagerEditor.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/PagerEditor.o ) [ 5 of 96] Compiling System.Process.Log ( src/System/Process/Log.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/Log.o ) [ 6 of 96] Compiling Paths_stack ( .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/autogen/Paths_stack.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Paths_stack.o ) [ 7 of 96] Compiling Path.Find ( src/Path/Find.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Find.o ) [ 8 of 96] Compiling Path.Extra ( src/Path/Extra.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Extra.o ) [ 9 of 96] Compiling System.Process.Read ( src/System/Process/Read.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/Read.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/ghc29794_0/libghc_55.dylib, 5): no suitable image found. Did find: /var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/ghc29794_0/libghc_55.dylib: malformed mach-o: load commands size (47248) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Completed 178 action(s). -- While building package stack-1.2.0 using: /private/var/folders/23/f9jzgvns2378jgmdt5v42sj00000gn/T/stack- upgrade11535/stack-1.2.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/setup --builddir=.stack- work/dist/x86_64-osx/Cabal-1.22.5.0 build lib:stack exe:stack --ghc- options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12815> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1