March 2017 - ghc-tickets

Fw: many thanks
by matthew 19 Mar '17

19 Mar '17

Greetings! I wanted to thank you a lot for all you've done, it was a real help. Please read my whole message here http://pleasure.stgeorgebrainbalance4life.com/7372 Pardon my monkey thumbs, matthew

1 0

[GHC] #11796: Warn about unwanted instances in a modular way
by GHC 19 Mar '17

19 Mar '17

#11796: Warn about unwanted instances in a modular way -------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.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 like to propose the following way to warn about instances that are unwanted by some programmers. First step is to mark the instances at their definition site like so: {{{#!hs {-# WARN_INSTANCE tuple #-} instance Foldable ((,) a) where ... {-# WARN_INSTANCE tuple #-} instance Functor ((,) a) where ... {-# WARN_INSTANCE tuple #-} instance Foldable ((,,) a b) where ... {-# WARN_INSTANCE tuple #-} instance Functor ((,,) a b) where ... }}} This way, all the above instances are collected in an instance group labelled `tuple`. At the use sites we introduce a GHC warning option like `-fwarn-instance=tuple`. This warns about any place where any of the `tuple` instances is used. We can either place {{{ GHC-Options: -fwarn-instance=tuple }}} in a Cabal package description in order to issue warnings in a whole package or we can put {{{ {-# OPTIONS_GHC -fwarn-instance=tuple #-} }}} at the top of a module in order to enable the warning per module. Another candidate for an instance group might be `numeric` for numeric instances of functions and tuples in the `NumInstances` package. What does it mean to use an instance? I would say, if omitting an `instance X Y` would lead to a "missing instance" type error at place Z in a module, then `instance X Y` is used at place Z. There might be an even more restrictive option like `-fforbid- instance=tuple`. This would not only warn about an instance usage, but it would cause a type error. Essentially it should treat all `tuple` instances as if they were not defined. (Other instances might depend on `tuple` instances and if the `tuple` instances weren't there the compiler would not even reach the current module. I do not know, whether this case needs special treatment. We might require that any instance depending on `tuple` must be added to the `tuple` group as well or it might be added automatically.) The advantage of a type error is that we see all problems from `tuple` instances also in the presence of other type errors. Warnings would only show up after a module is otherwise type correct. This solution requires cooperation of the instance implementor. Would that work in practice? Otherwise we must think about ways to declare instance groups independently from the instance declaration and we get the problem of bringing the instance group names into the scope of the importing module. A separate discussion must be held on whether `-fwarn-instance=tuple` should be part of `-Wall`. I think that people should be warned about `tuple` instances early because they won't expect that there is a trap when using `length` and `maximum` and so on. One might also think about generalizations, e.g. whether {{{ {-# WARN_INSTANCE tuple, functor #-} }}} should be allowed in order to put an instance in several groups or whether there should be a way to compose a group from subgroups. Another topic would be a form of instance group disambiguation. Instance groups might be qualified with module or package names. I think package names are more appropriate, like so `-fwarn-instance=base:tuple`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11796> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13442: Add a coercion/cast operator to CMM
by GHC 19 Mar '17

19 Mar '17

#13442: Add a coercion/cast operator to CMM -------------------------------------+------------------------------------- Reporter: erikd | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.1 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: -------------------------------------+------------------------------------- While trying to implement casts between floating-point and integral types #4092) @rwbarton suggested the following CMM: {{{ stg_wordToFloatzh(W_ w) { D_ d; STK_CHK_P_LL(WDS(1), stg_wordToFloatzh, w); Sp(-1) = w; d = Sp(-1); return (d); } }}} This code works outside of GHC, but when I try to add it as `rts/CastFloatWord.cmm` the CMM linter complains with: {{{ Cmm lint error: in basic block c5 in assignment: _c2::F64 = I64[Sp + -1 * 8]; Reg ty: F64 Rhs ty: I64 Program was: {offset c6: // global _c1::I64 = R1; //tick src<rts/CastFloatWord.cmm:(7,1)-(13,1)> if (Sp - 1 * 8 < SpLim) goto c3; else goto c5; c3: // global //tick src<rts/CastFloatWord.cmm:9:35-100> R1 = _c1::I64; R2 = stg_wordToFloatzh; call stg_gc_prim_p_ll(R1, R2) args: 8, res: 0, upd: 8; c5: // global I64[Sp + -1 * 8] = _c1::I64; _c2::F64 = I64[Sp + -1 * 8]; D1 = _c2::F64; call (P64[(old + 8)])(D1) args: 8, res: 0, upd: 8; } }}} For hand written CMM code like this, it would be nice to have a cast/coercion to allow this code to pass the linter. Looking for suggestions as to the syntax. I suspect that it would be best if the destination type was made explicit in the cast operation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13442> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #13449: Multiple pattern synonym declarations for one signature
by GHC 19 Mar '17

