November 2016 - ghc-tickets

[GHC] #12886: Proposal for throwLeft and throwLeftIO in Control.Exception
by GHC 02 Dec '16

02 Dec '16

#12886: Proposal for throwLeft and throwLeftIO in Control.Exception -------------------------------------+------------------------------------- Reporter: yfeldblum | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: | Version: 8.0.1 libraries/base | 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 already exist some functions to translate between `Maybe` and `Exception`, and between `Either` and `Exception` in the module `Control.Exception`. Given an API like: {{{#!hs data MyException --... instance Exception MyException --... myUsefulFunction :: a -> b -> c -> Either MyException d myUsefulAction :: a -> b -> c -> IO (Either MyException d) }}} It sometimes the case that calling code that cannot sensibly handle `Left` results directly. This proposal is to add standard library functions that let calling code easily to turn `Left` results into thrown runtime exceptions, which might be caught and handled further up the call stack. {{{#!hs throwLeft :: Exception e => Either e a -> a throwLeftIO :: Exception e => Either e a -> IO a }}} Note that examples of functions named `throwLeft` may be found in the wild: https://www.stackage.org/lts-7.10/hoogle?q=throwLeft. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12886> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12796: hschooks.c #include path is incorrect
by GHC 01 Dec '16

01 Dec '16

#12796: hschooks.c #include path is incorrect -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When replacing `rtsBool` with the C99 `bool` type I noticed (I think) that `ghc/hschooks.c` seems to be compiled with an incorrect include path. Namely, the `#include "Rts.h"` ends up including the `Rts.h` from the bootstrap compiler, not the stage1 compiler that we are compiling. I'm still not entirely certain that this is the case since it seems something like this should have blown up long ago, but it's late so I'm just leaving this here for now. Relevant command line: {{{ "/opt/exp/ghc/roots/8.0.1/bin/ghc" -optc-fno-stack-protector -optc-Wall -optc-Werror -optc-Ighc/stage1/build/ghc/autogen -optc-I'/opt/exp/ghc/ghc- linker/compiler/.' -optc-I'/opt/exp/ghc/ghc-linker/compiler/parser' -optc-I'/opt/exp/ghc/ghc-linker/compiler/utils' -optc-I'/opt/exp/ghc/ghc- linker/compiler/stage1' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/process-1.4.2.0/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/directory-1.2.6.2/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/unix-2.7.2.0/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/time-1.6.0.1/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/bytestring-0.10.8.1/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/base-4.9.0.0/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/integer- gmp-1.0.0.1/include' -optc-I'/opt/exp/ghc/roots/8.0.1/lib/ghc-8.0.1/include' -optc-Werror =unused-but-set-variable -optc-Wno-error=inline -static -O0 -H64m -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -ighc/. -ighc/stage1/build -Ighc/stage1/build -ighc/stage1/build/ghc/autogen -Ighc/stage1/build/ghc/autogen -optP-include -optPghc/stage1/build/ghc/autogen/cabal_macros.h -package-id array-0.5.1.1 -package-id base-4.9.0.0 -package-id bytestring-0.10.8.1 -package-id directory-1.2.6.2 -package-id filepath-1.4.1.0 -package-id ghc-8.1 -package-id ghc-boot-8.1 -package-id process-1.4.2.0 -package-id unix-2.7.2.0 -Wall -XHaskell2010 -O -DDEBUG -no-hs-main -no-user-package- db -rtsopts -c ghc/hschooks.c -o ghc/stage1/build/hschooks.o }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12796> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11378: Use the compiler that built ghc for dynamic code loading, for cross-compiling
by GHC 01 Dec '16

01 Dec '16

