September 2013 - ghc-tickets

[GHC] #8324: ghci failed on startup
by GHC 19 Nov '14

19 Nov '14

#8324: ghci failed on startup ------------------------------------+------------------------------- Reporter: dabraham | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------- fred:~ danielabraham$ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. ghc: internal error: evacuate: strange closure type 0 (GHC version 7.6.3 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Abort trap fred:~ danielabraham$ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8324> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8336: Sinking pass does not
by GHC 19 Nov '14

19 Nov '14

#8336: Sinking pass does not ------------------------------+-------------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime performance bug Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- Compiling this program: {{{ {-# LANGUAGE BangPatterns, MagicHash, CPP #-} {-# OPTIONS_GHC -O2 -funbox-strict-fields #-} module HashStr where import Foreign.C import GHC.Exts import Data.Word #define hASH_TBL_SIZE 4091 hashStr :: Ptr Word8 -> Int -> Int -- use the Addr to produce a hash value between 0 & m (inclusive) hashStr (Ptr a#) (I# len#) = loop 0# 0# where loop h n | n GHC.Exts.==# len# = I# h | otherwise = loop h2 (n GHC.Exts.+# 1#) where !c = ord# (indexCharOffAddr# a# n) !h2 = (c GHC.Exts.+# (h GHC.Exts.*# 128#)) `remInt#` hASH_TBL_SIZE# }}} produces following Cmm code for `hashStr` function: {{{ {offset cut: goto cux; cux: _stC::I64 = R3; _stB::I64 = R2; _stF::I64 = 0; _stE::I64 = 0; goto stD; stD: if (_stF::I64 == _stC::I64) goto cuH; else goto cuI; cuH: R1 = _stE::I64; call (P64[Sp])(R1) args: 8, res: 0, upd: 8; cuI: _stM::I64 = %MO_S_Rem_W64(%MO_UU_Conv_W8_W64(I8[_stB::I64 + _stF::I64]) + (_stE::I64 << 7), 4091); _stF::I64 = _stF::I64 + 1; _stE::I64 = _stM::I64; goto stD; } }}} The problem here is that three last assignments: {{{ _stM::I64 = %MO_S_Rem_W64(%MO_UU_Conv_W8_W64(I8[_stB::I64 + _stF::I64]) + (_stE::I64 << 7), 4091); _stF::I64 = _stF::I64 + 1; _stE::I64 = _stM::I64; }}} could be optimized as: {{{ _stE::I64 = %MO_S_Rem_W64(%MO_UU_Conv_W8_W64(I8[_stB::I64 + _stF::I64]) + (_stE::I64 << 7), 4091); _stF::I64 = _stF::I64 + 1; }}} We should improve sinking pass so that it can optimize such cases. See Note [dependent assignments] in CmmSink. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8336> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8372: enable -dcmm-lint by default for .cmm input files
by GHC 18 Nov '14

18 Nov '14

#8372: enable -dcmm-lint by default for .cmm input files ------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I'm finding it's quite easy to write `.cmm` files with subtle errors that cause ghc to emit code that wasn't what I wanted! For example, I wrote a comparison between two arguments of different integer sizes and the code generator picked the wrong size. After tracking down the bug, I tried `-dcmm-lint` and it caught my error right away. It makes sense not to have `-dcmm-lint` enabled by default for Cmm produced from Stg, but I've seen here on the GHC wiki that `-dcmm-lint` is advised for hand-written `.cmm` files. But `integer-gmp`, and probably many other packages, don't build `.cmm` files with `-dcmm-lint`. Is there a reason we can't/shouldn't just make it the default? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8372> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8388: forall on non-* types
by GHC 18 Nov '14

18 Nov '14

#8388: forall on non-* types ------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- This code {{{ {-# LANGUAGE RankNTypes, ImpredicativeTypes #-} x = Nothing :: (forall a. Maybe) Int }}} gives {{{ Couldn't match type `Maybe' with `forall a. Maybe' Expected type: forall a. Maybe Int Actual type: Maybe Int }}} which does not seem correct. There are two options: Option A: We allow this. Option B: We reject this as ill-kinded and allow `forall a. T` only when `T` has kind `*`. I prefer this option; in theory this can break existing code, but I am not aware of any code that uses forall on non-* type (please correct me if I'm wrong), and e.g. this means `forall a. a` inhabits every kind, for example `Bool`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8388> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8261: Windows Testsuite stuck at configuring timeout
by GHC 03 Nov '14

