March 2013 - ghc-tickets

[GHC] #7745: sleep interrupted in foreign call with GHC later than 7.2
by GHC 07 Mar '13

07 Mar '13

#7745: sleep interrupted in foreign call with GHC later than 7.2 ------------------------------+--------------------------------------------- Reporter: daniel.is.fischer | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- Noticed investigating [http://stackoverflow.com/questions/15226806/importing-c-delay-function- into-haskell-using-ffi this question]: With GHC `>= 7.4`, a `sleep` in a foreign call is interrupted immediately, GHC `< 7.4` let it sleep with the non-threaded runtime. Test case: {{{ #include <unistd.h> #include <stdio.h> unsigned delay(unsigned howLong) { unsigned s = sleep(howLong); printf("Done sleeping about %u s.\n", howLong); return s; } }}} Calling code: {{{ {-# LANGUAGE ForeignFunctionInterface #-} module Main (main) where import Foreign.C.Types foreign import ccall unsafe "delay" c_delay :: CUInt -> IO CUInt hdelay :: Int -> IO Int hdelay howlong = fromIntegral `fmap` c_delay (fromIntegral howlong) main = do putStrLn "Delaying" n <- hdelay 2 putStrLn $ "sleep returned " ++ show n }}} compiled with `ghc cdelay.hs wdelay.c` With GHC `>= 7.4`, `sleep` returns 2, and the programme finishes instantly. With GHC `< 7.4`, it successfully `sleep`s 2 seconds. I think that is not the desired behaviour. (With the threaded runtime, also older GHCs interrupt the `sleep`, but I think that may be intended.) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7745> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7747: debug_p RTS is buggy (debugging and profiled)
by GHC 07 Mar '13

07 Mar '13

#7747: debug_p RTS is buggy (debugging and profiled) -----------------------------+---------------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Component: Profiling Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime crash | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- I think some of the sanity assertions that debugging enables are not being adjusted adequately when profiling is turned on. We probably never caught this because we don't build debug_p by default. I see some worse problems under some more complicated test-cases but lets go with the simple case first! {{{ fib :: Integer -> Integer fib 0 = 1 fib 1 = 1 fib n = fib (n-1) + fib (n-2) main = print (fib 25) }}} built as {{{ /srv/code/ghc-build-tick/inplace/bin/ghc-stage2 -fforce-recomp -fprof-drop -prof -debug --make dp.hs -O -rtsopts }}} run as {{{ ezyang@javelin:~/Dev/haskell$ ./dp +RTS -DS cap 0: initialised dp: internal error: checkClosure: found EVACUATED closure 0 (GHC version 7.7 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) }}} Here is the GDB backtrace: {{{ Program received signal SIGABRT, Aborted. 0x00007ffff6ec4425 in raise () from /lib/x86_64-linux-gnu/libc.so.6 (gdb) bt #0 0x00007ffff6ec4425 in raise () from /lib/x86_64-linux-gnu/libc.so.6 #1 0x00007ffff6ec7b8b in abort () from /lib/x86_64-linux-gnu/libc.so.6 #2 0x0000000000a552b7 in rtsFatalInternalErrorFn (s=0xba5038 "checkClosure: found EVACUATED closure %d", ap=0x7fffffffd4d8) at rts/RtsMessages.c:170 #3 0x0000000000a54eef in barf (s=0xba5038 "checkClosure: found EVACUATED closure %d") at rts/RtsMessages.c:42 #4 0x0000000000a6a368 in checkClosure (p=0x7ffff64fe988) at rts/sm/Sanity.c:237 #5 0x0000000000a6aa54 in checkHeapChain (bd=0x7ffff6403f80) at rts/sm/Sanity.c:450 #6 0x0000000000a6b2f1 in checkGeneration (gen=0xe7a0e0, after_major_gc=rtsFalse) at rts/sm/Sanity.c:706 #7 0x0000000000a6b3bc in checkFullHeap (after_major_gc=rtsFalse) at rts/sm/Sanity.c:724 #8 0x0000000000a6b42b in checkSanity (after_gc=rtsFalse, major_gc=rtsFalse) at rts/sm/Sanity.c:733 #9 0x0000000000a662bb in GarbageCollect (collect_gen=0, do_heap_census=rtsFalse, gc_type=0, cap=0xe6b680 <MainCapability>) at rts/sm/GC.c:298 #10 0x0000000000a579dd in scheduleDoGC (pcap=0x7fffffffd860, task=0xe8ccf0, force_major=rtsFalse) at rts/Schedule.c:1651 #11 0x0000000000a56f92 in schedule (initialCapability=0xe6b680 <MainCapability>, task=0xe8ccf0) at rts/Schedule.c:553 #12 0x0000000000a582b6 in scheduleWaitThread (tso=0x7ffff6405378, ret=0x0, pcap=0x7fffffffd930) at rts/Schedule.c:2359 #13 0x0000000000a98156 in rts_evalLazyIO (cap=0x7fffffffd930, p=0xdc2840, ret=0x0) at rts/RtsAPI.c:497 #14 0x0000000000a54d5b in real_main () at rts/RtsMain.c:63 #15 0x0000000000a54e4a in hs_main (argc=3, argv=0x7fffffffda98, main_closure=0xdc2840, rts_config=...) at rts/RtsMain.c:114 #16 0x0000000000404bb3 in main () }}} and here is the heap in the vicinity of the problem: {{{ (gdb) pmem (0x7ffff64fe988-16) 16 0x7ffff64fe9f0: 0x9d51c0 <integerzmgmp_GHCziIntegerziType_Szh_con_info> 0x7ffff64fe9e8: 0x7ffff6405189 0x7ffff64fe9e0: 0x0 0x7ffff64fe9d8: 0xdc2650 0x7ffff64fe9d0: 0xa79210 <stg_BLACKHOLE_info> 0x7ffff64fe9c8: 0x5 0x7ffff64fe9c0: 0x0 0x7ffff64fe9b8: 0xdc2650 0x7ffff64fe9b0: 0x9d51c0 <integerzmgmp_GHCziIntegerziType_Szh_con_info> 0x7ffff64fe9a8: 0x7ffff6405169 0x7ffff64fe9a0: 0x0 0x7ffff64fe998: 0xdc2650 0x7ffff64fe990: 0xa79210 <stg_BLACKHOLE_info> 0x7ffff64fe988: 0x7ffff64fe909 0x7ffff64fe980: 0xdc26d1 0x7ffff64fe978: 0x0 }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7747> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7424: Add Data.Bits instance for Bool
by GHC 07 Mar '13

