November 2016 - ghc-tickets

[GHC] #12630: Assertion failed with BuildFlavour = devel2
by GHC 07 Nov '16

07 Nov '16

#12630: Assertion failed with BuildFlavour = devel2 -------------------------------------+------------------------------------- Reporter: pacak | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I tried to reproduce random ghc panic we have in our codebase with ghc8 so I decided to compile ghc with debug enabled. Source file: ghc-8.0.1-src.tar.xz build.mk changes: {{{ BuildFlavour = devel2 GhcStage1HcOpts = -DDEBUG GhcStage2HcOpts = -DDEBUG }}} source: {{{#!hs {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PolyKinds #-} module A where import GHC.Generics class B f where b :: [f a] toEnumDefault :: (B (Rep a)) => Int -> a toEnumDefault i = let l = b in to }}} result: {{{ [1 of 1] Compiling A ( a.hs, a.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): ASSERT failed! CallStack (from HasCallStack): assertPprPanic, called at compiler/types/TyCoRep.hs:1974:56 in ghc:TyCoRep checkValidSubst, called at compiler/types/TyCoRep.hs:2010:17 in ghc:TyCoRep substTy, called at compiler/types/TyCoRep.hs:1952:3 in ghc:TyCoRep in_scope InScope [a1BD :-> a_a1BD[sk], a1BI :-> k_a1BI[tau:3], a1BJ :-> f_a1BJ[tau:3], a1BL :-> a_a1BL[sk]] tenv [a1BD :-> a_a1BL[sk]] tenvFVs [a1Bz :-> k_a1Bz[tau:5], a1BL :-> a_a1BL[sk]] cenv [] cenvFVs [] tys [[f_a1BJ[tau:3] a_a1BD[sk]]] cos [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12630> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #12728: setnumcapabilities001 sometimes fails on Windows
by GHC 07 Nov '16

07 Nov '16

#12728: setnumcapabilities001 sometimes fails on Windows --------------------------------------+---------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Runtime System | Version: 8.0.1 Keywords: | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+---------------------------------- I have seen the `setnumcapabilities001` test fail at least once on Windows ([[https://phabricator.haskell.org/harbormaster/build/14178/?l=0]] It seems that the assertion `ASSERT(n_idle == 0);` in `Schedule.scheduleDoGC` is to blame in this particular case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12728> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12746: Assertion failed with BuildFlavour = devel2 (one more)
by GHC 07 Nov '16

07 Nov '16

#12746: Assertion failed with BuildFlavour = devel2 (one more) -------------------------------------+------------------------------------- Reporter: pacak | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Affected versions: ghc 8.0.1 and ghc git master as of 21 Oct 2016 (c23dc61) It compiles fine on first time but fails to compile on second attempt. Using -fforce-recomp recompiles both files and bug is not triggered. {{{ % ls A.hs B.hs % cat A.hs }}} {{{#!hs module A where import B foo a = case a of Foo -> True _ -> False }}} {{{ % cat B.hs }}} {{{#!hs {-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-} module B where pattern Foo = 0x00000001 :: Int }}} {{{ % ghc -O2 A.hs ; touch A.hs ; ghc -O2 A.hs [1 of 2] Compiling B ( B.hs, B.o ) [2 of 2] Compiling A ( A.hs, A.o ) [2 of 2] Compiling A ( A.hs, A.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): ASSERT failed! CallStack (from HasCallStack): assertPprPanic, called at compiler/iface/BuildTyCl.hs:195:404 in ghc:BuildTyCl [] ~ [] [] ~ [] Int ~ Int [] ~ [] [] ~ [] [] ~ [Void#] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12746> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #12738: GHC drops -optl flags
by GHC 07 Nov '16

07 Nov '16

