- ghc-tickets - Haskell.org

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

[GHC] #11325: Type of hole does not get refined after pattern matching on [GADT] constructors
by GHC 19 May '17

19 May '17

#11325: Type of hole does not get refined after pattern matching on [GADT] constructors -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Keywords: GADTs | Operating System: Linux Architecture: x86 | Type of failure: Incorrect | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- From [https://www.youtube.com/watch?v=6snteFntvjM A Practical Introduction to Haskell GADTs] from LambdaConf 2015, example from attachment Hole.hs: {{{#!hs {-# LANGUAGE GADTs #-} data STy ty where SInt :: STy Int SBool :: STy Bool SMaybe :: STy a -> STy (Maybe a) zero :: STy ty -> ty zero ty = case ty of SInt -> 5 SBool -> False SMaybe a -> _ }}} When running with "GHCi, version 7.11.20151226": {{{ % ghci -ignore-dot-ghci /tmp/Hole.hs GHCi, version 7.11.20151226: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/Hole.hs, interpreted ) /tmp/Hole.hs:12:15: error: • Found hole: _ :: ty Where: ‘ty’ is a rigid type variable bound by the type signature for: zero :: forall ty. STy ty -> ty at /tmp/Hole.hs:8:9 • In the expression: _ In a case alternative: SMaybe a -> _ In the expression: case ty of { SInt -> 5 SBool -> False SMaybe a -> _ } • Relevant bindings include a :: STy a (bound at /tmp/Hole.hs:12:10) ty :: STy ty (bound at /tmp/Hole.hs:9:6) zero :: STy ty -> ty (bound at /tmp/Hole.hs:9:1) Failed, modules loaded: none. Prelude> }}} when older versions (GHCi version 7.10.2) refine the type of `_` to `Maybe a`: {{{ % ghci-7.10.2 -ignore-dot-ghci /tmp/Hole.hs GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/Hole.hs, interpreted ) /tmp/Hole.hs:12:15: Found hole ‘_’ with type: Maybe a Where: ‘a’ is a rigid type variable bound by a pattern with constructor SMaybe :: forall a. STy a -> STy (Maybe a), in a case alternative at /tmp/Hole.hs:12:3 Relevant bindings include a :: STy a (bound at /tmp/Hole.hs:12:10) ty :: STy ty (bound at /tmp/Hole.hs:9:6) zero :: STy ty -> ty (bound at /tmp/Hole.hs:9:1) In the expression: _ In a case alternative: SMaybe a -> _ In the expression: case ty of { SInt -> 5 SBool -> False SMaybe a -> _ } Failed, modules loaded: none. Prelude> }}} Regression? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11325> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12468: GADTs don't refine hole types
by GHC 19 May '17

19 May '17

#12468: GADTs don't refine hole types -------------------------------------+------------------------------------- Reporter: | Owner: benjamin.hodgson | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: MacOS X Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Apologies if this is a dupe. I did look! {{{ #!haskell {-# LANGUAGE GADTs #-} data T a where I :: T Int f :: T a -> a f I = _ }}} This gives the type error: {{{ • Found hole: _ :: a Where: ‘a’ is a rigid type variable bound by the type signature for: f :: forall a. T a -> a at test.hs:6:6 • In the expression: _ In an equation for ‘f’: f I = _ • Relevant bindings include f :: T a -> a (bound at test.hs:7:1) }}} It should say something about `a` being `Int` in this branch. I'm using GHC 8.0.1 on OSX El Capitan. I think this may be a regression; I have a vague memory of it working with GHC 7.10. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12468> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13723: Recover gracefully from simplifier tick exhaustion
by GHC 19 May '17

19 May '17

#13723: Recover gracefully from simplifier tick exhaustion -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 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: -------------------------------------+------------------------------------- Currently, we have just one tick limit. If the simplifier runs out of ticks, GHC simply gives up and exits. But that shouldn't ''really'' be necessary. In a more ideal world, we'd have two or even three tick limits for different kinds of transformations. For example, there are === Transformations that must be performed before `CorePrep` === I hope that we can give a hard upper bound on how many ticks we need to perform these for a given program size. If that limit is exceeded, then we should report a bug. === Transformations that always reduce program size === If a transformation always reduces program size, we can always perform it, even if we're otherwise out of ticks. This includes, at least, beta reduction without duplication. While `RULES` are generally wild, it should be safe to apply rules that reduce code size ''immediately''. For example, {{{#!hs foldr c n (build f) ==> f c n }}} is always fine. These transformations can share a tick limit with the mandatory transformations mentioned above. === Transformations that never increase program size === We can be generous with these, but need some limit. === Transformations that may increase program size === These need the harshest limit, of course, but probably not (much?) harsher than what we currently have. ---- The idea is that even if one tick limit is exceeded, the "higher priority" transformations can be allowed to continue anyway. Exceeding tick limits for most transformations would lead to a warning, rather than an error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13723> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13725: Remove false dependency on the destination of the popcnt instruction
by GHC 19 May '17

19 May '17

#13725: Remove false dependency on the destination of the popcnt instruction -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): Phab:D3539 | Wiki Page: -------------------------------------+------------------------------------- fryguybob writes in Phab:D3539, > Some Intel processors appear to have a false dependency on the destination of the popcnt instruction. This could lead to poor performance. A simple way to prevent this is to clear the destination register immediately before the popcnt instruction. Currently I can't produce code from GHC where the source and destination registers are not the same (perhaps someone is interested in producing a test case that does). I'm putting this here in case anyone is interested in investigating further. I'm opening this ticket so I can bump the diff out of the review queue, in hopes that someone might some day pick it up. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13725> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13722: intermittent abort crash from make TEST=hs_try_putmvar003 WAY=threaded2
by GHC 19 May '17

19 May '17

#13722: intermittent abort crash from make TEST=hs_try_putmvar003 WAY=threaded2 -------------------------------------+------------------------------------- Reporter: George | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.0.1 System | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- in a bash shell type for i in {1..10}; do make TEST=hs_try_putmvar003 WAY=threaded2 ; done if you look at the output you will probably see at least one instance of {{{ cd "./concurrent/should_run/hs_try_putmvar003.run" && ./hs_try_putmvar003 +RTS -N2 -ls -RTS 1 16 32 100 Wrong exit code for hs_try_putmvar003(threaded2)(expected 0 , actual 134 ) Stderr ( hs_try_putmvar003 ): /bin/sh: line 1: 45386 Abort trap: 6 ./hs_try_putmvar003 +RTS -N2 -ls -RTS 1 16 32 100 *** unexpected failure for hs_try_putmvar003(threaded2) }}} This was on a Mac running the latest OS and Xcode. I can attach the Apple problem report if that helps. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13722> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3