May 2017 - ghc-tickets

[GHC] #13736: GHC panic with DataKinds and TypeOperators
by GHC 21 May '17

21 May '17

#13736: GHC panic with DataKinds and TypeOperators -------------------------------------+------------------------------------- Reporter: turion | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 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 following program causes a GHC panic: {{{#!hs {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE KindSignatures #-} import GHC.TypeLits data Proxy (n :: Nat) = Proxy data Foo a = Foo a foo :: Foo (Proxy (2 * 2)) foo = Foo _ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13736> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8048: Register spilling produces ineffecient/highly contending code
by GHC 21 May '17

21 May '17

#8048: Register spilling produces ineffecient/highly contending code -------------------------------------+------------------------------------- Reporter: schyler | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 7.6.3 Keywords: register | Operating System: Unknown/Multiple allocator spill | Type of failure: Runtime Architecture: Unknown/Multiple | performance bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The native codegen and llvm both produce ineffecient code for functions using structures with many strict fields or unboxed values. Consider the following program: {{{ {-# LANGUAGE BangPatterns #-} module Spill where import GHC.Exts data S = S !Int !Int !Int !Int !Int !Int !Int !Int !Int spill :: S -> S -> S -> S spill (S !a !b !c !d !e !f !g !h !i) (S !j !k !l !m !n !o !p !q !r) (S !s !t !u !v !w !x !y !z _) = S (a + j + s) (b + c) (k + r) (a + b + c + d + e + f + g + h + i) (j + k + l + m + n + o + p + q + r) (s + t + u + v + w + x + y + z) (a + b + c) (j + k + l) (s + t + u) }}} Parts of the code produced for this (which is identical regardless of -funbox-strict-fields) looks like: {{{ _cnc: addq $80,%r12 cmpq 144(%r13),%r12 ja _cni movq $Spill.S_con_info,-72(%r12) movq 32(%rbp),%rax movq %rax,-64(%r12) movq 24(%rbp),%rax movq %rax,-56(%r12) movq 16(%rbp),%rax movq %rax,-48(%r12) movq 8(%rbp),%rax movq %rax,-40(%r12) movq 40(%rbp),%rax movq %rax,-32(%r12) movq 48(%rbp),%rax movq %rax,-24(%r12) movq 56(%rbp),%rax movq %rax,-16(%r12) movq 64(%rbp),%rax movq %rax,-8(%r12) movq 7(%rbx),%rax movq %rax,0(%r12) leaq -71(%r12),%rbx addq $72,%rbp jmp *0(%rbp) }}} {{{ _csv: movq 63(%rbx),%rax movq %rax,-56(%rbp) movq 55(%rbx),%rax movq %rax,-48(%rbp) movq 47(%rbx),%rax movq %rax,-40(%rbp) movq 39(%rbx),%rax movq %rax,-32(%rbp) movq 31(%rbx),%rax movq %rax,-24(%rbp) movq 23(%rbx),%rax movq %rax,-16(%rbp) movq 71(%rbx),%rax movq %rax,-8(%rbp) movq 15(%rbx),%rax movq %rax,0(%rbp) }}} And likewise for LLVM: {{{ .LBB10_1: # %coZ movq 7(%rbx), %rcx movq $Spill_S_con_info, 8(%rax) movq 8(%rbp), %rdx movq %rdx, 16(%rax) movq 16(%rbp), %rdx movq %rdx, 24(%rax) movq 24(%rbp), %rdx movq %rdx, 32(%rax) movq 32(%rbp), %rdx movq %rdx, 40(%rax) movq 40(%rbp), %rdx movq %rdx, 48(%rax) movq 48(%rbp), %rdx movq %rdx, 56(%rax) movq 56(%rbp), %rdx movq %rdx, 64(%rax) movq 64(%rbp), %rdx movq %rdx, 72(%rax) movq %rcx, (%r12) movq 72(%rbp), %rax leaq 72(%rbp), %rbp leaq -71(%r12), %rbx jmpq *%rax # TAILCALL }}} Quoting from #ghc "the [register allocator] core algo is '96 vintage". Improvements are needed; * Take into consideration pipelining and handle spills less dramatically, attempting to reduce register contention * Sink memory reads in order to reduce register pressure -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8048> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #13662: Type inference fails in connection with TypeFamilies, 'let', type equalities ...
by GHC 21 May '17