#11378: Use the compiler that built ghc for dynamic code loading, for cross- compiling -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Priority: lowest | Milestone: ⊥ Component: Template | Version: 7.11 Haskell | 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: -------------------------------------+------------------------------------- In a non cross-compiled stage 2 compiler, this coincides with what we do today, because the stage 1 implementation of GHC is the same as the stage 2 implementation. But in a cross-compiler, these are NOT the same: the cross-compiler's ghc library handles the package database in the target platform, whereas the compiler that built stage 2 (stage 1)'s ghc library handles the package database for the compiler's platform. So, the correct architecture for supporting compiler plugins is that GHC should use the package-database/interface infrastructure from the compiler which built it (stage 1) to handle loading. A few things to note: 1. There is not a backwards-compatibility problem, because we can assume that stage 1 and stage 2 are built from the same codebase. In particular, this does NOT mean that TH/plugins start working on a stage 1 compiler. You have to have bootstrapped from the same codebase. 2. Plugins (and even Template Haskell) have to be a bit more careful to take advantage of this. We cannot just assume that the package database for plugins is the same as the package database for compiling (revisiting #11244). Template Haskell is even trickier: we should NOT be allowed to use regular imports in splices; they have to go through `TH_ONLY` imports, c.f. #11377 3. Can we actually link against the old version of `ghc`? Yes we can! All we need is (1) for it to have been built with a different IPID, and (2) to use module renaming to rename the relevant modules to a different module name, so that we can import them without a conflict. Stepping back, there have been two approaches for dealing with the problem of Template Haskell/compiler plugins not reliably working: 1. Run the code in an external process run in the target code, or 2. Fix GHC to load code which is appropriately built for the bootstrap platform. While (1) offers a more uniform environment for developers, (2) is absolutely necessary in some situations when you need to load code in the same address space as GHC, e.g. as mentioned in https://mail.haskell.org/pipermail/ghc-devs/2015-November/010478.html Thus, it seems worth pursuing both. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11378> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11377: Template Haskell only imports
by GHC 01 Dec '16

01 Dec '16

#11377: Template Haskell only imports -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Priority: low | Milestone: Component: Template | Version: 7.11 Haskell | 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: -------------------------------------+------------------------------------- This is the Template Haskell equivalent of #11244. It should be possible to use the plugin package database to make a Template Haskell only import; I suggest the syntax `import {-# TH_ONLY #-} Foo`. Such imports are only allowed to be used in splices, and cannot be quoted (they are not allowed to reside in the final code generated by the splice.) The reason a user may want to use such an import is that it means that they can declare that a library is necessary when compiling splices, but not necessary when actually linking against it. There are extra benefits. If a user is compiling the package with the splices with profiling, it ordinarily requires all imports to have been compiled with profiling. This would NOT be necessary for a `TH_ONLY` import, since we're only ever going to run the imported code in the (non- profiled) compiler, and not in the (profiled) executable.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11377> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11293: Compiler plugins don't work with profiling
by GHC 01 Dec '16

01 Dec '16

#11293: Compiler plugins don't work with profiling -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.11 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: -------------------------------------+------------------------------------- Suppose I have a normally built compiler plugin, and I'd like to use it while building some profiled code. This doesn't work: (non-profiled) GHC searches for the profiled version of the plugin. This is wrong wrong wrong: plugin searches should be with respect to how GHC was compiled. (Test case: take the `plugins01` test and add `-prof` to it) Now that we have `-plugin-package`, it should be a simple matter to ensure that plugin lookups follow a different codepath, though I'm not sure how to figure out what GHC is built with; this should just be however TH does it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11293> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12895: Lookup rules associated with functions/values in GHCI
by GHC 01 Dec '16

01 Dec '16

#12895: Lookup rules associated with functions/values in GHCI -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: GHCi | 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: -------------------------------------+------------------------------------- It would be nice to have a way to look up in GHCi what rules can fire for a certain constant as the outmost symbol on the LHS. For example, something like {{{ ghci> :pragmas map {-# RULE "map" [~1] forall f xs. map f xs = build (\c n -> foldr (mapFB c f) n xs) #-} {-# RULE "map/coerce" [1] map coerce = coerce #-} }}} As the name suggests, I think we would also want to list applicable NOINLINE, INLINE, INLINABLE, CONLIKE, SPECIALIZE, etc pragmas too. This would simplify the process of debugging mis-firing rules. If this isn't too difficult, I'd love to try implementing it. I've been looking for some way of contributing to GHC. This initially came up here http://stackoverflow.com/q/38651602/3072788. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12895> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11974: `default` declaration doesn't allow higher-kinded types
by GHC 01 Dec '16