03 Nov '14

#8261: Windows Testsuite stuck at configuring timeout ------------------------------+--------------------------------- Reporter: leroux | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------+--------------------------------- When running the testsuite, it gets stuck at {{{Configuring timeout-1...}}}. I tried adding a verbosity flag to the ENV vars, but they didn't make any affect on the {{{./Setup}}} args. Relating to my development setup...I've followed the instructions from http://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Windows (using MinGW). I was rather surprised when I was building GHC, it threw an error saying that "libmpfr-3.dll" was missing, so I fetched that from a cygwin mirror and threw it in {{{msys/bin}}}, but even after doing that, I got errors saying that it could find certain cygwin libraries ({{{cyg*.dll}}}). So I just installed the entirety of cygwin and it started working fine. The only ticket I found that is related to this is #1599, but I'm not sure. ---- System details: {{{ # Windows 7 x86 (32-bit) $ uname -a MINGW32_NT-6.1 LEROUX-WINBUILD 1.0.18(0.48/3/2) 2012-11-21 22:34 i686 Msys $ echo $PATH /c/MinGW/bin:.:/usr/local/bin:/mingw/bin:/bin:/c/Program Files/Haskell/bin:/c/Program Files/Haskell Platform/2013.2.0.0/lib/extralibs/bin:/c/ Program Files/Haskell Platform/2013.2.0.0/bin:/c/Windows/system32:/c/Windows:/c/Windows/System32/Wbem:/c/Windows/System32/WindowsPowerShell/v 1.0/:/c/Program Files/Haskell Platform/2013.2.0.0/mingw/bin:/c/Program Files/Git/cmd:/c/Users/leroux/AppData/Roaming/cabal/bin:/mingw/bin:/us r/bin:/c/cygwin/bin }}} ---- Here's the testsuite run: {{{ $ make test WAY=normal make -C testsuite/tests CLEANUP=1 OUTPUT_SUMMARY=../../testsuite_summary.txt fast make[1]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/tests' make fast=YES make[2]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/tests' Looks like you don't have timeout, building it first... make -C ../timeout all make[3]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/timeout' rm -rf install-inplace 'C:/MinGW/msys/1.0/home/leroux/devel/ghc-validate/inplace/bin/ghc- stage2.exe' --make Setup ./Setup configure --with-compiler='C:/MinGW/msys/1.0/home/leroux/devel /ghc-validate/inplace/bin/ghc-stage2.exe' \ --with-hc- pkg='C:/MinGW/msys/1.0/home/leroux/devel/ghc-validate/inplace/bin/ghc- pkg.exe' \ --with- hsc2hs='C:/MinGW/msys/1.0/home/leroux/devel/ghc- validate/inplace/bin/hsc2hs.exe' \ \ --ghc-option=-threaded --prefix='C:/MinGW/msys/1.0/home/leroux/devel/ghc- validate/testsuite/timeout/install-inplace ' Configuring timeout-1... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8261> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8295: T4850 deadlocks when run with -Ds on Windows (also it's failing)
by GHC 03 Nov '14

03 Nov '14