21 May '17

#13662: Type inference fails in connection with TypeFamilies, 'let', type equalities ... -------------------------------------+------------------------------------- Reporter: Lemming | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1-rc1 (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 following example is a pretty involved use of type equality. It was accepted by GHC-8.0 and before, but GHC-8.2.0.20170505 cannot infer a type. {{{ $ cat MonomorphismEquality.hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE MultiParamTypeClasses #-} module MonomorphismEquality (run) where newtype Value a = Value a type family Repr (f :: * -> *) a :: * type instance Repr f Int = f Int class (Repr Value i ~ Value ir) => Native i ir where instance Native Int Int where fromInt :: (Native i ir) => i -> a fromInt = undefined apply :: (Int -> a -> a) -> a -> a apply weight = id run :: Float -> Float run = let weight = \clip v -> fromInt clip * v in apply weight $ ghc-8.0.2 -Wall MonomorphismEquality.hs [1 of 1] Compiling MonomorphismEquality ( MonomorphismEquality.hs, MonomorphismEquality.o ) MonomorphismEquality.hs:6:19: warning: [-Wunused-top-binds] Defined but not used: data constructor ‘Value’ MonomorphismEquality.hs:20:7: warning: [-Wunused-matches] Defined but not used: ‘weight’ $ ghc-8.2.0.20170505 -Wall MonomorphismEquality.hs [1 of 1] Compiling MonomorphismEquality ( MonomorphismEquality.hs, MonomorphismEquality.o ) MonomorphismEquality.hs:24:28: error: • Ambiguous type variable ‘ir0’ arising from a use of ‘fromInt’ prevents the constraint ‘(Native Int ir0)’ from being solved. Probable fix: use a type annotation to specify what ‘ir0’ should be. These potential instance exist: instance Native Int Int -- Defined at MonomorphismEquality.hs:13:10 • In the first argument of ‘(*)’, namely ‘fromInt clip’ In the expression: fromInt clip * v In the expression: \ clip v -> fromInt clip * v | 24 | let weight = \clip v -> fromInt clip * v | ^^^^^^^^^^^^ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13662> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #8025: -fno-code and Template Haskell are incompatible
by GHC 20 May '17

20 May '17

#8025: -fno-code and Template Haskell are incompatible -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.4.1 Component: Compiler (Type | Version: 7.6.3 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Incorrect | Test Case: warning at compile-time | Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3441 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => closed * differential: => Phab:D3441 * resolution: => fixed * milestone: => 8.4.1 Comment: Thanks Duog! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8025#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13699: Pretty printing: Strict record fields are not parenthesized properly
by GHC 20 May '17

20 May '17

#13699: Pretty printing: Strict record fields are not parenthesized properly -------------------------------------+------------------------------------- Reporter: zyla | Owner: (none) Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 8.0.1 Keywords: pretty-print | Operating System: Unknown/Multiple bang record | Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When I type in GHCi: {{{ λ> data Foo = Foo { x :: !(Maybe Int) } λ> :i Foo data Foo = Foo {x :: !Maybe Int} -- Defined at <interactive>:71:1 }}} But this is not legal Haskell syntax: {{{ λ> data Foo = Foo {x :: !Maybe Int} <interactive>:73:22: error: • Unexpected strictness annotation: !Maybe • In the type ‘!Maybe Int’ In the definition of data constructor ‘Foo’ In the data declaration for ‘Foo’ }}} I think it should be pretty printed with parens: {{{ λ> :i Foo data Foo = Foo {x :: !(Maybe Int)} -- Defined at <interactive>:71:1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13699> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #8025: -fno-code and Template Haskell are incompatible
by GHC 20 May '17

20 May '17