#12738: GHC drops -optl flags -------------------------------------+------------------------------------- Reporter: niteria | Owner: 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: -------------------------------------+------------------------------------- This is a regression between GHC 7.10 and GHC 8.0. Repro script: {{{ GHC_ROOT=$HOME/local/ghc-8.0.1-facebook # built 8.0.1 branch, fails with recent HEAD as well GHC=$GHC_ROOT/inplace/bin/ghc-stage2 GPP=g++ touch build_info.o # irrelevant "$GHC" -no-auto-link-packages -pgml"$GPP" -o a.out build_info.o -optl- Xlinker -optl$GHC_ROOT/libraries/ghc-prim/dist-install/build/libHSghc- prim-0.5.0.0.a -optl-Xlinker -optl-u -optl-Xlinker -optlghczmprim_GHCziTypes_Izh_static_info -v }}} Output from GHC 7.10 (expected): {{{ Glasgow Haskell Compiler, Version 7.10.2, stage 2 booted by GHC version 7.8.4 Using binary package database: /usr/local/haskell/ghc-7.10.2-x86_64/lib/ghc-7.10.2/package.conf.d/package.cache Using binary package database: /home/bnitka/.ghc/x86_64-linux-7.10.2/package.conf.d/package.cache wired-in package ghc-prim mapped to ghc- prim-0.4.0.0-af16264bc80979d06e37ac63e3ba9a21 wired-in package integer-gmp mapped to integer- gmp-1.0.0.0-8e0f14d0262184533b417ca1f8b44482 wired-in package base mapped to base-4.8.1.0-4f7206fd964c629946bb89db72c80011 wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.10.0.0-90e8393d65f4ae44cb2026177a257f28 wired-in package ghc mapped to ghc-7.10.2-787f1a784665fb3ac2a1be1d9d85245b wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: Created temporary directory: /tmp/ghc2775839_0 *** C Compiler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -c /tmp/ghc2775839_0/ghc_1.c -o /tmp/ghc2775839_0/ghc_2.o -I/usr/local/haskell/ghc-7.10.2-x86_64/lib/ghc-7.10.2/include *** C Compiler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -c /tmp/ghc2775839_0/ghc_3.s -o /tmp/ghc2775839_0/ghc_4.o -I/usr/local/haskell/ghc-7.10.2-x86_64/lib/ghc-7.10.2/include *** Linker: 'g++' '-Wl,--hash-size=31' -Wl,--reduce-memory-overheads -Wl,--no-as- needed -Xlinker /home/bnitka/local/ghc-8.0.1-facebook/libraries/ghc-prim /dist-install/build/libHSghc-prim-0.5.0.0.a -Xlinker -u -Xlinker ghczmprim_GHCziTypes_Izh_static_info -o a.out build_info.o /tmp/ghc2775839_0/ghc_2.o /tmp/ghc2775839_0/ghc_4.o build_info.o: file not recognized: File truncated collect2: ld returned 1 exit status *** Deleting temp files: Deleting: /tmp/ghc2775839_0/ghc_4.o /tmp/ghc2775839_0/ghc_3.s /tmp/ghc2775839_0/ghc_2.o /tmp/ghc2775839_0/ghc_1.c *** Deleting temp dirs: Deleting: /tmp/ghc2775839_0 }}} Output from GHC 8.0: {{{ Glasgow Haskell Compiler, Version 8.0.1.20160729, stage 2 booted by GHC version 7.10.2 Using binary package database: /data/users/bnitka/ghc-8.0.1-facebook/inplace/lib/package.conf.d/package.cache loading package database /data/users/bnitka/ghc-8.0.1-facebook/inplace/lib/package.conf.d wired-in package ghc-prim mapped to ghc-prim-0.5.0.0 wired-in package integer-gmp mapped to integer-gmp-1.0.0.1 wired-in package base mapped to base-4.9.0.0 wired-in package rts mapped to rts wired-in package template-haskell mapped to template-haskell-2.11.0.0 wired-in package ghc mapped to ghc-8.0.1.20160729 wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: Created temporary directory: /tmp/ghc2778573_0 *** C Compiler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -c /tmp/ghc2778573_0/ghc_1.c -o /tmp/ghc2778573_0/ghc_2.o -I/data/users/bnitka/ghc-8.0.1-facebook/rts/dist/build -I/data/users/bnitka/ghc-8.0.1-facebook/includes -I/data/users/bnitka/ghc-8.0.1-facebook/includes/dist- derivedconstants/header *** C Compiler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -c /tmp/ghc2778573_0/ghc_4.s -o /tmp/ghc2778573_0/ghc_5.o *** Linker: 'g++' '-Wl,--hash-size=31' -Wl,--reduce-memory-overheads -Wl,--no-as- needed -Xlinker -Xlinker -u -Xlinker ghczmprim_GHCziTypes_Izh_static_info -o a.out -Wl,--gc-sections build_info.o /tmp/ghc2778573_0/ghc_2.o /tmp/ghc2778573_0/ghc_5.o /home/bnitka/local/ghc-8.0.1-facebook/libraries /ghc-prim/dist-install/build/libHSghc-prim-0.5.0.0.a g++: ghczmprim_GHCziTypes_Izh_static_info: No such file or directory *** Deleting temp files: Deleting: /tmp/ghc2778573_0/ghc_7.rsp /tmp/ghc2778573_0/ghc_6.rsp /tmp/ghc2778573_0/ghc_5.o /tmp/ghc2778573_0/ghc_4.s /tmp/ghc2778573_0/ghc_3.rsp /tmp/ghc2778573_0/ghc_2.o /tmp/ghc2778573_0/ghc_1.c *** Deleting temp dirs: Deleting: /tmp/ghc2778573_0 `g++' failed in phase `Linker'. (Exit code: 1) }}} The relevant difference is in the flags passed to `g++`. {{{ 'g++' '-Wl,--hash-size=31' -Wl,--reduce-memory-overheads -Wl,--no-as- needed -Xlinker /home/bnitka/local/ghc-8.0.1-facebook/libraries/ghc-prim /dist-install/build/libHSghc-prim-0.5.0.0.a -Xlinker -u -Xlinker ghczmprim_GHCziTypes_Izh_static_info -o a.out build_info.o /tmp/ghc2775839_0/ghc_2.o /tmp/ghc2775839_0/ghc_4.o }}} vs {{{ 'g++' '-Wl,--hash-size=31' -Wl,--reduce-memory-overheads -Wl,--no-as- needed -Xlinker -Xlinker -u -Xlinker ghczmprim_GHCziTypes_Izh_static_info -o a.out -Wl,--gc-sections build_info.o /tmp/ghc2778573_0/ghc_2.o /tmp/ghc2778573_0/ghc_5.o /home/bnitka/local/ghc-8.0.1-facebook/libraries /ghc-prim/dist-install/build/libHSghc-prim-0.5.0.0.a }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12738> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12810: -Wredundant-constraints doesn't factor in associated type families
by GHC 07 Nov '16