#8295: T4850 deadlocks when run with -Ds on Windows (also it's failing) --------------------------+------------------------------------------------ Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.7 Runtime System | Operating System: Windows Keywords: | Type of failure: Incorrect result at runtime Architecture: x86_64 | Test Case: T4850 (amd64) | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ T4850 has been failing recently, reporting too *few* OS threads allocated. That's pretty odd. What is also odd (and much less good) is that T4850 is deadlocking when you run it with `-Ds`. Uh oh! {{{ bash.exe-3.1$ ./T4850 +RTS -Ds 7eb0: created capset 0 of type 2 7eb0: created capset 1 of type 3 7eb0: cap 0: initialised 7eb0: assigned cap 0 to capset 0 7eb0: assigned cap 0 to capset 1 7eb0: allocated 1 more capabilities 7eb0: new task (taskCount: 1) 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: created thread 1 7eb0: new bound thread (1) 7eb0: cap 0: schedule() 7eb0: cap 0: running thread 1 (ThreadRunGHC) 7eb0: cap 0: created thread 2 7eb0: cap 0: thread 1 stopped (finished) 7eb0: bound thread (1) finished 7eb0: starting new worker on capability 0 7eb0: new worker task (taskCount: 2) 7eb0: task exiting 7eb0: new task (taskCount: 2) 7eb0: returning; I want capability 0 7fc0: cap 0: schedule() 7fc0: giving up capability 0 7fc0: passing capability 0 to worker 0x7eb0 7eb0: resuming capability 0 7eb0: cap 0: created thread 3 7eb0: new bound thread (3) 7eb0: cap 0: schedule() 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7fc0 7fc0: woken up on capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: starting new worker on capability 0 7eb0: new worker task (taskCount: 3) 7eb0: returning; I want capability 0 7b50: cap 0: schedule() 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: created thread 4 7eb0: cap 0: thread 3 stopped (blocked on an MVar) thread 3 @ 00e03bbc is blocked on an MVar @ 00e021e4 (TSO_DIRTY) 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7b50 7b50: woken up on capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 4 (ThreadRunGHC) 7b50: cap 0: thread 4 stopped (suspended while making a foreign call) 7b50: starting new worker on capability 0 7b50: new worker task (taskCount: 4) 7b50: new task (taskCount: 4) 7b50: returning; I want capability 0 7de4: cap 0: schedule() 7de4: giving up capability 0 7de4: passing capability 0 to worker 0x7b50 7b50: resuming capability 0 7b50: cap 0: created thread 5 7b50: new bound thread (5) 7b50: cap 0: schedule() 7b50: cap 0: running thread 5 (ThreadRunGHC) 7b50: cap 0: thread 5 stopped (finished) 7b50: bound thread (5) finished 7b50: freeing capability 0 7b50: task exiting 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 4 (ThreadRunGHC) 7b50: cap 0: waking up thread 3 on cap 0 7b50: cap 0: thread 4 stopped (finished) 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 4 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: created thread 6 7eb0: cap 0: thread 3 stopped (blocked on an MVar) thread 3 @ 00e03bbc is blocked on an MVar @ 00e021e4 (TSO_DIRTY) 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7b50 7b50: woken up on capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 6 (ThreadRunGHC) 7b50: cap 0: thread 6 stopped (suspended while making a foreign call) 7b50: freeing capability 0 7b50: new task (taskCount: 4) 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: created thread 7 7b50: new bound thread (7) 7b50: cap 0: schedule() 7b50: cap 0: running thread 7 (ThreadRunGHC) 7b50: cap 0: thread 7 stopped (finished) 7b50: bound thread (7) finished 7b50: freeing capability 0 7b50: task exiting 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 6 (ThreadRunGHC) 7b50: cap 0: waking up thread 3 on cap 0 7b50: cap 0: thread 6 stopped (finished) 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 4 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (yielding) 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (finished) 7eb0: bound thread (3) finished 7eb0: freeing capability 0 7eb0: task exiting 7eb0: new task (taskCount: 4) 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: created thread 8 7eb0: new bound thread (8) 7eb0: cap 0: schedule() 7eb0: cap 0: running thread 8 (ThreadRunGHC) 7eb0: cap 0: thread 8 stopped (finished) 7eb0: bound thread (8) finished 7eb0: freeing capability 0 7eb0: task exiting 7eb0: new task (taskCount: 4) 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7eb0: returning; I want capability 0 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (yielding) 7fc0: SCHED_INTERRUPTING 7fc0: cap 0: requesting sequential GC 7fc0: grabbing all the capabilies (0/1) all threads: threads on capability 0: thread 2 @ 00e037bc is not blocked (TSO_DIRTY) other threads: 7fc0: deleting all threads 7fc0: cap 0: raising exception in thread 2. 7fc0: cap 0: starting GC 7fc0: cap 0: GC working 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: all caps stopped for GC 7fc0: cap 0: finished GC 7fc0: SCHED_SHUTTING_DOWN 7fc0: giving up capability 0 7fc0: passing capability 0 to worker 0x7eb0 7eb0: resuming capability 0 7eb0: passing capability 0 to worker 0x7fc0 7eb0: shutting down capability 0, attempt 0 7fc0: woken up on capability 0 7eb0: runnable threads or workers still alive, yielding 7eb0: passing capability 0 to worker 0x7fc0 7eb0: shutting down capability 0, attempt 1 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 2 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 3 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 4 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 5 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 6 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 7 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 8 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 9 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 10 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 11 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 12 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 13 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 14 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 15 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 16 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 17 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 18 7eb0: not owner, yielding ... }}} ad infinitum. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8295> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8345: A more efficient atomicModifyIORef'
by GHC 27 Oct '14

