- ghc-tickets - Haskell.org

[GHC] #9450: GHC instantiates Data instances before checking hs-boot files
by GHC 12 May '17

12 May '17

#9450: GHC instantiates Data instances before checking hs-boot files -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: boot,deriving | Operating System: Architecture: x86_64 (amd64) | Unknown/Multiple Difficulty: Unknown | Type of failure: Compile- Blocked By: | time crash Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When compiling a file with deriving instances in it and making use of boot files, it appears that the derivation is attempted before the boot files are checked for consistency. This can lead to GHC panics, as when compiling GHC after this commit https://github.com/alanz/ghc/commit/c73182ca7345f0debba47d0b17a907bcac27c41f In the attached files, if you try to load HsLit.lhs into ghci it will complain about the missing Data instance, not about the boot file inconsistency. If you remove the Data from the deriving clause of HsOverLit, it complains about the boot file inconsistency. I have not managed to reproduce the original panic in this stripped down environment, but if it is needed to more fully understand the problem I can try again to do that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9450> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13686: Compile a few modules for profiling unconditionally
by GHC 12 May '17

12 May '17

#13686: Compile a few modules for profiling unconditionally -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.4.1 Component: Build System | Version: 8.2.1-rc2 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: -------------------------------------+------------------------------------- When GHC is built without enabling profiling of the libraries, it is utterly impossible to compile anything ''with'' profiling. I would like to compile just enough libraries with profiling, unconditionally, to be able to compile any module with profiling as long as it satisfies approximately three conditions: 1. It uses `NoImplicitPrelude`. 2. It does not import any modules from a boot package. 3. It does not use `TemplateHaskell` (I'm not sure if this is necessary, but I wouldn't be surprised if it were). To make this work, I think we would need to compile at least `GHC.Types` and the `Data.Typeable.Internal` for profiling in all cases. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13686> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #5777: core lint error with arrow notation and GADTs
by GHC 12 May '17

12 May '17

#5777: core lint error with arrow notation and GADTs -------------------------------------+------------------------------------- Reporter: benmos | Owner: ross Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: arrows, Resolution: | GADTs, Arrows Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: #13547 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #13547 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5777#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13685: ghc: panic
by GHC 11 May '17

11 May '17

#13685: ghc: panic -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- A friendly compiler asked me to report {{{#!hs {-# Language KindSignatures, TypeInType, MagicHash #-} module A where import Data.Kind import GHC.Types i :: (a :: TYPE DoubleRep) -> a i x = x main = print (D# (i 3.0##)) }}} panics {{{ $ ghci -ignore-dot-ghci /tmp/A.hs GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling A ( /tmp/A.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): getIdFromTrivialExpr 3.0## Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13685> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12850: Panic with unboxed integers and ghci
by GHC 11 May '17

11 May '17

#12850: Panic with unboxed integers and ghci -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHCi crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Attempting to load the following file in ghci causes a panic in getIdFromTrivialExpr. Tested in GHC 8.0.1 and HEAD. {{{ {-# LANGUAGE ExplicitForAll, MagicHash, KindSignatures #-} import GHC.Types (RuntimeRep(..), TYPE) f :: forall (x :: TYPE 'IntRep). x -> x f x = x g = () where h = f 0# }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12850> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13684: Core lint error with defer-typed-holes and coerce
by GHC 11 May '17

11 May '17