07 Nov '16

#12810: -Wredundant-constraints doesn't factor in associated type families -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | 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: -------------------------------------+------------------------------------- If I compile this code: {{{#!hs {-# LANGUAGE TypeFamilies #-} module M where class C a where type T a instance C a => C [a] where type T [a] = T a }}} with `-Wredundant-constraints` enabled, it complains: {{{ $ /opt/ghc/head/bin/ghc -Wredundant-constraints M.hs [1 of 1] Compiling M ( M.hs, M.o ) M.hs:7:10: warning: [-Wredundant-constraints] • Redundant constraint: C a • In the instance declaration for ‘C [a]’ }}} I don't think this is right. The RHS of `T [a]` won't be able to reduce unless there's a `T a` instance available–that is, unless there's a `C a` instance available, which is what the context provides, making it non- redundant. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12810> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11369: Suppress redundant-constraint warnings in case of empty classes
by GHC 07 Nov '16

07 Nov '16

#11369: Suppress redundant-constraint warnings in case of empty classes -------------------------------------+------------------------------------- Reporter: hvr | Owner: simonpj Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 8.1 (Type checker) | 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: -------------------------------------+------------------------------------- The technique described in http://www.well-typed.com/blog/2015/07/checked-exceptions/ makes use of a class without any methods, i.e. {{{#!hs class Throws e }}} However, this by definition results in redundant constraints, e.g. {{{#!hs readFoo :: Throws IOError => FilePath -> IO Foo readFoo fn = {- ... -} }}} which GHC 8.0 warns about. I propose to suppress warnings in case a class which has no methods is used as seemingly redundant constraint. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11369> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #12813: GHC panic when installing haskell-opencv with nix
by GHC 07 Nov '16