27 Oct '14

#8345: A more efficient atomicModifyIORef' ------------------------------------+------------------------------------- Reporter: parcs | Owner: Type: task | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- `atomicModifyIORef'` is currently defined as: {{{ #!haskell atomicModifyIORef' ref f = do b <- atomicModifyIORef ref (\x -> let (a, b) = f x in (a, a `seq` b)) b `seq` return b }}} This doesn't seem to be the best we can do, though. The following implementation exhibits a speedup of 1.7x (vanilla RTS) / 1.4x (threaded RTS) over the current implementation: {{{ #!haskell atomicModifyIORef' ref f = do b <- atomicModifyIORef ref $ \a -> case f a of v@(a',_) -> a' `seq` v b `seq` return b }}} The differences between this version and the current version are: 1. the lambda is now strict in `f a`, and 2. a new result tuple is no longer being allocated. Is there a good reason why `atomicModifyIORef'` is not already defined this way? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8345> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #8374: `tcIfaceGlobal (local): not found` while compiling
by GHC 29 Sep '14

29 Sep '14

#8374: `tcIfaceGlobal (local): not found` while compiling ----------------------------+---------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+---------------------------------------- On commit fa3ffb43144eadc406031110b01ba3dc4f9bd94e on compiling on ARM, ``` "rm" -f libraries/integer-gmp/dist-install/build/libHSinteger- gmp-0.5.1.0.a.contents "/usr/bin/ld" -r -o libraries/integer-gmp/dist-install/build/HSinteger- gmp-0.5.1.0.o libraries/integer-gmp/dist-install/build/GHC/Integer.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Prim.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/Type.o libraries /integer-gmp/dist-install/build/cbits/gmp-wrappers.o libraries/integer- gmp/dist-install/build/cbits/cbits.o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130924 for arm-unknown-linux): tcIfaceGlobal (local): not found: base:GHC.Base.$fMonadIO{v r1} [(02K, Identifier ‛base:GHC.Base.fail{v 02K}’), (02L, Identifier ‛base:GHC.Base.>>={v 02L}’), (02M, Identifier ‛base:GHC.Base.>>{v 02M}’), (02N, Identifier ‛base:GHC.Base.fmap{v 02N}’), (02O, Identifier ‛base:GHC.Base.return{v 02O}’), (28, Class ‛base:GHC.Base.Monad{tc 28}’), (2a, Class ‛base:GHC.Base.Functor{tc 2a}’), (36r, Type constructor ‛base:GHC.Base.Opaque{tc 36r}’), (36u, Type constructor ‛base:GHC.Base.String{tc 36u}’), (rB, Data constructor ‛base:GHC.Base.O{d rB}’), (rD, Identifier ‛base:GHC.Base.<${v rD}’), (rhP, Identifier ‛base:GHC.Base.O{v rhP}’), (ri5, Data constructor ‛base:GHC.Base.D:Functor{d ri5}’), (rit, Identifier ‛base:GHC.Base.$dm<${v rit}’), (riv, Identifier ‛base:GHC.Base.D:Functor{v riv}’), (riX, Data constructor ‛base:GHC.Base.D:Monad{d riX}’), (rjw, Identifier ‛base:GHC.Base.$dm>>{v rjw}’), (rjx, Identifier ‛base:GHC.Base.$dmfail{v rjx}’), (rjz, Identifier ‛base:GHC.Base.D:Monad{v rjz}’)] ``` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8374> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 36

[GHC] #8115: GHC 64-bit build failures with LLVM
by GHC 28 Sep '14

28 Sep '14