#8025: -fno-code and Template Haskell are incompatible -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Incorrect | Test Case: warning at compile-time | Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"53c78be0aab76a3107c4dacbb1d177afacdd37fa/ghc" 53c78be0/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="53c78be0aab76a3107c4dacbb1d177afacdd37fa" Compile modules that are needed by template haskell, even with -fno-code. This patch relates to Trac #8025 The goal here is to enable typechecking of packages that contain some template haskell. Prior to this patch, compilation of a package with -fno-code would fail if any functions in the package were called from within a splice. downsweep is changed to do an additional pass over the modules, targetting any ModSummaries transitively depended on by a module that has LangExt.TemplateHaskell enabled. Those targeted modules have hscTarget changed from HscNothing to the default target of the platform. There is a small change to the prevailing_target logic to enable this. A simple test is added. I have benchmarked with and without a patched haddock (available:https://github.com/duog/haddock/tree/wip-no-explicit-th-compi lation). Running cabal haddock on the wreq package results in a 25% speedup on my machine: time output from patched cabal haddock: real 0m5.780s user 0m5.304s sys 0m0.496s time output from unpatched cabal haddock: real 0m7.712s user 0m6.888s sys 0m0.736s Reviewers: austin, bgamari, ezyang Reviewed By: bgamari Subscribers: bgamari, DanielG, rwbarton, thomie GHC Trac Issues: #8025 Differential Revision: https://phabricator.haskell.org/D3441 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8025#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13732: Incorrectly suggests ‘TypeOperators’
by GHC 20 May '17

20 May '17

#13732: Incorrectly suggests ‘TypeOperators’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Loading the code {{{#!hs {-# Language RankNTypes, GADTs, MagicHash, PolyKinds, TypeInType, ConstraintKinds #-} import Data.Kind import GHC.Exts import qualified Prelude class Semi (a :: TYPE rep) where data Free :: forall rep. (TYPE rep -> Constraint) -> TYPE rep -> Type where Free :: (forall q. ctx q => (p -> q) -> q) -> Free ctx p }}} gives an incorrect suggestion {{{ GHCi, version 8.2.0.20170507: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( tXMX.hs, interpreted ) Ok, modules loaded: Main. *Main> :kind Free Semi Free Semi :: * -> * *Main> :kind Free Semi Int# <interactive>:1:1: error: Not in scope: type constructor or class ‘#’ <interactive>:1:1: error: Illegal operator ‘#’ in type ‘Free Semi Int #’ Use TypeOperators to allow operators in types <interactive>:1:1: error: Operator applied to too few arguments: Free Semi Int # *Main> }}} This should recommend enabling `MagicHash` instead. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13732> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12136: SIGABRT on right-shift operation against long negative integer
by GHC 20 May '17

20 May '17