07 Nov '16

#12813: GHC panic when installing haskell-opencv with nix -------------------------------------+------------------------------------- Reporter: turion | Owner: 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 installed https://github.com/LumiGuide/haskell-opencv using their recommended build system "nix", i.e. starting nix-shell in the cloned repository, waiting half an hour for several builds to complete and then doing the following from within the nix-shell: {{{ [nix-shell:~/haskell-opencv]$ cabal build Package has never been configured. Configuring with default flags. If this fails, please run configure manually. Resolving dependencies... [1 of 1] Compiling Main ( dist/setup/setup.hs, dist/setup/Main.o ) Linking ./dist/setup/setup ... Configuring opencv-0.0.0... Building opencv-0.0.0... Preprocessing library opencv-0.0.0... In file included from Types.hsc:96:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Features2d.hsc:69:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from HighGui.hsc:87:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from ColorMaps.hsc:28:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Drawing.hsc:52:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from GeometricImgTransform.hsc:81:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from ImgFiltering.hsc:72:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from ObjectDetection.hsc:36:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from StructuralAnalysis.hsc:47:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Video.hsc:32:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from MotionAnalysis.hsc:44:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Constants.hsc:9:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from ArrayOps.hsc:19:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Constants.hsc:9:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Marshal.hsc:21:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from ImgCodecs.hsc:31:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from MiscImgTransform.hsc:14:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Types.hsc:18:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Constants.hsc:9:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ In file included from Constants.hsc:11:0: /nix/store/ybmw9vbx8s8791lc7iggf8yd88kgwmxs-bindings- DSL-1.0.23/lib/ghc-8.0.1/bindings-DSL-1.0.23/include/bindings.dsl.h:191:3: Warnung: »bc_fielddata« definiert, aber nicht verwendet [-Wunused- variable] } bc_fielddata; ^ [ 1 of 70] Compiling OpenCV.Internal.VideoIO.Constants ( dist/build/OpenCV/Internal/VideoIO/Constants.hs, dist/build/OpenCV/Internal/VideoIO/Constants.o ) [ 2 of 70] Compiling OpenCV.Internal.VideoIO.Types ( src/OpenCV/Internal/VideoIO/Types.hs, dist/build/OpenCV/Internal/VideoIO/Types.o ) [ 3 of 70] Compiling OpenCV.VideoIO.Types ( src/OpenCV/VideoIO/Types.hs, dist/build/OpenCV/VideoIO/Types.o ) [ 4 of 70] Compiling OpenCV.Internal.Photo.Constants ( dist/build/OpenCV/Internal/Photo/Constants.hs, dist/build/OpenCV/Internal/Photo/Constants.o ) [ 5 of 70] Compiling OpenCV.Internal.ImgProc.MiscImgTransform ( dist/build/OpenCV/Internal/ImgProc/MiscImgTransform.hs, dist/build/OpenCV/Internal/ImgProc/MiscImgTransform.o ) [ 6 of 70] Compiling OpenCV.Internal.ImgCodecs ( dist/build/OpenCV/Internal/ImgCodecs.hs, dist/build/OpenCV/Internal/ImgCodecs.o ) [ 7 of 70] Compiling OpenCV.Internal.Core.Types.Constants ( dist/build/OpenCV/Internal/Core/Types/Constants.hs, dist/build/OpenCV/Internal/Core/Types/Constants.o ) [ 8 of 70] Compiling OpenCV.Internal.C.PlacementNew ( src/OpenCV/Internal/C/PlacementNew.hs, dist/build/OpenCV/Internal/C/PlacementNew.o ) [ 9 of 70] Compiling OpenCV.Internal.C.PlacementNew.TH ( src/OpenCV/Internal/C/PlacementNew/TH.hs, dist/build/OpenCV/Internal/C/PlacementNew/TH.o ) [10 of 70] Compiling OpenCV.Internal.Mutable ( src/OpenCV/Internal/Mutable.hs, dist/build/OpenCV/Internal/Mutable.o ) [11 of 70] Compiling OpenCV.Internal.Core.ArrayOps ( dist/build/OpenCV/Internal/Core/ArrayOps.hs, dist/build/OpenCV/Internal/Core/ArrayOps.o ) [12 of 70] Compiling OpenCV.Internal ( src/OpenCV/Internal.hs, dist/build/OpenCV/Internal.o ) [13 of 70] Compiling OpenCV.Internal.Calib3d.Constants ( dist/build/OpenCV/Internal/Calib3d/Constants.hs, dist/build/OpenCV/Internal/Calib3d/Constants.o ) [14 of 70] Compiling OpenCV.Internal.C.Types ( src/OpenCV/Internal/C/Types.hs, dist/build/OpenCV/Internal/C/Types.o ) [15 of 70] Compiling OpenCV.Internal.Core.Types.Matx ( src/OpenCV/Internal/Core/Types/Matx.hs, dist/build/OpenCV/Internal/Core/Types/Matx.o ) [16 of 70] Compiling OpenCV.Internal.Core.Types.Matx.TH ( src/OpenCV/Internal/Core/Types/Matx/TH.hs, dist/build/OpenCV/Internal/Core/Types/Matx/TH.o ) [17 of 70] Compiling OpenCV.Internal.Core.Types.Point ( src/OpenCV/Internal/Core/Types/Point.hs, dist/build/OpenCV/Internal/Core/Types/Point.o ) [18 of 70] Compiling OpenCV.Internal.Core.Types.Point.TH ( src/OpenCV/Internal/Core/Types/Point/TH.hs, dist/build/OpenCV/Internal/Core/Types/Point/TH.o ) [19 of 70] Compiling OpenCV.Internal.Core.Types.Size ( src/OpenCV/Internal/Core/Types/Size.hs, dist/build/OpenCV/Internal/Core/Types/Size.o ) [20 of 70] Compiling OpenCV.Internal.Core.Types.Size.TH ( src/OpenCV/Internal/Core/Types/Size/TH.hs, dist/build/OpenCV/Internal/Core/Types/Size/TH.o ) [21 of 70] Compiling OpenCV.Internal.Core.Types.Vec ( src/OpenCV/Internal/Core/Types/Vec.hs, dist/build/OpenCV/Internal/Core/Types/Vec.o ) [22 of 70] Compiling OpenCV.Internal.Core.Types.Vec.TH ( src/OpenCV/Internal/Core/Types/Vec/TH.hs, dist/build/OpenCV/Internal/Core/Types/Vec/TH.o ) [23 of 70] Compiling OpenCV.Internal.C.Inline ( src/OpenCV/Internal/C/Inline.hs, dist/build/OpenCV/Internal/C/Inline.o ) [24 of 70] Compiling OpenCV.Core.Types.Size ( src/OpenCV/Core/Types/Size.hs, dist/build/OpenCV/Core/Types/Size.o ) [25 of 70] Compiling OpenCV.Core.Types.Vec ( src/OpenCV/Core/Types/Vec.hs, dist/build/OpenCV/Core/Types/Vec.o ) [26 of 70] Compiling OpenCV.TypeLevel ( src/OpenCV/TypeLevel.hs, dist/build/OpenCV/TypeLevel.o ) [27 of 70] Compiling OpenCV.Internal.ImgProc.MiscImgTransform.TypeLevel ( src/OpenCV/Internal/ImgProc/MiscImgTransform/TypeLevel.hs, dist/build/OpenCV/Internal/ImgProc/MiscImgTransform/TypeLevel.o ) [28 of 70] Compiling OpenCV.Internal.ImgProc.MiscImgTransform.ColorCodes ( src/OpenCV/Internal/ImgProc/MiscImgTransform/ColorCodes.hs, dist/build/OpenCV/Internal/ImgProc/MiscImgTransform/ColorCodes.o ) [29 of 70] Compiling OpenCV.ImgProc.MiscImgTransform.ColorCodes ( src/OpenCV/ImgProc/MiscImgTransform/ColorCodes.hs, dist/build/OpenCV/ImgProc/MiscImgTransform/ColorCodes.o ) [30 of 70] Compiling OpenCV.Internal.Core.Types.Mat.Depth ( src/OpenCV/Internal/Core/Types/Mat/Depth.hs, dist/build/OpenCV/Internal/Core/Types/Mat/Depth.o ) [31 of 70] Compiling OpenCV.Internal.Exception ( src/OpenCV/Internal/Exception.hs, dist/build/OpenCV/Internal/Exception.o ) [32 of 70] Compiling OpenCV.Exception ( src/OpenCV/Exception.hs, dist/build/OpenCV/Exception.o ) [33 of 70] Compiling OpenCV.Internal.Core.Types.Mat.Marshal ( dist/build/OpenCV/Internal/Core/Types/Mat/Marshal.hs, dist/build/OpenCV/Internal/Core/Types/Mat/Marshal.o ) [34 of 70] Compiling OpenCV.Core.Types.Point ( src/OpenCV/Core/Types/Point.hs, dist/build/OpenCV/Core/Types/Point.o ) [35 of 70] Compiling OpenCV.Internal.Core.Types ( src/OpenCV/Internal/Core/Types.hs, dist/build/OpenCV/Internal/Core/Types.o ) [36 of 70] Compiling OpenCV.Internal.Core.Types.Mat ( src/OpenCV/Internal/Core/Types/Mat.hs, dist/build/OpenCV/Internal/Core/Types/Mat.o ) <no location info>: error: ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): Loading temp shared object failed: /run/user/1000/ghc26419_0/libghc_275.so: undefined symbol: inline_c_OpenCV_Internal_Exception_1_2402dbf3aea4f7f79392b71ed42618962a22e9aa Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug [39 of 70] Compiling OpenCV.Internal.Core.Types.Rect ( src/OpenCV/Internal/Core/Types/Rect.hs, dist/build/OpenCV/Internal/Core/Types/Rect.o ) [40 of 70] Compiling OpenCV.Internal.Core.Types.Rect.TH ( src/OpenCV/Internal/Core/Types/Rect/TH.hs, dist/build/OpenCV/Internal/Core/Types/Rect/TH.o ) [41 of 70] Compiling OpenCV.Core.Types.Rect ( src/OpenCV/Core/Types/Rect.hs, dist/build/OpenCV/Core/Types/Rect.o ) <no location info>: error: ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): Loading temp shared object failed: /run/user/1000/ghc26419_0/libghc_281.so: undefined symbol: inline_c_OpenCV_Core_Types_Point_19_5c3d561e8841e5271fd465bfb109504b1d56b3f6 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug [42 of 70] Compiling OpenCV.Core.Types.Matx ( src/OpenCV/Core/Types/Matx.hs, dist/build/OpenCV/Core/Types/Matx.o ) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12813> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12220: TypeApplications and DefaultSignatures - problems deducing type variables.
by GHC 07 Nov '16