#13684: Core lint error with defer-typed-holes and coerce -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- {{{#!hs {-# Options_GHC -dcore-lint -fdefer-typed-holes #-} {-# Language FlexibleInstances, UndecidableInstances, MultiParamTypeClasses, GeneralizedNewtypeDeriving #-} import Data.Traversable import Control.Lens.Indexed import Control.Lens.Fold (ifoldMapOf) import Control.Lens.Setter (iover) newtype Foo a = F (WrapITraversable [] a) newtype WrapITraversable f a = WIT (f a) instance TraversableWithIndex i f => Functor (WrapITraversable f) where fmap = fmapDefault instance TraversableWithIndex i f => Foldable (WrapITraversable f) where foldMap = foldMapDefault instance TraversableWithIndex i f => Traversable (WrapITraversable f) where traverse = itraverse . const instance TraversableWithIndex i f => FoldableWithIndex i (WrapITraversable f) where ifoldMap = ifoldMapOf itraversed instance TraversableWithIndex i f => FunctorWithIndex i (WrapITraversable f) where imap = iover itraversed instance TraversableWithIndex i f => TraversableWithIndex i (WrapITraversable f) where itraverse = coerce itraverse }}} causes with `lens 4.14` or `4.15.1`, GHC 8.0.1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13684> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13687: GHC internal error: associated type not in scope during typechecking
by GHC 11 May '17

11 May '17

#13687: GHC internal error: associated type not in scope during typechecking -------------------------------------+------------------------------------- Reporter: mrkgnao | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- From a larger snippet of code: {{{#!hs type family Strategy' a b n where Strategy' a b Zero = St a b -- this is where the error occurs Strategy' a b (Succ n) = Strategy' a b n <| ReverseArgs (Strategy' b a n) <| Combine (Strategy' a a n) (Strategy' b b n) class DefinedStrategy a b where type St }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13687> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #13675: Binary.get(TyClDecl): ForeignType
by GHC 11 May '17

11 May '17