07 Mar '13

#7424: Add Data.Bits instance for Bool -----------------------------+---------------------------------------------- Reporter: Aninhumer | Owner: Type: feature request | Status: new Priority: normal | Component: libraries/base Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Changes (by elliottt): * cc: trevor@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7424#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 07 Mar '13

07 Mar '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------+------------------------------------------ Reporter: claus | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Keywords: FD TF | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by parcs): * status: new => patch Comment: I've attached a patch that implements support for showing type family instances through `:info`. Examples: {{{ {-# LANGUAGE TypeFamilies #-} type family A a b type instance A Int Int = () type instance A (Maybe a) a = a data family B a data instance B () = MkB class C a where type D a b instance C Int where type D Int () = String instance C () where type D () () = Bool type family E a type instance where E () = Bool E Int = String }}} {{{ Main> :i A type family A a b :: * -- Defined at tf.hs:3:13 type instance A (Maybe a) a -- Defined at tf.hs:5:15 type instance A Int Int -- Defined at tf.hs:4:15 }}} {{{ *Main> :i B data family B a -- Defined at tf.hs:7:13 data instance B () -- Defined at tf.hs:8:15 }}} {{{ *Main> :i D class C a where type family D a b :: * -- Defined at tf.hs:11:10 type D () () -- Defined at tf.hs:17:10 type D Int () -- Defined at tf.hs:14:10 }}} {{{ Main> :i E type family E a :: * -- Defined at tf.hs:23:13 type instance where E () -- Defined at tf.hs:26:5 E Int -- Defined at tf.hs:27:5 }}} {{{ *Main> :i () data () = () -- Defined in ‛GHC.Tuple’ instance C () -- Defined at tf.hs:16:10 ... data instance B () -- Defined at tf.hs:8:15 type D () () -- Defined at tf.hs:17:10 type D Int () -- Defined at tf.hs:14:10 type instance where E () -- Defined at tf.hs:26:5 E Int -- Defined at tf.hs:27:5 }}} {{{ *Main> :i Maybe data Maybe a = Nothing | Just a -- Defined in ‛Data.Maybe’ ... type instance A (Maybe a) a -- Defined at tf.hs:5:15 }}} {{{ *Main> :i Int data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‛GHC.Types’ instance C Int -- Defined at tf.hs:13:10 ... type instance A Int Int -- Defined at tf.hs:4:15 type D Int () -- Defined at tf.hs:14:10 type instance where E () -- Defined at tf.hs:26:5 E Int -- Defined at tf.hs:27:5 }}} The patch causes a trivial testsuite failure: {{{ Unexpected failures: ghci/scripts T5417 [bad stdout] (ghci) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4175#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4471: Incorrect Unicode output on Windows Console
by GHC 07 Mar '13

07 Mar '13

#4471: Incorrect Unicode output on Windows Console -------------------------+-------------------------------------------------- Reporter: sankeld | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.3 Keywords: | Os: Windows Architecture: x86 | Failure: Incorrect result at runtime Difficulty: | Testcase: Blockedby: | Blocking: Related: | -------------------------+-------------------------------------------------- Changes (by simonmic): * cc: simon@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4471#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints
by GHC 07 Mar '13

07 Mar '13

#2555: Template Haskell does not respect -package and -hide constraints --------------------------+------------------------------------------------- Reporter: guest | Type: bug Status: new | Priority: lowest Milestone: 7.6.2 | Component: Template Haskell Version: 6.8.2 | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------+------------------------------------------------- Comment(by morabbin): This bug seems pretty stale, and never had a good description. Kill? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2598: Avoid excessive specialisation in SpecConstr
by GHC 07 Mar '13

07 Mar '13

#2598: Avoid excessive specialisation in SpecConstr ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by morabbin): * failure: => None/Unknown Comment: Is this moot now? With GHC 7.6.2: {{{ ghc --make -fforce-recomp -c -ddverbose-core2core -dshow-passes -O2 DropComment.hs }}} on the attached `DropComment.hs` produces (among other things): {{{ ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 70, types: 50, coercions: 0} Rec { lvl_rid :: [GHC.Types.Char] [GblId] lvl_rid = DropComment.dropComment (GHC.Types.[] @ GHC.Types.Char) DropComment.dropComment [Occ=LoopBreaker] :: [GHC.Types.Char] -> [GHC.Types.Char] [GblId, Arity=1, Str=DmdType S] DropComment.dropComment = \ (ds_deO :: [GHC.Types.Char]) -> case ds_deO of _ { [] -> GHC.Types.[] @ GHC.Types.Char; : ds1_deP ds2_deQ -> case ds1_deP of wild1_X7 { GHC.Types.C# ds3_deR -> case ds3_deR of _ { __DEFAULT -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment ds2_deQ); ' ' -> case ds2_deQ of wild2_Xa { [] -> GHC.Types.: @ GHC.Types.Char wild1_X7 lvl_rid; : ds5_deS ds6_deT -> case ds5_deS of _ { GHC.Types.C# ds7_deU -> case ds7_deU of _ { __DEFAULT -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment wild2_Xa); '-' -> case ds6_deT of _ { [] -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment wild2_Xa); : ds9_deV ds10_deW -> case ds9_deV of _ { GHC.Types.C# ds11_deX -> case ds11_deX of _ { __DEFAULT -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment wild2_Xa); '-' -> case ds10_deW of _ { [] -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment wild2_Xa); : ds13_deY ds14_deZ -> case ds13_deY of _ { GHC.Types.C# ds15_df0 -> case ds15_df0 of _ { __DEFAULT -> GHC.Types.: @ GHC.Types.Char wild1_X7 (DropComment.dropComment wild2_Xa); ' ' -> GHC.Types.[] @ GHC.Types.Char } } } } } } } } } } } } end Rec } }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2598#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6063: GHC's build-time ld-flag checks are problematic
by GHC 07 Mar '13

07 Mar '13

#6063: GHC's build-time ld-flag checks are problematic ---------------------------------+------------------------------------------ Reporter: parcs | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Linux Architecture: Unknown/Multiple | Failure: GHC doesn't work at all Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4862 | ---------------------------------+------------------------------------------ Comment(by ezyang): On the other hand, having to shell out to ld every time we run GHC is a bit of a bummer, as far as performance goes. A stop-gap may be to just re- run ld without the lfags if it fails the first time; in the good case, we still manage to only do one invocation. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6063#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3372: Allow for multiple linker instances
by GHC 07 Mar '13

07 Mar '13

#3372: Allow for multiple linker instances ---------------------------------+------------------------------------------ Reporter: jcpetruzza | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: 3658 | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by ezyang): * cc: ezyang@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3372#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7597: plugins01 fails if it has been run previously (doesn't force recompile)
by GHC 07 Mar '13

07 Mar '13

#7597: plugins01 fails if it has been run previously (doesn't force recompile) -----------------------------+---------------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Component: Test Suite Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Just to make sure I don't forget about this. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7597> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1