01 Dec '16

#11974: `default` declaration doesn't allow higher-kinded types -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new 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: -------------------------------------+------------------------------------- Since we now have #10971, I would expect the following to work: {{{ {-# LANGUAGE ExtendedDefaultRules #-} module Bug where default (Maybe, []) }}} But it doesn't. Sadly, the default default list contains `[]`, but the user can never set this. Fix on the way. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11974> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #12792: Wrong error message when using a data type as a class instance head
by GHC 01 Dec '16

01 Dec '16

#12792: Wrong error message when using a data type as a class instance head -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: newcomer | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ Prelude> data List a = Nil | Cons a (List a) Prelude> instance List a <interactive>:3:10: error: • Expected a constraint, but ‘List a’ has kind ‘*’ • In the instance declaration for ‘List a’ Prelude> instance List a where foo = foo <interactive>:2:23: error: ‘foo’ is not a (visible) method of class ‘List’ }}} Clearly, the constraint check should happen before we look at the method names. Happens with 7.10 and 8.0.1 and HEAD. Shouldn’t be hard, marking at newcomer. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12792> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #12904: GHC 7.10.3 Binary distribution is broken.
by GHC 01 Dec '16

01 Dec '16

#12904: GHC 7.10.3 Binary distribution is broken. --------------------------------+------------------------------------------ Reporter: Phyx- | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86 | Type of failure: Installing GHC failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+------------------------------------------ The GHC i386 binary for Windows hosted on https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-unknown- mingw32.tar.xz is broken. {{{ Tamar@Rage MINGW64 ~/Temp $ wget https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-unknown- mingw32.tar.xz --2016-11-30 19:32:15-- https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-i386-unknown- mingw32.tar.xz Resolving downloads.haskell.org (downloads.haskell.org) 151.101.16.68 Connecting to downloads.haskell.org (downloads.haskell.org)|151.101.16.68|:443... connected. HTTP request sent, awaiting response... 200 OK Length: 131297148 (125M) [application/octet-stream] Saving to: ‘ghc-7.10.3-i386-unknown-mingw32.tar.xz’ ghc-7.10.3-i386-unknown-mingw32.tar.xz 100%[==========================================================================================================================================>] 125.21M 3.11MB/s in 42s 2016-11-30 19:32:58 (2.98 MB/s) - ‘ghc-7.10.3-i386-unknown-mingw32.tar.xz’ saved [131297148/131297148] Tamar@Rage MINGW64 ~/Temp $ xz -d ghc-7.10.3-i386-unknown-mingw32.tar.xz Tamar@Rage MINGW64 ~/Temp $ tar xf ghc-7.10.3-i386-unknown-mingw32.tar ghc-7.10.3/ Tamar@Rage MINGW64 ~/Temp $ ghc-7.10.3/bin/ghc-pkg.exe check Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\mtl-2.2.1\html\mtl.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\mtl-2.2.1\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\QuickCheck-2.9.2\html\QuickCheck.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\QuickCheck-2.9.2\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\tf-random-0.5\html\tf-random.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\tf-random-0.5\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\primitive-0.6.2.0\html\primitive.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\primitive-0.6.2.0\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\random-1.1\html\random.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\random-1.1\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\semigroups-0.18.2\html\semigroups.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\semigroups-0.18.2\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\unordered-containers-0.2.7.1\html\unordered- containers.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\unordered-containers-0.2.7.1\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\tagged-0.8.5\html\tagged.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\tagged-0.8.5\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\hashable-1.2.4.0\html\hashable.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\hashable-1.2.4.0\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\transformers-compat-0.5.1.4\html\transformers- compat.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\transformers-compat-0.5.1.4\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\text-1.2.2.1\html\text.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\text-1.2.2.1\html doesn't exist or isn't a directory Warning: haddock-interfaces: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\Cabal-1.24.1.0\html\Cabal.haddock doesn't exist or isn't a file Warning: haddock-html: C:\Users\Tamar\AppData\Roaming\cabal\doc\i386 -windows-ghc-7.10.3\Cabal-1.24.1.0\html doesn't exist or isn't a directory There are problems in package QuickCheck-2.8.2: Warning: library-dirs: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\i386-windows- ghc-7.10.3\QuickCheck-2.8.2-FVXBHVG9RbOFIRbzutBVgm doesn't exist or isn't a directory Warning: haddock-interfaces: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\doc\i386-windows- ghc-7.10.3\QuickCheck-2.8.2\html\QuickCheck.haddock doesn't exist or isn't a file Warning: haddock-html: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\doc\i386-windows- ghc-7.10.3\QuickCheck-2.8.2\html doesn't exist or isn't a directory dependency "random-1.1-7QYmtoQynVDOpQqT5qt8s" doesn't exist dependency "tf-random-0.5-2tObRpM5RdhFns5AGGuShR" doesn't exist import-dirs: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\i386-windows- ghc-7.10.3\QuickCheck-2.8.2-FVXBHVG9RbOFIRbzutBVgm doesn't exist or isn't a directory cannot find any of ["Test\\QuickCheck.hi","Test\\QuickCheck.p_hi","Test\\QuickCheck.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Arbitrary.hi","Test\\QuickCheck\\Arbitrary.p_hi","Test\\QuickCheck\\Arbitrary.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Gen.hi","Test\\QuickCheck\\Gen.p_hi","Test\\QuickCheck\\Gen.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Gen\\Unsafe.hi","Test\\QuickCheck\\Gen\\Unsafe.p_hi","Test\\QuickCheck\\Gen\\Unsafe.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Monadic.hi","Test\\QuickCheck\\Monadic.p_hi","Test\\QuickCheck\\Monadic.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Modifiers.hi","Test\\QuickCheck\\Modifiers.p_hi","Test\\QuickCheck\\Modifiers.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Property.hi","Test\\QuickCheck\\Property.p_hi","Test\\QuickCheck\\Property.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Test.hi","Test\\QuickCheck\\Test.p_hi","Test\\QuickCheck\\Test.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Text.hi","Test\\QuickCheck\\Text.p_hi","Test\\QuickCheck\\Text.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Poly.hi","Test\\QuickCheck\\Poly.p_hi","Test\\QuickCheck\\Poly.dyn_hi"] cannot find any of ["Test\\QuickCheck\\State.hi","Test\\QuickCheck\\State.p_hi","Test\\QuickCheck\\State.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Random.hi","Test\\QuickCheck\\Random.p_hi","Test\\QuickCheck\\Random.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Exception.hi","Test\\QuickCheck\\Exception.p_hi","Test\\QuickCheck\\Exception.dyn_hi"] cannot find any of ["Test\\QuickCheck\\Function.hi","Test\\QuickCheck\\Function.p_hi","Test\\QuickCheck\\Function.dyn_hi"] cannot find any of ["Test\\QuickCheck\\All.hi","Test\\QuickCheck\\All.p_hi","Test\\QuickCheck\\All.dyn_hi"] cannot find any of ["libHSQuickCheck-2.8.2-FVXBHVG9RbOFIRbzutBVgm.a","libHSQuickCheck-2.8.2-FVXBHVG9RbOFIRbzutBVgm.p_a","libHSQuickCheck-2.8.2 -FVXBHVG9RbOFIRbzutBVgm-ghc7.10.3.so","libHSQuickCheck-2.8.2 -FVXBHVG9RbOFIRbzutBVgm-ghc7.10.3.dylib","HSQuickCheck-2.8.2 -FVXBHVG9RbOFIRbzutBVgm-ghc7.10.3.dll"] on library path There are problems in package primitive-0.6.1.0: Warning: library-dirs: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\i386-windows- ghc-7.10.3\primitive-0.6.1.0-DWCFovCQaj03LmIiVkz6kr doesn't exist or isn't a directory Warning: include-dirs: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\i386-windows- ghc-7.10.3\primitive-0.6.1.0-DWCFovCQaj03LmIiVkz6kr\include doesn't exist or isn't a directory Warning: haddock-interfaces: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\doc\i386-windows- ghc-7.10.3\primitive-0.6.1.0\html\primitive.haddock doesn't exist or isn't a file Warning: haddock-html: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\doc\i386-windows- ghc-7.10.3\primitive-0.6.1.0\html doesn't exist or isn't a directory import-dirs: C:/ProgramData/chocolatey/lib/ghc- devel-x86/msys32/usr/local\i386-windows- ghc-7.10.3\primitive-0.6.1.0-DWCFovCQaj03LmIiVkz6kr doesn't exist or isn't a directory cannot find any of ["Control\\Monad\\Primitive.hi","Control\\Monad\\Primitive.p_hi","Control\\Monad\\Primitive.dyn_hi"] cannot find any of ["Data\\Primitive.hi","Data\\Primitive.p_hi","Data\\Primitive.dyn_hi"] cannot find any of ["Data\\Primitive\\MachDeps.hi","Data\\Primitive\\MachDeps.p_hi","Data\\Primitive\\MachDeps.dyn_hi"] cannot find any of ["Data\\Primitive\\Types.hi","Data\\Primitive\\Types.p_hi","Data\\Primitive\\Types.dyn_hi"] cannot find any of ["Data\\Primitive\\Array.hi","Data\\Primitive\\Array.p_hi","Data\\Primitive\\Array.dyn_hi"] cannot find any of ["Data\\Primitive\\ByteArray.hi","Data\\Primitive\\ByteArray.p_hi","Data\\Primitive\\ByteArray.dyn_hi"] cannot find any of ["Data\\Primitive\\Addr.hi","Data\\Primitive\\Addr.p_hi","Data\\Primitive\\Addr.dyn_hi"] cannot find any of ["Data\\Primitive\\MutVar.hi","Data\\Primitive\\MutVar.p_hi","Data\\Primitive\\MutVar.dyn_hi"] cannot find any of ["Data\\Primitive\\Internal\\Compat.hi","Data\\Primitive\\Internal\\Compat.p_hi","Data\\Primitive\\Internal\\Compat.dyn_hi"] cannot find any of ["Data\\Primitive\\Internal\\Operations.hi","Data\\Primitive\\Internal\\Operations.p_hi","Data\\Primitive\\Internal\\Operations.dyn_hi"] cannot find any of ["libHSprimitive-0.6.1.0-DWCFovCQaj03LmIiVkz6kr.a","libHSprimitive-0.6.1.0-DWCFovCQaj03LmIiVkz6kr.p_a","libHSprimitive-0.6.1.0 -DWCFovCQaj03LmIiVkz6kr-ghc7.10.3.so","libHSprimitive-0.6.1.0 -DWCFovCQaj03LmIiVkz6kr-ghc7.10.3.dylib","HSprimitive-0.6.1.0 -DWCFovCQaj03LmIiVkz6kr-ghc7.10.3.dll"] on library path The following packages are broken, either because they have a problem listed above, or because they depend on a broken package. QuickCheck-2.8.2 primitive-0.6.1.0 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12904> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12898: Upgrade Stack failed
by GHC 01 Dec '16

01 Dec '16

#12898: Upgrade Stack failed ----------------------------------------+---------------------------- Reporter: Bugger | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+---------------------------- (Please note that I am new here and not sure whether it is the right place to post this...) I was trying to do stack upgrade via shell and received following output (cf. attachement): As it links here with "Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug" I will just post it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12898> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2