19 Mar '17

#13449: Multiple pattern synonym declarations for one signature -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm not sure if I've seen this before. I want to be able to write {{{#!hs data Ty a where TBool :: Ty Bool data Exp a where Lit :: Ty a -> a -> Exp a pattern Fls, Tru :: () => a ~ Bool => Exp a pattern Fls = Lit TBool False pattern Tru = Lit TBool False }}} instead of {{{#!hs pattern Fls :: () => a ~ Bool => Exp a pattern Fls = Lit TBool False pattern Tru :: () => a ~ Bool => Exp a pattern Tru = Lit TBool False }}} just as this is allowed {{{#!hs fls, tru :: Exp Bool fls = Lit TBool False tru = Lit TBool False }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13449> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #13387: Segfault when profiling on OS X
by GHC 19 Mar '17

19 Mar '17

#13387: Segfault when profiling on OS X -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: high | 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 built a profiled version of GHC using the `prof` flavour. Then attempting to profile some programs with this executable causes segfaults reliably. 1. Build GHC with the `prof` flavour 2. inplace/bin/ghc-stage2 Main.hs -O2 -fforce-recomp +RTS -p -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13387> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13453: Seemingly can't mix ImplicitParams in where clauses
by GHC 19 Mar '17

19 Mar '17

#13453: Seemingly can't mix ImplicitParams in where clauses -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Parser) | Keywords: | Operating System: Unknown/Multiple ImplicitParams | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- These are fine {{{#!hs v = () where a = True b = 'a' }}} {{{#!hs v = () where ?a = True ?b = 'a' }}} but the moment one of them is an `ImplicitParams` it fails to parse {{{#!hs -- tAMA.hs:9:3-4: error: Parse error in pattern: ?b -- Compilation failed. v = () where a = True ?b = 'a' -- tAMA.hs:9:3: error: parse error on input ‘b’ -- Compilation failed. v = () where ?a = True b = 'a' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13453> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #13455: GHCi crash GHC with creation of a "crash dump file" in Windows
by GHC 19 Mar '17

19 Mar '17

#13455: GHCi crash GHC with creation of a "crash dump file" in Windows --------------------------------+---------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+---------------------------------- Hi,\\ I repeated this several times in order and GHC crash after typing the command {{{:r}}} several times in GHCi\\ If the two files are taken separately there is no crash\\ file {{{test1.hs}}} {{{ main :: IO () main = do { putStr "hello"; x <- getChar; putStr "x = "; print x; } }}} file {{{test2.hs}}} {{{ putStr :: String -> IO () putStr [] = return () putStr (x:xs) = do putChar x putChar '\n' putStrLn :: String -> IO () putStrLn xs = do putStr xs putChar '\n' }}} 1- open GHCi\\ 2- {{{:load}}} test1.hs\\ 3- run main\\ 4- {{{:load}}} test2.hs\\ 5- an error message comes then type {{{:r}}}\\ 6- keep trying {{{:r}}} until the crash of GHC. usually at the end of the third time.\\ 7- see the Windows message to the screen.\\ a "crash dump file" is created. It say:\\ exception code 0xC0000096\\ process name: ghc.exe: C:\ghc-8.0.2\bin\ghc.exe\\ information: the thread tried to execute a statement that the operation is not allowed in the current mode of the computer\\ modules name:\\ ghc.exe, ntdll.dll, kernel32.dll, gdi32.dll, user32.dll, advapi32.dll, rpcrt4.dll, msvcrt.dll, shell32.dll, shlwapi.dll, wsock32.dll, ws2_32.dll, nsi.dll, imm32.dll, msctf.dll, lpk.dll, usp10.dll, comctl32.dll, ole32.dll, userenv.dll, secur32.dll, apphelp.dll\\ a particularly pointed to by Windows file is msvcrt.dll\\ Hope this help -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13455> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13448: Make HPC use an RTS option to select the tix file
by GHC 19 Mar '17

19 Mar '17

#13448: Make HPC use an RTS option to select the tix file -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.4.1 Component: Code Coverage | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Phab:D3357 will document the currently-undocumented `HPCTIXFILE` environment variable. I think, however, that we really should change how that's controlled. Make it an RTS option like any other, which can be controlled using `with-rtsopts`, `+RTS`, or the `GHCRTS` environment variable. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13448> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13447: error on MacOS Sierra upgrading stack
by GHC 19 Mar '17

19 Mar '17