#12136: SIGABRT on right-shift operation against long negative integer --------------------------------------+---------------------------------- Reporter: khibino | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+---------------------------------- When the code like bellow is executed, the '''shiftR''' call causes SIGABRT. c128.hs {{{#!hs import Data.Bits x:: Integer x = 1 - (1 `shiftL` (128 + 64)) main :: IO () main = print $ x `shiftR` 128 }}} I make this report using examples in GHC 7.10.3, and I found the same problem in GHC 8.0.1 too. backtrace using GDB {{{ % ghc -O0 c128.hs [1 of 1] Compiling Main ( c128.hs, c128.o ) Linking c128 ... % gdb ./c128 GNU gdb (Debian 7.10-1+b1) 7.10 ... Reading symbols from ./c128...(no debugging symbols found)...done. (gdb) run Starting program: /home/hibi/src/haskell/crash/Haskell/c128 [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". Program received signal SIGABRT, Aborted. 0x00007ffff6ed4478 in __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:55 55 ../sysdeps/unix/sysv/linux/raise.c: そのようなファイルやディレクトリはありません. (gdb) bt #0 0x00007ffff6ed4478 in __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:55 #1 0x00007ffff6ed58fa in __GI_abort () at abort.c:89 #2 0x00000000004716df in integer_gmp_mpn_rshift_2c () #3 0x000000000046e004 in salz_info () #4 0x0000000000000000 in ?? () (gdb) frame 2 #2 0x00000000004716df in integer_gmp_mpn_rshift_2c () (gdb) disas Dump of assembler code for function integer_gmp_mpn_rshift_2c: 0x0000000000471630 <+0>: push %r13 ... 0x00000000004716d8 <+168>: jne 0x4716c0 <integer_gmp_mpn_rshift_2c+144> 0x00000000004716da <+170>: callq 0x402c80 <abort@plt> => 0x00000000004716df <+175>: nop 0x00000000004716e0 <+176>: lea 0x0(,%rdx,8),%rdx ... End of assembler dump. (gdb) }}} I found '''abort''' call in '''integer_gmp_mpn_rshift_2c'''. ghc-7.10.3/libraries/integer-gmp2/cbits/wrappers.c {{{#!c mp_limb_t integer_gmp_mpn_rshift_2c (mp_limb_t rp[], const mp_limb_t sp[], const mp_size_t sn, const mp_bitcnt_t count) { ... // round if non-zero bits were shifted out if (nz_shift_out) if (mpn_add_1(rp, rp, rn, 1)) abort(); /* should never happen */ return rp[rn-1]; } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12136> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12897: yesod-auth-1.4.13.2 failed during the building phase.
by GHC 19 May '17

19 May '17

#12897: yesod-auth-1.4.13.2 failed during the building phase. -------------------------------------+------------------------------------- Reporter: onomatopoeia | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: MacOS X Architecture: x86 | Type of failure: Compile-time | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Resolving dependencies... Configuring yesod-auth-1.4.13.2... Building yesod-auth-1.4.13.2... Failed to install yesod-auth-1.4.13.2 Build log ( /Users/simonrobins/.cabal/logs/yesod-auth-1.4.13.2.log ): Configuring yesod-auth-1.4.13.2... Building yesod-auth-1.4.13.2... Preprocessing library yesod-auth-1.4.13.2... [ 1 of 12] Compiling Yesod.PasswordStore ( Yesod/PasswordStore.hs, dist/build/Yesod/PasswordStore.dyn_o ) Yesod/PasswordStore.hs:166:31: Warning: Defaulting the following constraint(s) to type ‘Integer’ (Integral b0) arising from a use of ‘^’ at Yesod/PasswordStore.hs:166:31 (Num b0) arising from the literal ‘32’ at Yesod/PasswordStore.hs:166:32-33 In the first argument of ‘(-)’, namely ‘2 ^ 32’ In the first argument of ‘(*)’, namely ‘(2 ^ 32 - 1)’ In the second argument of ‘(>)’, namely ‘(2 ^ 32 - 1) * hLen’ Yesod/PasswordStore.hs:419:1: Warning: Defined but not used: ‘toStrict’ Yesod/PasswordStore.hs:422:1: Warning: Defined but not used: ‘fromStrict’ [ 2 of 12] Compiling Yesod.Auth.Message ( Yesod/Auth/Message.hs, dist/build/Yesod/Auth/Message.dyn_o ) Yesod/Auth/Message.hs:23:1: Warning: The import of ‘mappend’ from module ‘Data.Monoid’ is redundant Yesod/Auth/Message.hs:698:1: Warning: Defined but not used: ‘croatianMessage’ Yesod/Auth/Message.hs:459:1: Warning: Pattern match(es) are overlapped In an equation for ‘finnishMessage’: finnishMessage Password = ... Yesod/Auth/Message.hs:459:1: Warning: Pattern match(es) are non-exhaustive In an equation for ‘finnishMessage’: Patterns not matched: CurrentPassword [ 3 of 12] Compiling Yesod.Auth.Routes ( Yesod/Auth/Routes.hs, dist/build/Yesod/Auth/Routes.dyn_o ) [ 4 of 12] Compiling Yesod.Auth ( Yesod/Auth.hs, dist/build/Yesod/Auth.dyn_o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/jf/bqzbd3l92vvbl4wb9vdkv8f80000gn/T/ghc55090_0/libghc_15.dylib, 5): no suitable image found. Did find: /var/folders/jf/bqzbd3l92vvbl4wb9vdkv8f80000gn/T/ghc55090_0/libghc_15.dylib: malformed mach-o: load commands size (36560) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug cabal: Error: some packages failed to install: yesod-1.4.3 depends on yesod-auth-1.4.13.2 which failed to install. yesod-auth-1.4.13.2 failed during the building phase. The exception was: ExitFailure 1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12897> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13119: yesod-auth-1.4.15: ghc: panic! (the 'impossible' happened) Linker error
by GHC 19 May '17

