- ghc-tickets - Haskell.org

[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

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: patch Priority: lowest | Milestone: 8.2.1 Component: Compiler (Type | Version: 6.10.1 checker) | Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"630d88176e8dd3ccc269451bca8f55398ef5265c/ghc" 630d8817/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="630d88176e8dd3ccc269451bca8f55398ef5265c" Allow GeneralizedNewtypeDeriving for classes with associated type families Summary: This implements the ability to derive associated type family instances for newtypes automatically using `GeneralizedNewtypeDeriving`. Refer to the users' guide additions for how this works; I essentially follow the pattern laid out in https://ghc.haskell.org/trac/ghc/ticket/8165#comment:18. Fixes #2721 and #8165. Test Plan: ./validate Reviewers: simonpj, goldfire, austin, bgamari Reviewed By: simonpj Subscribers: mpickering, thomie Differential Revision: https://phabricator.haskell.org/D2636 GHC Trac Issues: #2721, #8165 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2721#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12691: Refine the behaviour of -dno-debug-output and -dtrace-level
by GHC 06 Nov '16

06 Nov '16

#12691: Refine the behaviour of -dno-debug-output and -dtrace-level -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: task | Status: new Priority: low | 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: -------------------------------------+------------------------------------- It wasn't clear to me what these flags should do and what they should turn off. From the user guide. `-dno-debug-output`:: Suppress any unsolicited debugging output. When GHC has been built with the DEBUG option it occasionally emits debug output of interest to developers. The extra output can confuse the testing framework and cause bogus test failures, so this flag is provided to turn it off. `-dtrace-level`:: Not present `-dno-debug-output` currently suppresses the output of `-ddump-tc-trace` which is certainly not "unsolicited". It should be used, and is, in `Outputable` to suppress the output of `pprTrace`. `dtrace-level` is used in a few places but always as if was a boolean flag. I don't really see what the point of it is. The only commit which mentions it is "8cdb98b9909561671ab4e61c90ebb12504478e4d" and I can't find the origin of the flag. I think we should just remove it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12691> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12692: Can't find interface-file decl with Typeable
by GHC 06 Nov '16

06 Nov '16

#12692: Can't find interface-file decl with Typeable -------------------------------------+------------------------------------- Reporter: crockeea | 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 Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The attached code produces the following error: {{{ GHC error in desugarer lookup in Main: Can't find interface-file declaration for variable $tc'(,) Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): initDs IOEnv failure }}} when I run `stack bench lol`. The issue seems to be related to `Typeable` instances for types created with singletons. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12692> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12739: Failure installing elm-init-1.0.5 (ExitFailure (-6))
by GHC 06 Nov '16

06 Nov '16

#12739: Failure installing elm-init-1.0.5 (ExitFailure (-6)) --------------------------------------+--------------------------------- Reporter: rofer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- In a new directory I ran: cabal sandbox init cabal update cabal install elm-init I got the following: Resolving dependencies... Notice: installing into a sandbox located at /home/rofer/Apps/elm-init/.cabal-sandbox Downloading base-compat-0.9.1... Configuring base-unicode-symbols-0.2.2.4... Downloading binary-0.8.4.1... Configuring fail-4.9.0.0... Configuring filepath-1.4.1.0... Configuring ghc-boot-th-8.0.1... Configuring primitive-0.6.1.0... Configuring transformers-compat-0.5.1.3... Downloading pretty-1.1.3.4... Configuring base-compat-0.9.1... Downloading time-locale-compat-0.1.1.3... Configuring binary-0.8.4.1... Building base-unicode-symbols-0.2.2.4... Building fail-4.9.0.0... Building ghc-boot-th-8.0.1... Building filepath-1.4.1.0... Building primitive-0.6.1.0... Building transformers-compat-0.5.1.3... Building binary-0.8.4.1... Building base-compat-0.9.1... Installed fail-4.9.0.0 Configuring time-locale-compat-0.1.1.3... Building time-locale-compat-0.1.1.3... Configuring pretty-1.1.3.4... Installed base-unicode-symbols-0.2.2.4 Building pretty-1.1.3.4... Installed time-locale-compat-0.1.1.3 Installed filepath-1.4.1.0 Downloading directory-1.2.7.0... Configuring directory-1.2.7.0... Installed primitive-0.6.1.0 Building directory-1.2.7.0... Configuring vector-0.11.0.0... Building vector-0.11.0.0... Installed ghc-boot-th-8.0.1 Installed base-compat-0.9.1 Installed pretty-1.1.3.4 Downloading template-haskell-2.11.0.0... Configuring template-haskell-2.11.0.0... Building template-haskell-2.11.0.0... Installed directory-1.2.7.0 Configuring process-1.4.2.0... Installed transformers-compat-0.5.1.3 Building process-1.4.2.0... Installed process-1.4.2.0 Installed binary-0.8.4.1 Configuring text-1.2.2.1... Building text-1.2.2.1... Downloading template-haskell-2.11.0.0... [66/181]Configuring template-haskell-2.11.0.0... Building template-haskell-2.11.0.0... Installed directory-1.2.7.0 Configuring process-1.4.2.0... Installed transformers-compat-0.5.1.3 Building process-1.4.2.0... Installed process-1.4.2.0 Installed binary-0.8.4.1 Configuring text-1.2.2.1... Building text-1.2.2.1... Installed template-haskell-2.11.0.0 Downloading cmdargs-0.10.14... Downloading file-embed-0.0.10... Configuring file-embed-0.0.10... Downloading tagged-0.8.5... Configuring cmdargs-0.10.14... Configuring tagged-0.8.5... Building file-embed-0.0.10... Building cmdargs-0.10.14... Building tagged-0.8.5... Installed file-embed-0.0.10 Installed tagged-0.8.5 Installed cmdargs-0.10.14 Installed text-1.2.2.1 Configuring hashable-1.2.4.0... Building hashable-1.2.4.0... Installed vector-0.11.0.0 Installed hashable-1.2.4.0 Downloading nats-1.1.1... Downloading scientific-0.3.4.9... Configuring scientific-0.3.4.9... Downloading unordered-containers-0.2.7.1... Configuring nats-1.1.1... Configuring unordered-containers-0.2.7.1... Building scientific-0.3.4.9... Building nats-1.1.1... Building unordered-containers-0.2.7.1... Installed nats-1.1.1 Installed scientific-0.3.4.9 Installed unordered-containers-0.2.7.1 Downloading semigroups-0.18.2... Configuring semigroups-0.18.2... Building semigroups-0.18.2... Installed semigroups-0.18.2 Downloading attoparsec-0.13.1.0... Configuring attoparsec-0.13.1.0... Building attoparsec-0.13.1.0... Installed attoparsec-0.13.1.0 Downloading aeson-1.0.2.0... Configuring aeson-1.0.2.0... Building aeson-1.0.2.0... Installed aeson-1.0.2.0 Downloading aeson-pretty-0.8.2... Configuring aeson-pretty-0.8.2... Building aeson-pretty-0.8.2... Installed aeson-pretty-0.8.2 Downloading elm-init-1.0.5... Configuring elm-init-1.0.5... Building elm-init-1.0.5... Failed to install elm-init-1.0.5 Build log ( /home/rofer/Apps/elm-init/.cabal-sandbox/logs/elm- init-1.0.5.log ): cabal: Entering directory '/tmp/cabal-tmp-27520/elm-init-1.0.5' Configuring elm-init-1.0.5... Building elm-init-1.0.5... Preprocessing executable 'elm-init' for elm-init-1.0.5... [1 of 5] Compiling ElmInit.Util ( src/ElmInit/Util.hs, dist/dist- sandbox-7912c192/build/elm-init/elm-init-tmp/ElmInit/Util.p_o ) [2 of 5] Compiling ElmInit.Interact ( src/ElmInit/Interact.hs, dist/dist- sandbox-7912c192/build/elm-init/elm-init-tmp/ElmInit/Interact.p_o ) src/ElmInit/Interact.hs:10:1: Warning: The import of ‘<*>’ from module ‘Control.Applicative’ is redundant [3 of 5] Compiling ElmInit.Types ( src/ElmInit/Types.hs, dist/dist- sandbox-7912c192/build/elm-init/elm-init-tmp/ElmInit/Types.p_o ) src/ElmInit/Types.hs:87:1: Warning: Defined but not used: ‘emptyDecisions’ [4 of 5] Compiling ElmInit ( src/ElmInit.hs, dist/dist-sandbox- 7912c192/build/elm-init/elm-init-tmp/ElmInit.p_o ) [5 of 5] Compiling Main ( src/Main.hs, dist/dist-sandbox- 7912c192/build/elm-init/elm-init-tmp/Main.p_o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package filepath-1.4.1.0 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.7.0 ... linking ... done. Loading package process-1.4.2.0 ... linking ... done. Loading package ghc-boot-th-8.0.1 ... linking ... done. Loading package pretty-1.1.3.4 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package file-embed-0.0.10 ... linking ... done. Loading package base-unicode-symbols-0.2.2.4 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package fail-4.9.0.0 ... linking ... done. Loading package binary-0.8.4.1 ... linking ... done. Loading package text-1.2.2.1 ... linking ... done. Loading package hashable-1.2.4.0 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package primitive-0.6.1.0 ... linking ... done. Loading package vector-0.11.0.0 ... linking ... done. Loading package scientific-0.3.4.9 ... linking ... done. Loading package nats-1.1.1 ... linking ... done. Loading package mtl-2.1.3.1 ... linking ... done. Loading package transformers-compat-0.5.1.3 ... linking ... done. Loading package tagged-0.8.5 ... linking ... done. Loading package unordered-containers-0.2.7.1 ... linking ... done. Loading package semigroups-0.18.2 ... linking ... done. Loading package attoparsec-0.13.1.0 ... linking ... done. Loading package base-compat-0.9.1 ... linking ... done. Loading package dlist-0.7.1 ... linking ... done. Loading package time-locale-compat-0.1.1.3 ... linking ... done. Loading package aeson-1.0.2.0 ... linking ... done. Loading package aeson-pretty-0.8.2 ... linking ... done. ghc: internal error: stg_ap_pp_ret (GHC version 7.8.4 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug cabal: Leaving directory '/tmp/cabal-tmp-27520/elm-init-1.0.5' cabal: Error: some packages failed to install: elm-init-1.0.5 failed during the building phase. The exception was: ExitFailure (-6) I'm on Fedora 23 (4.7.6-100.fc23.x86_64). Let me know if you need anything else. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12739> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12806: curl dependency in conjunction with Template Haskell causes "unknown symbol" errors
by GHC 06 Nov '16

06 Nov '16

#12806: curl dependency in conjunction with Template Haskell causes "unknown symbol" errors -------------------------------------+------------------------------------- Reporter: Darwin226 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I've reported on this issue to the stack issue tracker here https://github.com/commercialhaskell/stack/issues/2752#issuecomment-2573785… The steps to reproduce are the following * Make a new stack project (lts-5.3 in my case). stack new curl-test -resolver=lts-5,3 * Add curl as a dependency to the library. * Modify the Lib file to the following {{{ {-# LANGUAGE TemplateHaskell #-} module Lib where return [] someFunc :: IO () someFunc = return () }}} The error that I get with GHC 8 is this {{{ ghc.EXE: unable to load package `curl-1.3.8' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `stricmp' ghc.EXE: Could not on-demand load symbol 'curl_strequal' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `curl_strequal' ghc.EXE: Could not on-demand load symbol '.refptr.Curl_cstrdup' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `.refptr.Curl_cstrdup' ghc.EXE: Could not on-demand load symbol 'curl_slist_free_all' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `curl_slist_free_all' ghc.EXE: Could not on-demand load symbol 'Curl_ssl_connect_nonblocking' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `Curl_ssl_connect_nonblocking' ghc.EXE: Could not on-demand load symbol '.refptr.Curl_crealloc' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `.refptr.Curl_crealloc' ghc.EXE: Could not on-demand load symbol 'curl_msnprintf' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `curl_msnprintf' ghc.EXE: Could not on-demand load symbol '.refptr.Curl_cmalloc' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `.refptr.Curl_cmalloc' ghc.EXE: Could not on-demand load symbol 'Curl_verify_windows_version' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `Curl_verify_windows_version' ghc.EXE: Could not on-demand load symbol 'Curl_sspi_global_init' ghc.EXE: C:\Users\darwi\AppData\Local\Programs\stack\x86_64-windows\msys2-20150512\mingw64\lib\libcurl.a: unknown symbol `Curl_sspi_global_init' ghc.EXE: Could not on-demand load symbol 'curl_global_init' ghc.EXE: C:\sr\snapshots\df48cbae\lib\x86_64-windows- ghc-8.0.1\curl-1.3.8-B8AxMCtSRkiFrZLK4gerBe\HScurl-1.3.8-B8AxMCtSRkiFrZLK4gerBe.o: unknown symbol `curl_global_init' }}} but this still fails with GHC 7.10.3 with a similar error. This is happening on two Windows 10 machines so it's not an isolated case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12806> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11571: Need more intelligent conditionalization of libgcc rts symbols for x32
by GHC 05 Nov '16

05 Nov '16

#11571: Need more intelligent conditionalization of libgcc rts symbols for x32 -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.1 System (Linker) | Keywords: | Operating System: Unknown/Multiple Architecture: Other | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In `rts/RtsSymbols.c` we have {{{ // 64-bit support functions in libgcc.a #if defined(__GNUC__) && SIZEOF_VOID_P <= 4 && !defined(_ABIN32) #define RTS_LIBGCC_SYMBOLS \ SymI_NeedsProto(__divdi3) \ SymI_NeedsProto(__udivdi3) \ ... }}} The purpose is to provide these symbols to `.o` files that use these symbols, expecting to be linked against libgcc. These symbols are for things like 64-bit integer division that aren't available as machine instructions on some platforms. But the `#if` is wrong on x32, which, despite having `sizeof(void *) == 4`, naturally has a full complement of 64-bit arithmetic instructions, since its registers are 64 bits wide. So libgcc does not provide these symbols, and as a result we eventually encounter missing symbol errors when linking the rts. Some possible solutions include * Figure out if there is a CPP variable set for x32 and don't include these symbols if that variable is set. I'm not sure whether `__ILP32__` is such a variable (after all x86 is also an architecture on which int, long and pointers are 32-bits). * Use autoconf to detect the presence of these symbols in libgcc. (Probably just pick one, like `__divdi3`, and hope they are all present or all missing.) * Use weak symbols somehow to add these symbols to the RTS's internal symbol table if and only if the RTS was linked against a libgcc that provides these symbols. My Android ghci also needs lots more of these, including `__modsi3`, `__umodsi3`, `__ctzdi2`, a bunch of `__aeabi_*` and `__sync_*`, and `__sF` (no idea what that is). So I'm inclined towards the last option. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11571> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2