#13447: error on MacOS Sierra upgrading stack -------------------------------------+--------------------------------- Reporter: wolfkden | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: stack upgrade | Operating System: MacOS X Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+--------------------------------- Wolfgangs-MacBook-Air:~ wolf$ stack upgrade Fetched package index. Populated index cache. stack-1.4.0: download Downloaded lts-6.25 build plan. Caching build plan Preparing to install GHC to an isolated location. This will not interfere with any system-level installation. Downloaded ghc-7.10.3. Installed GHC. [1 of 1] Compiling Main ( /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack68242/Setup.hs, /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack68242/Setup.o ) Linking /Users/wolf/.stack/setup-exe-cache/x86_64-osx/tmp-setup-Simple- Cabal-1.22.5.0-ghc-7.10.3 ... HUnit-1.3.1.2: download annotated-wl-pprint-0.7.0: download Cabal-1.24.2.0: download annotated-wl-pprint-0.7.0: configure SHA-1.6.4.2: download annotated-wl-pprint-0.7.0: build HUnit-1.3.1.2: configure HUnit-1.3.1.2: build Cabal-1.24.2.0: configure Cabal-1.24.2.0: build SHA-1.6.4.2: configure SHA-1.6.4.2: build annotated-wl-pprint-0.7.0: copy/register ansi-terminal-0.6.2.3: download ansi-terminal-0.6.2.3: configure ansi-terminal-0.6.2.3: build HUnit-1.3.1.2: copy/register auto-update-0.1.4: download auto-update-0.1.4: configure auto-update-0.1.4: build auto-update-0.1.4: copy/register ansi-terminal-0.6.2.3: copy/register base-compat-0.9.1: download base-compat-0.9.1: configure ansi-wl-pprint-0.6.7.3: download base-compat-0.9.1: build ansi-wl-pprint-0.6.7.3: configure ansi-wl-pprint-0.6.7.3: build ansi-wl-pprint-0.6.7.3: copy/register base-orphans-0.5.4: download base-compat-0.9.1: copy/register base-orphans-0.5.4: configure base16-bytestring-0.1.1.6: download base-orphans-0.5.4: build base16-bytestring-0.1.1.6: configure base16-bytestring-0.1.1.6: build base16-bytestring-0.1.1.6: copy/register base64-bytestring-1.0.0.1: configure base64-bytestring-1.0.0.1: build base64-bytestring-1.0.0.1: copy/register byteable-0.1.1: download byteable-0.1.1: configure byteable-0.1.1: build byteable-0.1.1: copy/register bytestring-builder-0.10.6.0.0: configure bytestring-builder-0.10.6.0.0: build bytestring-builder-0.10.6.0.0: copy/register clock-0.7.2: download clock-0.7.2: configure clock-0.7.2: build clock-0.7.2: copy/register cryptohash-sha256-0.11.100.1: download cryptohash-sha256-0.11.100.1: configure cryptohash-sha256-0.11.100.1: build base-orphans-0.5.4: copy/register data-default-class-0.0.1: configure data-default-class-0.0.1: build cryptohash-sha256-0.11.100.1: copy/register data-default-class-0.0.1: copy/register dlist-0.7.1.2: configure digest-0.0.1.2: download dlist-0.7.1.2: build digest-0.0.1.2: configure digest-0.0.1.2: build dlist-0.7.1.2: copy/register digest-0.0.1.2: copy/register easy-file-0.2.1: download ed25519-0.0.5.0: download easy-file-0.2.1: configure easy-file-0.2.1: build ed25519-0.0.5.0: configure ed25519-0.0.5.0: build easy-file-0.2.1: copy/register extra-1.4.10: download extra-1.4.10: configure extra-1.4.10: build ed25519-0.0.5.0: copy/register extra-1.4.10: copy/register file-embed-0.0.10: download file-embed-0.0.10: configure fail-4.9.0.0: download file-embed-0.0.10: build fail-4.9.0.0: configure fail-4.9.0.0: build fail-4.9.0.0: copy/register cereal-0.5.2.0: download file-embed-0.0.10: copy/register cereal-0.5.2.0: configure filelock-0.1.0.1: download cereal-0.5.2.0: build filelock-0.1.0.1: configure filelock-0.1.0.1: build filelock-0.1.0.1: copy/register generic-deriving-1.10.5: download generic-deriving-1.10.5: configure generic-deriving-1.10.5: build cereal-0.5.2.0: copy/register generics-sop-0.2.2.0: download generics-sop-0.2.2.0: configure generics-sop-0.2.2.0: build generic-deriving-1.10.5: copy/register gitrev-1.2.0: download gitrev-1.2.0: configure gitrev-1.2.0: build gitrev-1.2.0: copy/register hourglass-0.2.10: download hourglass-0.2.10: configure hourglass-0.2.10: build hourglass-0.2.10: copy/register hspec-discover-2.2.4: download hspec-discover-2.2.4: configure hspec-discover-2.2.4: build hspec-discover-2.2.4: copy/register hspec-expectations-0.7.2: download hspec-expectations-0.7.2: configure hspec-expectations-0.7.2: build hspec-expectations-0.7.2: copy/register ieee754-0.7.9: download ieee754-0.7.9: configure ieee754-0.7.9: build ieee754-0.7.9: copy/register memory-0.13: download memory-0.13: configure memory-0.13: build SHA-1.6.4.2: copy/register microlens-0.4.7.0: download microlens-0.4.7.0: configure microlens-0.4.7.0: build microlens-0.4.7.0: copy/register generics-sop-0.2.2.0: copy/register monad-loops-0.4.3: configure memory-0.13: copy/register monad-loops-0.4.3: build mtl-2.2.1: configure asn1-types-0.3.2: download mtl-2.2.1: build asn1-types-0.3.2: configure asn1-types-0.3.2: build monad-loops-0.4.3: copy/register cryptonite-0.19: download cryptonite-0.19: configure cryptonite-0.19: build mtl-2.2.1: copy/register asn1-types-0.3.2: copy/register logict-0.6.0.2: download logict-0.6.0.2: configure asn1-encoding-0.9.4: download logict-0.6.0.2: build asn1-encoding-0.9.4: configure asn1-encoding-0.9.4: build logict-0.6.0.2: copy/register nats-1.1.1: download nats-1.1.1: configure nats-1.1.1: build nats-1.1.1: copy/register network-2.6.3.1: download asn1-encoding-0.9.4: copy/register network-2.6.3.1: configure asn1-parse-0.9.4: download network-2.6.3.1: build asn1-parse-0.9.4: configure asn1-parse-0.9.4: build asn1-parse-0.9.4: copy/register old-locale-1.0.0.7: configure old-locale-1.0.0.7: build old-locale-1.0.0.7: copy/register old-time-1.1.0.3: configure old-time-1.1.0.3: build network-2.6.3.1: copy/register open-browser-0.2.1.0: download open-browser-0.2.1.0: configure open-browser-0.2.1.0: build old-time-1.1.0.3: copy/register patience-0.1.1: download patience-0.1.1: configure open-browser-0.2.1.0: copy/register patience-0.1.1: build pem-0.2.2: download pem-0.2.2: configure pem-0.2.2: build patience-0.1.1: copy/register pem-0.2.2: copy/register pid1-0.1.0.0: download pid1-0.1.0.0: configure prelude-extras-0.4.0.3: download pid1-0.1.0.0: build prelude-extras-0.4.0.3: configure prelude-extras-0.4.0.3: build pid1-0.1.0.0: copy/register primitive-0.6.1.0: configure primitive-0.6.1.0: build prelude-extras-0.4.0.3: copy/register random-1.1: configure random-1.1: build primitive-0.6.1.0: copy/register regex-applicative-0.3.3: download regex-applicative-0.3.3: configure regex-applicative-0.3.3: build regex-applicative-0.3.3: copy/register random-1.1: copy/register safe-0.3.10: download safe-0.3.10: configure safe-0.3.10: build setenv-0.1.1.3: download setenv-0.1.1.3: configure setenv-0.1.1.3: build setenv-0.1.1.3: copy/register silently-1.2.5: configure silently-1.2.5: build safe-0.3.10: copy/register silently-1.2.5: copy/register smallcheck-1.1.1: download smallcheck-1.1.1: configure socks-0.5.5: download smallcheck-1.1.1: build socks-0.5.5: configure socks-0.5.5: build smallcheck-1.1.1: copy/register split-0.2.3.1: download split-0.2.3.1: configure split-0.2.3.1: build split-0.2.3.1: copy/register stm-2.4.4.1: download stm-2.4.4.1: configure stm-2.4.4.1: build socks-0.5.5: copy/register syb-0.6: download syb-0.6: configure stm-2.4.4.1: copy/register syb-0.6: build StateVar-1.1.0.4: download StateVar-1.1.0.4: configure StateVar-1.1.0.4: build StateVar-1.1.0.4: copy/register async-2.1.0: download async-2.1.0: configure async-2.1.0: build syb-0.6: copy/register stm-chans-3.0.0.4: configure async-2.1.0: copy/register tagged-0.8.4: download stm-chans-3.0.0.4: build tagged-0.8.4: configure tagged-0.8.4: build stm-chans-3.0.0.4: copy/register tar-0.5.0.3: download tar-0.5.0.3: configure tagged-0.8.4: copy/register tar-0.5.0.3: build text-1.2.2.1: download cryptonite-0.19: copy/register text-1.2.2.1: configure text-1.2.2.1: build cryptohash-0.11.9: download cryptohash-0.11.9: configure cryptohash-0.11.9: build cryptohash-0.11.9: copy/register tf-random-0.5: download tf-random-0.5: configure tf-random-0.5: build tar-0.5.0.3: copy/register th-expand-syns-0.4.1.0: download th-expand-syns-0.4.1.0: configure th-expand-syns-0.4.1.0: build tf-random-0.5: copy/register QuickCheck-2.8.2: download QuickCheck-2.8.2: configure th-expand-syns-0.4.1.0: copy/register QuickCheck-2.8.2: build th-lift-0.7.6: download th-lift-0.7.6: configure th-lift-0.7.6: build th-lift-0.7.6: copy/register th-reify-many-0.1.6: download th-reify-many-0.1.6: configure th-reify-many-0.1.6: build th-reify-many-0.1.6: copy/register time-locale-compat-0.1.1.3: download time-locale-compat-0.1.1.3: configure time-locale-compat-0.1.1.3: build time-locale-compat-0.1.1.3: copy/register transformers-compat-0.4.0.4: configure transformers-compat-0.4.0.4: build transformers-compat-0.4.0.4: copy/register MonadRandom-0.4.2.3: download MonadRandom-0.4.2.3: configure MonadRandom-0.4.2.3: build MonadRandom-0.4.2.3: copy/register distributive-0.5.0.2: download distributive-0.5.0.2: configure distributive-0.5.0.2: build QuickCheck-2.8.2: copy/register distributive-0.5.0.2: copy/register exceptions-0.8.3: download exceptions-0.8.3: configure microlens-mtl-0.1.10.0: download exceptions-0.8.3: build microlens-mtl-0.1.10.0: configure microlens-mtl-0.1.10.0: build exceptions-0.8.3: copy/register microlens-mtl-0.1.10.0: copy/register mmorph-1.0.6: download mmorph-1.0.6: configure quickcheck-io-0.1.4: download mmorph-1.0.6: build quickcheck-io-0.1.4: configure quickcheck-io-0.1.4: build quickcheck-io-0.1.4: copy/register mmorph-1.0.6: copy/register hspec-core-2.2.4: download hspec-core-2.2.4: configure retry-0.7.4.1: download hspec-core-2.2.4: build retry-0.7.4.1: configure retry-0.7.4.1: build retry-0.7.4.1: copy/register safe-exceptions-0.1.4.0: download safe-exceptions-0.1.4.0: configure safe-exceptions-0.1.4.0: build safe-exceptions-0.1.4.0: copy/register temporary-1.2.0.4: download temporary-1.2.0.4: configure temporary-1.2.0.4: build hspec-core-2.2.4: copy/register temporary-1.2.0.4: copy/register hspec-2.2.4: download hspec-2.2.4: configure hspec-smallcheck-0.4.1: download hspec-2.2.4: build hspec-smallcheck-0.4.1: configure hspec-smallcheck-0.4.1: build hspec-smallcheck-0.4.1: copy/register hspec-2.2.4: copy/register transformers-base-0.4.4: configure unexceptionalio-0.3.0: download transformers-base-0.4.4: build unexceptionalio-0.3.0: configure unexceptionalio-0.3.0: build transformers-base-0.4.4: copy/register unexceptionalio-0.3.0: copy/register monad-control-1.0.1.0: download monad-control-1.0.1.0: configure errors-2.1.2: download monad-control-1.0.1.0: build errors-2.1.2: configure errors-2.1.2: build monad-control-1.0.1.0: copy/register errors-2.1.2: copy/register lifted-base-0.2.3.8: download lifted-base-0.2.3.8: configure unix-compat-0.4.1.4: download lifted-base-0.2.3.8: build unix-compat-0.4.1.4: configure unix-compat-0.4.1.4: build lifted-base-0.2.3.8: copy/register unix-compat-0.4.1.4: copy/register enclosed-exceptions-1.0.2: download enclosed-exceptions-1.0.2: configure resourcet-1.1.8.1: download enclosed-exceptions-1.0.2: build resourcet-1.1.8.1: configure resourcet-1.1.8.1: build enclosed-exceptions-1.0.2: copy/register unix-time-0.3.7: download unix-time-0.3.7: configure resourcet-1.1.8.1: copy/register conduit-1.2.8: download unix-time-0.3.7: build conduit-1.2.8: configure conduit-1.2.8: build unix-time-0.3.7: copy/register utf8-string-1.0.1.1: download utf8-string-1.0.1.1: configure utf8-string-1.0.1.1: build utf8-string-1.0.1.1: copy/register vector-0.11.0.0: download vector-0.11.0.0: configure vector-0.11.0.0: build conduit-1.2.8: copy/register x509-1.6.4: download x509-1.6.4: configure x509-1.6.4: build Cabal-1.24.2.0: copy/register zlib-0.6.1.2: download zlib-0.6.1.2: configure text-1.2.2.1: copy/register zlib-0.6.1.2: build blaze-builder-0.4.0.2: download blaze-builder-0.4.0.2: configure blaze-builder-0.4.0.2: build x509-1.6.4: copy/register fast-logger-2.4.7: download fast-logger-2.4.7: configure fast-logger-2.4.7: build blaze-builder-0.4.0.2: copy/register blaze-markup-0.7.1.0: download blaze-markup-0.7.1.0: configure fast-logger-2.4.7: copy/register blaze-markup-0.7.1.0: build cookie-0.4.2.1: download cookie-0.4.2.1: configure zlib-0.6.1.2: copy/register cookie-0.4.2.1: build hashable-1.2.4.0: download hashable-1.2.4.0: configure hashable-1.2.4.0: build cookie-0.4.2.1: copy/register hastache-0.6.1: download hastache-0.6.1: configure hashable-1.2.4.0: copy/register hastache-0.6.1: build constraints-0.8: download constraints-0.8: configure constraints-0.8: build blaze-markup-0.7.1.0: copy/register blaze-html-0.8.1.2: download blaze-html-0.8.1.2: configure constraints-0.8: copy/register blaze-html-0.8.1.2: build hfsevents-0.1.6: download hfsevents-0.1.6: configure hfsevents-0.1.6: build hastache-0.6.1: copy/register hfsevents-0.1.6: copy/register http-api-data-0.2.4: download http-api-data-0.2.4: configure fsnotify-0.2.1: download http-api-data-0.2.4: build fsnotify-0.2.1: configure fsnotify-0.2.1: build fsnotify-0.2.1: copy/register lifted-async-0.9.0: download lifted-async-0.9.0: configure lifted-async-0.9.0: build lifted-async-0.9.0: copy/register mime-types-0.1.0.7: download mime-types-0.1.0.7: configure mime-types-0.1.0.7: build http-api-data-0.2.4: copy/register monad-unlift-0.2.0: download monad-unlift-0.2.0: configure blaze-html-0.8.1.2: copy/register monad-unlift-0.2.0: build parsec-3.1.11: download monad-unlift-0.2.0: copy/register parsec-3.1.11: configure parsec-3.1.11: build path-pieces-0.2.1: configure path-pieces-0.2.1: build path-pieces-0.2.1: copy/register mime-types-0.1.0.7: copy/register regex-applicative-text-0.1.0.1: download regex-applicative-text-0.1.0.1: configure store-core-0.3: download regex-applicative-text-0.1.0.1: build store-core-0.3: configure store-core-0.3: build regex-applicative-text-0.1.0.1: copy/register streaming-commons-0.1.16: download streaming-commons-0.1.16: configure streaming-commons-0.1.16: build store-core-0.3: copy/register system-filepath-0.4.13.4: download system-filepath-0.4.13.4: configure system-filepath-0.4.13.4: build parsec-3.1.11: copy/register network-uri-2.6.1.0: download network-uri-2.6.1.0: configure network-uri-2.6.1.0: build streaming-commons-0.1.16: copy/register system-filepath-0.4.13.4: copy/register text-binary-0.2.1.1: download text-binary-0.2.1.1: configure text-binary-0.2.1.1: build network-uri-2.6.1.0: copy/register system-fileio-0.3.16.3: download system-fileio-0.3.16.3: configure text-binary-0.2.1.1: copy/register hackage-security-0.5.2.2: download system-fileio-0.3.16.3: build hackage-security-0.5.2.2: configure text-metrics-0.1.0: download hackage-security-0.5.2.2: build text-metrics-0.1.0: configure text-metrics-0.1.0: build system-fileio-0.3.16.3: copy/register text-metrics-0.1.0: copy/register unicode-transforms-0.1.0.1: download unordered-containers-0.2.7.1: download unicode-transforms-0.1.0.1: configure unicode-transforms-0.1.0.1: build unordered-containers-0.2.7.1: configure unordered-containers-0.2.7.1: build unicode-transforms-0.1.0.1: copy/register x509-store-1.6.2: download x509-store-1.6.2: configure x509-store-1.6.2: build x509-store-1.6.2: copy/register x509-system-1.6.4: download x509-system-1.6.4: configure x509-system-1.6.4: build x509-system-1.6.4: copy/register x509-validation-1.6.5: download x509-validation-1.6.5: configure x509-validation-1.6.5: build x509-validation-1.6.5: copy/register tls-1.3.8: download tls-1.3.8: configure tls-1.3.8: build hackage-security-0.5.2.2: copy/register zip-archive-0.2.3.7: download zip-archive-0.2.3.7: configure vector-0.11.0.0: copy/register mwc-random-0.13.4.0: download zip-archive-0.2.3.7: build mwc-random-0.13.4.0: configure mwc-random-0.13.4.0: build zip-archive-0.2.3.7: copy/register resource-pool-0.2.3.2: configure resource-pool-0.2.3.2: build unordered-containers-0.2.7.1: copy/register scientific-0.3.4.9: download scientific-0.3.4.9: configure resource-pool-0.2.3.2: copy/register semigroups-0.18.2: download scientific-0.3.4.9: build semigroups-0.18.2: configure semigroups-0.18.2: build scientific-0.3.4.9: copy/register th-lift-instances-0.1.10: download th-lift-instances-0.1.10: configure th-lift-instances-0.1.10: build th-lift-instances-0.1.10: copy/register th-orphans-0.13.1: download th-orphans-0.13.1: configure th-orphans-0.13.1: build semigroups-0.18.2: copy/register Glob-0.7.12: download Glob-0.7.12: configure Glob-0.7.12: build th-orphans-0.13.1: copy/register attoparsec-0.13.1.0: download attoparsec-0.13.1.0: configure attoparsec-0.13.1.0: build tls-1.3.8: copy/register case-insensitive-1.2.0.7: download case-insensitive-1.2.0.7: configure Glob-0.7.12: copy/register case-insensitive-1.2.0.7: build connection-0.2.6: download connection-0.2.6: configure connection-0.2.6: build case-insensitive-1.2.0.7: copy/register dlist-instances-0.1.1.1: download dlist-instances-0.1.1.1: configure connection-0.2.6: copy/register dlist-instances-0.1.1.1: build http-types-0.9.1: download http-types-0.9.1: configure dlist-instances-0.1.1.1: copy/register optparse-applicative-0.13.0.0: download http-types-0.9.1: build optparse-applicative-0.13.0.0: configure optparse-applicative-0.13.0.0: build http-types-0.9.1: copy/register http-client-0.5.3.3: download http-client-0.5.3.3: configure http-client-0.5.3.3: build optparse-applicative-0.13.0.0: copy/register th-utilities-0.2.0.1: download th-utilities-0.2.0.1: configure th-utilities-0.2.0.1: build th-utilities-0.2.0.1: copy/register vector-binary-instances-0.2.3.2: download vector-binary-instances-0.2.3.2: configure vector-binary-instances-0.2.3.2: build http-client-0.5.3.3: copy/register http-client-tls-0.3.4: download http-client-tls-0.3.4: configure vector-binary-instances-0.2.3.2: copy/register http-client-tls-0.3.4: build void-0.7.1: download void-0.7.1: configure void-0.7.1: build void-0.7.1: copy/register http-client-tls-0.3.4: copy/register contravariant-1.4: download contravariant-1.4: configure zlib-bindings-0.1.1.5: download contravariant-1.4: build zlib-bindings-0.1.1.5: configure zlib-bindings-0.1.1.5: build zlib-bindings-0.1.1.5: copy/register contravariant-1.4: copy/register comonad-4.2.7.2: download comonad-4.2.7.2: configure comonad-4.2.7.2: build comonad-4.2.7.2: copy/register bifunctors-5.2: download bifunctors-5.2: configure bifunctors-5.2: build attoparsec-0.13.1.0: copy/register aeson-1.0.2.1: download conduit-extra-1.1.14: download conduit-extra-1.1.14: configure conduit-extra-1.1.14: build aeson-1.0.2.1: configure aeson-1.0.2.1: build mwc-random-0.13.4.0: copy/register hit-0.6.3: download hit-0.6.3: configure hit-0.6.3: build bifunctors-5.2: copy/register conduit-extra-1.1.14: copy/register profunctors-5.2: download profunctors-5.2: configure cryptonite-conduit-0.1: download profunctors-5.2: build cryptonite-conduit-0.1: configure cryptonite-conduit-0.1: build cryptonite-conduit-0.1: copy/register monad-logger-0.3.20.1: download monad-logger-0.3.20.1: configure monad-logger-0.3.20.1: build monad-logger-0.3.20.1: copy/register project-template-0.2.0: download project-template-0.2.0: configure project-template-0.2.0: build profunctors-5.2: copy/register semigroupoids-5.0.1: download semigroupoids-5.0.1: configure project-template-0.2.0: copy/register vector-algorithms-0.7.0.1: download semigroupoids-5.0.1: build vector-algorithms-0.7.0.1: configure vector-algorithms-0.7.0.1: build hit-0.6.3: copy/register semigroupoids-5.0.1: copy/register free-4.12.4: download free-4.12.4: configure free-4.12.4: build free-4.12.4: copy/register either-4.4.1.1: download adjunctions-4.3: download either-4.4.1.1: configure either-4.4.1.1: build adjunctions-4.3: configure adjunctions-4.3: build either-4.4.1.1: copy/register keys-3.11: download keys-3.11: configure keys-3.11: build adjunctions-4.3: copy/register kan-extensions-4.2.3: download kan-extensions-4.2.3: configure kan-extensions-4.2.3: build keys-3.11: copy/register optparse-simple-0.0.3: download optparse-simple-0.0.3: configure optparse-simple-0.0.3: build kan-extensions-4.2.3: copy/register optparse-simple-0.0.3: copy/register pointed-4.2.0.2: download pointed-4.2.0.2: configure pointed-4.2.0.2: build pointed-4.2.0.2: copy/register vector-instances-3.3.1: download vector-instances-3.3.1: configure vector-instances-3.3.1: build vector-instances-3.3.1: copy/register vector-algorithms-0.7.0.1: copy/register mono-traversable-0.10.2: download mono-traversable-0.10.2: configure mono-traversable-0.10.2: build aeson-1.0.2.1: copy/register http-conduit-2.2.3: download binary-tagged-0.1.4.1: download binary-tagged-0.1.4.1: configure aeson-compat-0.3.6: download binary-tagged-0.1.4.1: build http-conduit-2.2.3: configure http-conduit-2.2.3: build aeson-compat-0.3.6: configure aeson-compat-0.3.6: build http-conduit-2.2.3: copy/register aeson-compat-0.3.6: copy/register path-0.5.9: download path-0.5.9: configure persistent-2.6: download path-0.5.9: build persistent-2.6: configure binary-tagged-0.1.4.1: copy/register persistent-2.6: build yaml-0.8.20: download yaml-0.8.20: configure yaml-0.8.20: build path-0.5.9: copy/register path-io-1.1.0: download path-io-1.1.0: configure path-io-1.1.0: build path-io-1.1.0: copy/register yaml-0.8.20: copy/register hpack-0.17.0: download hpack-0.17.0: configure hpack-0.17.0: build persistent-2.6: copy/register persistent-template-2.5.1.6: download persistent-sqlite-2.6: download persistent-template-2.5.1.6: configure persistent-template-2.5.1.6: build persistent-sqlite-2.6: configure persistent-sqlite-2.6: build hpack-0.17.0: copy/register mono-traversable-0.10.2: copy/register store-0.3: download store-0.3: configure store-0.3: build persistent-template-2.5.1.6: copy/register persistent-sqlite-2.6: copy/register store-0.3: copy/register stack-1.4.0: configure [1 of 1] Compiling Main ( /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack- upgrade68242/stack-1.4.0/Setup.hs, /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack- upgrade68242/stack-1.4.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/Main.o ) Linking /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack- upgrade68242/stack-1.4.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/setup ... Configuring stack-1.4.0... stack-1.4.0: build Preprocessing library stack-1.4.0... [ 1 of 124] 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 124] Compiling Hackage.Security.Client.Repository.HttpLib.HttpClient ( src/Hackage/Security/Client/Repository/HttpLib/HttpClient.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Hackage/Security/Client/Repository/HttpLib/HttpClient.o ) [ 3 of 124] Compiling Stack.Options.ScriptParser ( src/Stack/Options/ScriptParser.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/Options/ScriptParser.o ) [ 4 of 124] 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 ) [ 5 of 124] Compiling Stack.FileWatch ( src/Stack/FileWatch.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/FileWatch.o ) [ 6 of 124] 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 ) [ 7 of 124] 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 ) [ 8 of 124] 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 ) [ 9 of 124] Compiling Path.Find ( src/Path/Find.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Find.o ) [ 10 of 124] Compiling Path.Extra ( src/Path/Extra.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Extra.o ) [ 11 of 124] 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/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/ghc89392_0/libghc_68.dylib, 5): no suitable image found. Did find: /var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/ghc89392_0/libghc_68.dylib: malformed mach-o: load commands size (49264) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Completed all 185 actions. -- While building package stack-1.4.0 using: /private/var/folders/7z/sy01r6wd3mzclwj66h1t25zw0000gn/T/stack- upgrade68242/stack-1.4.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 Wolfgangs-MacBook-Air:~ wolf$ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13447> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10143: Separate PprFlags (used by Outputable) from DynFlags
by GHC 18 Mar '17

18 Mar '17

#10143: Separate PprFlags (used by Outputable) from DynFlags -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- At the moment, SDoc computations have full access to the entirety of DynFlags, despite only a minusculely small amount of the data structure being relevant to them. This proposal is to split out a `PprFlags` structure which will be contained in a `DynFlags`, and contain dynamic flags JUST for pretty-printing. There will be a function `pprFlags :: DynFlags -> PprFlags`. This also helps eliminate the circular dependency between `DynFlags` and `Outputable`. This structure is not complete, but it should give a sense for some of the things that need to be put in here: {{{ data PprFlags = PprFlags { pprUserLength :: Int, pprCols :: Int, useUnicode :: Bool, useUnicodeSyntax :: Bool, targetPlatform :: Platform, suppressUniques :: Bool, errorSpans :: Bool, suppressModulePrefixes :: Bool } }}} I have a patch in-progress which factors this out, but I want to get some sign-offs that this is a good refactoring before I finish it. Thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10143> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17