#13675: Binary.get(TyClDecl): ForeignType -------------------------------------+------------------------------------- Reporter: Neidon | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 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: -------------------------------------+------------------------------------- {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): Binary.get(TyClDecl): ForeignType CallStack (from HasCallStack): error, called at compiler/iface/IfaceSyn.hs:1530:18 in ghc:IfaceSyn }}} Steps to reproduce: 1. Download a 640 Mb zip archive from https://drive.google.com/file/d/0B0Jnpz9ldbuHZHI4NFB3XzBucVU/view?usp=shari…. Unpack it. Inside are two directories: * `home_stack` (`du -s` reports size 2691340 Kb) * `cardano-sl` (`du -s` reports size 639820 Kb) 2. Move `home_stack` to `~/.stack`, deleting the original directory if it exists. 3. Move `cardano-sl` to `~/repos/cardano-sl`. 4. `cd` to `~/repos/cardano-sl`. 5. Issue `stack build --flag cardano-sl:with-explorer --ghc-options -fprint-potential-instances`. (Should also reproduce with `stack build` alone, but the following output is from the longer command.) Output on my machine: {{{ Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/GcgJH7g69OEv'... remote: Counting objects: 20, done. remote: Total 20 (delta 0), reused 0 (delta 0), pack-reused 20 Unpacking objects: 100% (20/20), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/ENyDIhK06WOU'... remote: Counting objects: 1297, done. remote: Total 1297 (delta 0), reused 0 (delta 0), pack-reused 1297 Receiving objects: 100% (1297/1297), 260.82 KiB | 402.00 KiB/s, done. Resolving deltas: 100% (605/605), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/TD50yXVIvxc9'... remote: Counting objects: 1740, done. remote: Total 1740 (delta 0), reused 0 (delta 0), pack-reused 1740 Receiving objects: 100% (1740/1740), 300.55 KiB | 0 bytes/s, done. Resolving deltas: 100% (988/988), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/XNE9sXB7eSlZ'... remote: Counting objects: 782, done. remote: Total 782 (delta 0), reused 0 (delta 0), pack-reused 782 Receiving objects: 100% (782/782), 361.32 KiB | 352.00 KiB/s, done. Resolving deltas: 100% (496/496), done. Cloning into '/home/ser/repos/cardano-sl/.stack-work/downloaded/SOLx- DoyBtx1'... remote: Counting objects: 911, done. remote: Total 911 (delta 0), reused 0 (delta 0), pack-reused 911 Receiving objects: 100% (911/911), 466.06 KiB | 754.00 KiB/s, done. Resolving deltas: 100% (346/346), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/GCp_IHcTNp9P'... remote: Counting objects: 713, done. remote: Total 713 (delta 0), reused 0 (delta 0), pack-reused 713 Receiving objects: 100% (713/713), 179.48 KiB | 0 bytes/s, done. Resolving deltas: 100% (312/312), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/Lyd_i8-L91FJ'... remote: Counting objects: 161, done. remote: Total 161 (delta 0), reused 0 (delta 0), pack-reused 161 Receiving objects: 100% (161/161), 36.19 KiB | 0 bytes/s, done. Resolving deltas: 100% (82/82), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/CiIBoLUguKbQ'... remote: Counting objects: 2556, done. remote: Compressing objects: 100% (36/36), done. remote: Total 2556 (delta 7), reused 1 (delta 1), pack-reused 2518 Receiving objects: 100% (2556/2556), 678.84 KiB | 1.01 MiB/s, done. Resolving deltas: 100% (1511/1511), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/ZdBBqCDMftE9'... remote: Counting objects: 1463, done. remote: Compressing objects: 100% (13/13), done. remote: Total 1463 (delta 3), reused 0 (delta 0), pack-reused 1446 Receiving objects: 100% (1463/1463), 518.63 KiB | 975.00 KiB/s, done. Resolving deltas: 100% (585/585), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/_k2aE31sX6Xe'... remote: Counting objects: 1137, done. remote: Total 1137 (delta 0), reused 0 (delta 0), pack-reused 1137 Receiving objects: 100% (1137/1137), 210.59 KiB | 360.00 KiB/s, done. Resolving deltas: 100% (528/528), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/wSJGfkFIKfNg'... remote: Counting objects: 345, done. remote: Compressing objects: 100% (42/42), done. remote: Total 345 (delta 18), reused 0 (delta 0), pack-reused 299 Receiving objects: 100% (345/345), 136.62 KiB | 0 bytes/s, done. Resolving deltas: 100% (138/138), done. Cloning into '/home/ser/repos/cardano-sl/.stack- work/downloaded/5U2760eQdlAf'... remote: Counting objects: 2454, done. remote: Total 2454 (delta 0), reused 0 (delta 0), pack-reused 2454 Receiving objects: 100% (2454/2454), 401.41 KiB | 0 bytes/s, done. Resolving deltas: 100% (1100/1100), done. No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl-core" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl-db" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl-infra" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl-lrc" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 No packages found in snapshot which provide a "cpphs" executable, which is a build-tool dependency of "cardano-sl-update" Missing build-tools may be caused by dependencies of the build-tool being overridden by extra-deps. This should be fixed soon - see this issue https://github.com/commercialhaskell/stack/issues/595 base58-bytestring-0.1.0: configure base58-bytestring-0.1.0: build concurrent-extra-0.7.0.10: configure base58-bytestring-0.1.0: copy/register concurrent-extra-0.7.0.10: build directory-1.3.1.0: configure concurrent-extra-0.7.0.10: copy/register directory-1.3.1.0: build cryptonite-0.22: configure cryptonite-0.22: build ed25519-0.0.5.0: configure (lib) ed25519-0.0.5.0: build (lib) network-transport-0.5.1: configure (lib) network-transport-0.5.1: build (lib) directory-1.3.1.0: copy/register Glob-0.7.14: configure ed25519-0.0.5.0: copy/register network-transport-0.5.1: copy/register Glob-0.7.14: build SHA-1.6.4.2: configure SHA-1.6.4.2: build acid-state-0.14.2: configure (lib) acid-state-0.14.2: build (lib) Glob-0.7.14: copy/register cryptonite-0.22: copy/register SHA-1.6.4.2: copy/register Progress: 9/91 -- While building package acid-state-0.14.2 using: /home/ser/.stack/setup-exe-cache/x86_64-linux/Cabal- simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack- work/dist/x86_64-linux/Cabal-1.24.2.0 build lib:acid-state --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: /home/ser/repos/cardano-sl/.stack-work/logs /acid-state-0.14.2.log Configuring acid-state-0.14.2... Preprocessing library acid-state-0.14.2... [ 1 of 15] Compiling Paths_acid_state ( .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/autogen/Paths_acid_state.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/Paths_acid_state.o ) [ 2 of 15] Compiling FileIO ( src-unix/FileIO.hs, .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/FileIO.o ) [ 3 of 15] Compiling Data.Acid.Core ( src/Data/Acid/Core.hs, .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/Data/Acid/Core.o ) [ 4 of 15] Compiling Data.Acid.Common ( src/Data/Acid/Common.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/Data/Acid/Common.o ) /home/ser/repos/cardano-sl/.stack- work/downloaded/ENyDIhK06WOU/src/Data/Acid/Common.hs:21:1: warning: [-Wunused-imports] The import of ‘Control.Applicative’ is redundant except perhaps to import instances from ‘Control.Applicative’ To import instances alone, use: import Control.Applicative() [ 5 of 15] Compiling Data.Acid.Memory.Pure ( src/Data/Acid/Memory/Pure.hs, .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/Data/Acid/Memory/Pure.o ) [ 6 of 15] Compiling Data.Acid.TemplateHaskell ( src/Data/Acid/TemplateHaskell.hs, .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/Data/Acid/TemplateHaskell.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): Binary.get(TyClDecl): ForeignType CallStack (from HasCallStack): error, called at compiler/iface/IfaceSyn.hs:1530:18 in ghc:IfaceSyn Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Output of `stack --version`: {{{ Version 1.3.2 x86_64 Compiled with: - Cabal-1.24.0.0 - Glob-0.7.14 - HUnit-1.5.0.0 - MonadRandom-0.5.1 - QuickCheck-2.9.2 - SHA-1.6.4.2 - StateVar-1.1.0.4 - aeson-1.0.2.1 - aeson-compat-0.3.6 - annotated-wl-pprint-0.7.0 - ansi-terminal-0.6.2.3 - ansi-wl-pprint-0.6.7.3 - array-0.5.1.1 - asn1-encoding-0.9.5 - asn1-parse-0.9.4 - asn1-types-0.3.2 - async-2.1.1 - attoparsec-0.13.1.0 - auto-update-0.1.4 - base-4.9.0.0 - base-compat-0.9.2 - base-orphans-0.5.4 - base16-bytestring-0.1.1.6 - base64-bytestring-1.0.0.1 - bifunctors-5.4.1 - binary-0.8.3.0 - binary-tagged-0.1.4.2 - bitarray-0.0.1.1 - blaze-builder-0.4.0.2 - blaze-html-0.8.1.3 - blaze-markup-0.7.1.1 - byteable-0.1.1 - bytestring-0.10.8.1 - call-stack-0.1.0 - case-insensitive-1.2.0.8 - cereal-0.5.4.0 - clock-0.7.2 - comonad-5 - conduit-1.2.9 - conduit-extra-1.1.15 - connection-0.2.7 - constraints-0.9.1 - containers-0.5.7.1 - contravariant-1.4 - cookie-0.4.2.1 - cryptohash-0.11.9 - cryptohash-conduit-0.1.1 - cryptonite-0.22 - data-default-class-0.1.2.0 - deepseq-1.4.2.0 - digest-0.0.1.2 - directory-1.2.6.2 - distributive-0.5.2 - dlist-0.8.0.2 - easy-file-0.2.1 - either-4.4.1.1 - errors-2.1.3 - exceptions-0.8.3 - extra-1.5.1 - fast-logger-2.4.10 - file-embed-0.0.10 - filelock-0.1.0.1 - filepath-1.4.1.0 - free-4.12.4 - fsnotify-0.2.1 - generic-deriving-1.11.1 - generics-sop-0.2.4.0 - ghc-boot-th-8.0.1 - ghc-prim-0.5.0.0 - gitrev-1.2.0 - hashable-1.2.5.0 - hastache-0.6.1 - hinotify-0.3.9 - hit-0.6.3 - hourglass-0.2.10 - hpack-0.16.0 - hpc-0.6.0.3 - hspec-2.4.2 - hspec-core-2.4.2 - hspec-discover-2.4.2 - hspec-expectations-0.8.2 - hspec-smallcheck-0.4.2 - http-api-data-0.3.5 - http-client-0.5.6.1 - http-client-tls-0.3.4 - http-conduit-2.2.3.1 - http-types-0.9.1 - ieee754-0.7.9 - integer-gmp-1.0.0.1 - integer-logarithms-1.0.1 - lifted-async-0.9.1.1 - lifted-base-0.2.3.10 - logict-0.6.0.2 - memory-0.14.2 - microlens-0.4.8.0 - microlens-th-0.4.1.1 - mime-types-0.1.0.7 - mmorph-1.0.9 - monad-control-1.0.1.0 - monad-logger-0.3.21 - monad-loops-0.4.3 - monad-unlift-0.2.0 - mono-traversable-1.0.2 - mtl-2.2.1 - network-2.6.3.1 - network-uri-2.6.1.0 - old-locale-1.0.0.7 - old-time-1.1.0.3 - open-browser-0.2.1.0 - optparse-applicative-0.13.2.0 - optparse-simple-0.0.3 - parsec-3.1.11 - path-0.5.12 - path-io-1.2.2 - path-pieces-0.2.1 - patience-0.1.1 - pem-0.2.2 - persistent-2.6.1 - persistent-sqlite-2.6.2 - persistent-template-2.5.2 - pid1-0.1.0.1 - prelude-extras-0.4.0.3 - pretty-1.1.3.3 - primitive-0.6.1.0 - process-1.4.2.0 - profunctors-5.2 - project-template-0.2.0 - quickcheck-io-0.1.4 - random-1.1 - regex-applicative-0.3.3 - regex-applicative-text-0.1.0.1 - resource-pool-0.2.3.2 - resourcet-1.1.9 - retry-0.7.4.2 - rts-1.0 - safe-0.3.14 - safe-exceptions-0.1.5.0 - scientific-0.3.4.10 - semigroupoids-5.1 - semigroups-0.18.2 - setenv-0.1.1.3 - silently-1.2.5 - smallcheck-1.1.1 - socks-0.5.5 - split-0.2.3.1 - stm-2.4.4.1 - stm-chans-3.0.0.4 - store-0.3.1 - store-core-0.3 - streaming-commons-0.1.17 - syb-0.6 - system-fileio-0.3.16.3 - system-filepath-0.4.13.4 - tagged-0.8.5 - tar-0.5.0.3 - template-haskell-2.11.0.0 - temporary-1.2.0.4 - text-1.2.2.1 - text-binary-0.2.1.1 - text-metrics-0.2.0 - tf-random-0.5 - th-expand-syns-0.4.2.0 - th-lift-0.7.6 - th-lift-instances-0.1.11 - th-orphans-0.13.3 - th-reify-many-0.1.6 - th-utilities-0.2.0.1 - time-1.6.0.1 - time-locale-compat-0.1.1.3 - tls-1.3.10 - transformers-0.5.2.0 - transformers-base-0.4.4 - transformers-compat-0.5.1.4 - unexceptionalio-0.3.0 - unicode-transforms-0.2.1 - unix-2.7.2.0 - unix-compat-0.4.3.1 - unix-time-0.3.7 - unordered-containers-0.2.7.2 - uri-bytestring-0.2.3.1 - utf8-string-1.0.1.1 - uuid-types-1.0.3 - vector-0.11.0.0 - vector-algorithms-0.7.0.1 - vector-binary-instances-0.2.3.4 - void-0.7.1 - x509-1.6.5 - x509-store-1.6.2 - x509-system-1.6.4 - x509-validation-1.6.5 - yaml-0.8.22 - zip-archive-0.3.0.5 - zlib-0.6.1.2 - zlib-bindings-0.1.1.5 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13675> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13661: User manual warnings
by GHC 11 May '17