#8115: GHC 64-bit build failures with LLVM ------------------------------------+--------------------------------- Reporter: schyler | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- When using LLVM 2.9, 3.1 or 3.4svn on Windows with the 64-bit GHC from the downloads page (http://www.haskell.org/ghc/download_ghc_7_6_3) to compile this simple program; {{{ main = print "Hello!" }}} I get these errors; {{{ Kyle@kyle-laptop /c/Users/Kyle/Desktop$ ghc -fllvm -fforce-recomp test.hs [1 of 1] Compiling Main ( test.hs, test.o ) C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s: Assembler messages: C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:2: Error: junk at end of line, first unrecognized character is `,' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:3: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:3: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:7: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:7: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:10: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:10: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:17: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:17: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:19: Error: junk at end of line, first unrecognized character is `,' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:20: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:20: Error: junk at end of line, first unrecognized character is `c' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:24: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:24: Error: junk at end of line, first unrecognized character is `c' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:26: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:26: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:31: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:31: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:34: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:34: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:41: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:41: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:43: Error: junk at end of line, first unrecognized character is `,' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:44: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:44: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:50: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:50: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:53: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:53: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:61: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:61: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:63: Error: junk at end of line, first unrecognized character is `,' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:64: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:64: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:69: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:69: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:72: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:72: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:80: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:80: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:82: Error: junk at end of line, first unrecognized character is `"' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:85: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:85: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:91: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:91: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:95: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:95: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:137: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:137: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:140: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:140: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:146: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:146: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:150: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:150: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:192: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:192: Error: junk at end of line, first unrecognized character is `s' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:195: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:195: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:202: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:202: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:207: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:207: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:250: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:250: Error: junk at end of line, first unrecognized character is `M' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:253: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:253: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:260: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:260: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:266: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:266: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:308: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:308: Error: junk at end of line, first unrecognized character is `Z' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:310: Warning: .type pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:310: Error: junk at end of line, first unrecognized character is `_' C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:315: Warning: .size pseudo-op used outside of .def/.endef ignored. C:\Users\Kyle\AppData\Local\Temp\ghc6708_0\ghc6708_0.s:315: Error: junk at end of line, first unrecognized character is `_' }}} Invocation is `ghc -fllvm test.hs`. ghc --info: {{{ Kyle@kyle-laptop /c/Users/Kyle/Desktop$ ghc --info [("Project name","The Glorious Glasgow Haskell Compilation System") ,("GCC extra via C opts"," -fwrapv") ,("C compiler command","$topdir/../mingw/bin/gcc.exe") ,("C compiler flags"," -fno-stack-protector -Wl,--hash-size=31 -Wl ,--reduce-memory-overheads") ,("ar command","$topdir/../mingw/bin/ar.exe") ,("ar flags","q") ,("ar supports at file","YES") ,("touch command","$topdir/touchy.exe") ,("dllwrap command","$topdir/../mingw/bin/dllwrap.exe") ,("windres command","$topdir/../mingw/bin/windres.exe") ,("perl command","$topdir/../perl/perl.exe") ,("target os","OSMinGW32") ,("target arch","ArchX86_64") ,("target word size","8") ,("target has GNU nonexec stack","False") ,("target has .ident directive","True") ,("target has subsections via symbols","False") ,("LLVM llc command","llc") ,("LLVM opt command","opt") ,("Project version","7.6.3") ,("Booter version","7.6.1") ,("Stage","2") ,("Build platform","x86_64-unknown-mingw32") ,("Host platform","x86_64-unknown-mingw32") ,("Target platform","x86_64-unknown-mingw32") ,("Have interpreter","YES") ,("Object splitting supported","YES") ,("Have native code generator","YES") ,("Support SMP","YES") ,("Unregisterised","NO") ,("Tables next to code","YES") ,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn") ,("Leading underscore","NO") ,("Debug on","False") ,("LibDir","C:\\Program Files\\Haskell Platform\\2013.2.0.0\\lib") ,("Global Package DB","C:\\Program Files\\Haskell Platform\\2013.2.0.0\\lib\\package.conf.d") ,("Gcc Linker flags","[\"-Wl,--hash-size=31\",\"-Wl,--reduce-memory- overheads\"]") ,("Ld Linker flags","[\"--hash-size=31\",\"--reduce-memory-overheads\"]") ] }}} No output binary is produced. Same llvm used with 32-bit ghc works smoothly to compile the same program. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8115> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8251: Validate submodule references during pre-receive hook
by GHC 24 Sep '14

24 Sep '14

#8251: Validate submodule references during pre-receive hook ------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: Component: None | Version: 7.6.3 Keywords: admin git | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Right now, you can push a commit introducing a not-yet existing Git submodule commit reference. However, such commits can be rejected for submodule repositories hosted at git.haskell.org, thus forcing the user to push the submodule first, and only after that push the submodule-affecting commit in ghc.git This kind of sanity checking ghc.git commits will become more important, if more repositories are converted into Git submodules. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8251> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6