19 May '17

#13119: yesod-auth-1.4.15: ghc: panic! (the 'impossible' happened) Linker error ---------------------------------+--------------------------------- Reporter: mcmayer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: ghc panic | Operating System: MacOS X Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ---------------------------------+--------------------------------- On Mac OS X 10.12.2 the [http://brew.sh] installation of Haskell `stack` is used (`brew install haskell-stack`). Next, the `yesod-simple` template is instantiated and built, e.g. {{{ stack new my-web yesod-simple cd my-web stack build }}} The error looks like this: {{{ ➜ my-web stack build yesod-auth-1.4.15: configure yesod-auth-1.4.15: build Progress: 1/4 -- While building package yesod-auth-1.4.15 using: /Users/mmayer/.stack/setup-exe-cache/x86_64-osx/Cabal- simple_mPHDZzAJ_1.22.5.0_ghc-7.10.3 --builddir=.stack- work/dist/x86_64-osx/Cabal-1.22.5.0 build --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: /private/tmp/my-web/.stack-work/logs/yesod- auth-1.4.15.log Configuring yesod-auth-1.4.15... Building yesod-auth-1.4.15... Preprocessing library yesod-auth-1.4.15... [ 1 of 12] Compiling Yesod.PasswordStore ( Yesod/PasswordStore.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/PasswordStore.o ) /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/PasswordStore.hs:166:31: Warning: Defaulting the following constraint(s) to type ‘Integer’ (Integral b0) arising from a use of ‘^’ at Yesod/PasswordStore.hs:166:31 (Num b0) arising from the literal ‘32’ at Yesod/PasswordStore.hs:166:32-33 In the first argument of ‘(-)’, namely ‘2 ^ 32’ In the first argument of ‘(*)’, namely ‘(2 ^ 32 - 1)’ In the second argument of ‘(>)’, namely ‘(2 ^ 32 - 1) * hLen’ /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/PasswordStore.hs:419:1: Warning: Defined but not used: ‘toStrict’ /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/PasswordStore.hs:422:1: Warning: Defined but not used: ‘fromStrict’ [ 2 of 12] Compiling Yesod.Auth.Message ( Yesod/Auth/Message.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth/Message.o ) /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/Auth/Message.hs:24:1: Warning: The import of ‘mappend’ from module ‘Data.Monoid’ is redundant /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/Auth/Message.hs:460:1: Warning: Pattern match(es) are overlapped In an equation for ‘finnishMessage’: finnishMessage Password = ... /private/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/stack44665 /yesod-auth-1.4.15/Yesod/Auth/Message.hs:460:1: Warning: Pattern match(es) are non-exhaustive In an equation for ‘finnishMessage’: Patterns not matched: CurrentPassword [ 3 of 12] Compiling Yesod.Auth.Routes ( Yesod/Auth/Routes.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth/Routes.o ) [ 4 of 12] Compiling Yesod.Auth ( Yesod/Auth.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Yesod/Auth.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/ghc44706_0/libghc_21.dylib, 5): no suitable image found. Did find: /var/folders/mj/9fhlhndj3jl8mrd9czmhvz_00000gn/T/ghc44706_0/libghc_21.dylib: malformed mach-o: load commands size (35848) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} The same happens on `ghc-8.0.1` (`stack build yesod-auth`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13119> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1