11 May '17

#13661: User manual warnings -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- I'm seeing these warnings when typesetting the user manual: {{{ /5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:422: WARNING: Bullet list ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Werror". /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Wwarn". /5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:422: WARNING: Bullet list ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Werror". /5playpen/simonpj/HEAD-4/docs/users_guide/using-warnings.rst:4: SEVERE: Duplicate ID: "ghc-flag--Wwarn". /5playpen/simonpj/HEAD-4/docs/users_guide/profiling.rst:507: WARNING: Pygments lexer name u'json' is not known docs/users_guide/flags-warnings.gen.rst:166: WARNING: undefined label: deferred until runtime. see :ghc-flag: (if the link has no caption the label must precede a section header) docs/users_guide/all-flags.gen.rst:1644: WARNING: undefined label: deferred until runtime. see :ghc-flag: (if the link has no caption the label must precede a section header) /5playpen/simonpj/HEAD-4/docs/users_guide/glasgow_exts.rst:9373: WARNING: undefined label: implicit-quantification (if the link has no caption the label must precede a section header) }}} Could someone fix? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13661> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10584: Installation of SFML failed
by GHC 10 May '17

10 May '17

#10584: Installation of SFML failed -------------------------------------+------------------------------------- Reporter: SoleSoul | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This report is bad because I have no idea what I'm reporting but the compiler asked me to so there you go: % cabal install sfml :( Resolving dependencies... Configuring SFML-0.2.0.0... Building SFML-0.2.0.0... Failed to install SFML-0.2.0.0 Build log ( /home/user/.cabal/logs/SFML-0.2.0.0.log ): Configuring SFML-0.2.0.0... Building SFML-0.2.0.0... Preprocessing library SFML-0.2.0.0... [ 1 of 71] Compiling SFML.Window.WindowHandle ( src/SFML/Window/WindowHandle.hs, dist/build/SFML/Window/WindowHandle.o ) [ 2 of 71] Compiling SFML.SFDisplayable ( src/SFML/SFDisplayable.hs, dist/build/SFML/SFDisplayable.o ) [ 3 of 71] Compiling SFML.SFCopyable ( src/SFML/SFCopyable.hs, dist/build/SFML/SFCopyable.o ) [ 4 of 71] Compiling SFML.System.InputStream ( dist/build/SFML/System/InputStream.hs, dist/build/SFML/System/InputStream.o ) [ 5 of 71] Compiling SFML.SFResource ( src/SFML/SFResource.hs, dist/build/SFML/SFResource.o ) [ 6 of 71] Compiling SFML.Utils ( src/SFML/Utils.hs, dist/build/SFML/Utils.o ) [ 7 of 71] Compiling SFML.Window.VideoMode ( dist/build/SFML/Window/VideoMode.hs, dist/build/SFML/Window/VideoMode.o ) [ 8 of 71] Compiling SFML.Window.Types ( src/SFML/Window/Types.hs, dist/build/SFML/Window/Types.o ) [ 9 of 71] Compiling SFML.Window.Keyboard ( dist/build/SFML/Window/Keyboard.hs, dist/build/SFML/Window/Keyboard.o ) [10 of 71] Compiling SFML.Window.Joystick ( dist/build/SFML/Window/Joystick.hs, dist/build/SFML/Window/Joystick.o ) [11 of 71] Compiling SFML.Window.ContextSettings ( dist/build/SFML/Window/ContextSettings.hs, dist/build/SFML/Window/ContextSettings.o ) [12 of 71] Compiling SFML.Window.Context ( dist/build/SFML/Window/Context.hs, dist/build/SFML/Window/Context.o ) [13 of 71] Compiling SFML.System.Vector3 ( dist/build/SFML/System/Vector3.hs, dist/build/SFML/System/Vector3.o ) [14 of 71] Compiling SFML.System.Vector2 ( dist/build/SFML/System/Vector2.hs, dist/build/SFML/System/Vector2.o ) [15 of 71] Compiling SFML.Window.Mouse ( dist/build/SFML/Window/Mouse.hs, dist/build/SFML/Window/Mouse.o ) [16 of 71] Compiling SFML.Window.Event ( dist/build/SFML/Window/Event.hs, dist/build/SFML/Window/Event.o ) [17 of 71] Compiling SFML.Window.SFWindow ( src/SFML/Window/SFWindow.hs, dist/build/SFML/Window/SFWindow.o ) [18 of 71] Compiling SFML.Window.Window ( dist/build/SFML/Window/Window.hs, dist/build/SFML/Window/Window.o ) [19 of 71] Compiling SFML.System.Time ( dist/build/SFML/System/Time.hs, dist/build/SFML/System/Time.o ) [20 of 71] Compiling SFML.Audio.SFSoundBuffer ( src/SFML/Audio/SFSoundBuffer.hs, dist/build/SFML/Audio/SFSoundBuffer.o ) [21 of 71] Compiling SFML.System.Sleep ( dist/build/SFML/System/Sleep.hs, dist/build/SFML/System/Sleep.o ) [22 of 71] Compiling SFML.System.Clock ( src/SFML/System/Clock.hs, dist/build/SFML/System/Clock.o ) [23 of 71] Compiling SFML.System ( src/SFML/System.hs, dist/build/SFML/System.o ) [24 of 71] Compiling SFML.Window ( src/SFML/Window.hs, dist/build/SFML/Window.o ) [25 of 71] Compiling SFML.Graphics.Types ( src/SFML/Graphics/Types.hs, dist/build/SFML/Graphics/Types.o ) [26 of 71] Compiling SFML.Graphics.SFSmoothTexture ( src/SFML/Graphics/SFSmoothTexture.hs, dist/build/SFML/Graphics/SFSmoothTexture.o ) [27 of 71] Compiling SFML.Graphics.SFShapeResizable ( src/SFML/Graphics/SFShapeResizable.hs, dist/build/SFML/Graphics/SFShapeResizable.o ) [28 of 71] Compiling SFML.Graphics.SFCoordSpace ( src/SFML/Graphics/SFCoordSpace.hs, dist/build/SFML/Graphics/SFCoordSpace.o ) [29 of 71] Compiling SFML.Graphics.SFBindable ( src/SFML/Graphics/SFBindable.hs, dist/build/SFML/Graphics/SFBindable.o ) [30 of 71] Compiling SFML.Graphics.Rect ( dist/build/SFML/Graphics/Rect.hs, dist/build/SFML/Graphics/Rect.o ) [31 of 71] Compiling SFML.Graphics.SFBounded ( src/SFML/Graphics/SFBounded.hs, dist/build/SFML/Graphics/SFBounded.o ) [32 of 71] Compiling SFML.Graphics.SFViewable ( src/SFML/Graphics/SFViewable.hs, dist/build/SFML/Graphics/SFViewable.o ) [33 of 71] Compiling SFML.Graphics.Texture ( src/SFML/Graphics/Texture.hs, dist/build/SFML/Graphics/Texture.o ) [34 of 71] Compiling SFML.Graphics.Transform ( dist/build/SFML/Graphics/Transform.hs, dist/build/SFML/Graphics/Transform.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.1 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone $j_sJFj 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 To see detailed counts use -ddump-simpl-stats Total ticks: 190129 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug cabal: Error: some packages failed to install: SFML-0.2.0.0 failed during the building phase. The exception was: ExitFailure 1 cabal install sfml 7.18s user 0.76s system 93% cpu 8.460 total -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10584> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8