07 Nov '16

#12220: TypeApplications and DefaultSignatures - problems deducing type variables. -------------------------------------+------------------------------------- Reporter: mkloczko | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Linux DefaultSignatures, | TypeApplications | Architecture: x86_64 | Type of failure: None/Unknown (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following example code throws an error. The example code: {{{#!hs {-#LANGUAGE TypeApplications#-} {-#LANGUAGE MultiParamTypeClasses #-} {-#LANGUAGE AllowAmbiguousTypes #-} {-#LANGUAGE FlexibleInstances #-} {-#LANGUAGE ScopedTypeVariables #-} {-#LANGUAGE DefaultSignatures #-} module Test1 where -- | Type a is only used for -- type application. class ToUse a where toUse :: Int -> Int -- | The type used for -- type application data Default -- | The instance using Default as type application. -- To call use: -- > toUse @Default instance ToUse Default where toUse a = 3*a -- | Typeclass whose methods work -- only with type application. class (ToUse a) => Uses a b where uses :: b -> [b] -- | Default Signature, which generates the problem. -- It is the same as the normal one -- Comment it to 'fix' the bug. default uses :: b -> [b] uses v = [v] -- | Normal instances, nothing special instance Uses Default Int where uses v = take (toUse @Default 3) $ repeat v -- | Another normal one instance Uses Default String where uses v = take (toUse @Default 2) $ repeat v -- | This one works nicely instance (ToUse t, Uses t a, Uses t b) => Uses t (a,b) where uses (vl,vr) = zip ls rs where ls = uses @t vl rs = uses @t vr -- | But this one doesn't. -- Unless you comment the default signature. instance (ToUse t, Uses t a, Uses t b, Uses t c) => Uses t (a,b,c) }}} The error: {{{ • Could not deduce (Uses a0 a) arising from a use of ‘Test1.$dmuses’ from the context: (ToUse t, Uses t a, Uses t b, Uses t c) bound by the instance declaration at Test1.hs:47:10-66 The type variable ‘a0’ is ambiguous Relevant bindings include uses :: (a, b, c) -> [(a, b, c)] (bound at Test1.hs:47:10) • In the expression: Test1.$dmuses In an equation for ‘uses’: uses = Test1.$dmuses In the instance declaration for ‘Uses t (a, b, c)’ }}} Commenting out the default signature fixes the problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12220> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12800: hs_try_putmvar003 sometimes fails
by GHC 07 Nov '16

07 Nov '16

#12800: hs_try_putmvar003 sometimes fails -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.1 System | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The `hs_try_putmvar003` test appears to (unfortunately quite infrequently) crash. {{{ [1 of 1] Compiling Main ( ../mk/ghc-config.hs, ../mk/ghc- config.o ) Linking ../mk/ghc-config ... Looks like you don't have timeout, building it first... Timeout is 300 Found 360 .T files... Beginning test run at Wed Nov 2 20:43:04 2016 EET Wrong exit code (expected 0 , actual 139 ) Stdout: Stderr: /bin/sh: line 1: 31186 Segmentation fault: 11 ./hs_try_putmvar003 1 16 32 100 }}} [[https://phabricator.haskell.org/harbormaster/build/14760/?l=0|Here]] is a representative example from Harbormaster -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12800> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #2721: Newtype deriving doesn't work with type families
by GHC 06 Nov '16

06 Nov '16

#2721: Newtype deriving doesn't work with type families -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 8.2.1 Component: Compiler (Type | Version: 6.10.1 checker) | Resolution: fixed | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | deriving/should_fail/T2721 Blocked By: | Blocking: Related Tickets: #8165 | Differential Rev(s): Phab:D2636 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2721#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0