June 2013 - ghc-tickets

Re: [GHC] #7456: GHC API displays linker messages to stdout instead of via log_action
by GHC 23 Jun '13

23 Jun '13

#7456: GHC API displays linker messages to stdout instead of via log_action ------------------------------+--------------------------------------------- Reporter: MikolajKonarski | Owner: igloo Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: GHC API | Version: 7.4.2 Resolution: fixed | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Other | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- Changes (by igloo): * status: new => closed * resolution: => fixed Comment: Fixed; thanks for the report. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7456#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7456: GHC API displays linker messages to stdout instead of via log_action
by GHC 23 Jun '13

23 Jun '13

#7456: GHC API displays linker messages to stdout instead of via log_action --------------------------------+------------------------------------------- Reporter: MikolajKonarski | Owner: igloo Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: GHC API | Version: 7.4.2 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | --------------------------------+------------------------------------------- Comment(by ian@…): commit f81e14bb14e459cdd59ea232f7c711827be85dd6 {{{ Author: Ian Lynagh <ian(a)well-typed.com> Date: Sun Jun 23 12:49:42 2013 +0100 Allow the GHCi messages to be overridden via the GHC API; fixes #7456 They now go through log_action. The existing severities all used printDoc, which always adds a trailing newline, which we don't want for the GHCi messages. I therefore added a new severity SevInteractive, which doesn't add a newline. compiler/ghci/Linker.lhs | 9 +++++---- compiler/main/DynFlags.hs | 13 +++++++++++-- compiler/main/ErrUtils.lhs | 1 + compiler/main/ErrUtils.lhs-boot | 1 + 4 files changed, 18 insertions(+), 6 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7456#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8009: error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)
by GHC 23 Jun '13

23 Jun '13

#8009: error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function) --------------------------------+------------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Linux | Architecture: powerpc64 Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Building GHC HEAD at 569b2652 on powerpc64 Linux results in: {{{ "inplace/bin/ghc-stage1" -static -H32m -O -Werror -Wall -H64m -O0 -Iincludes \ -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist- ghcconstants/header \ -Irts -Irts/dist/build -DCOMPILING_RTS -package-name rts -optc-DNOSMP -dcmm-lint \ -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen \ -O2 -c rts/PrimOps.cmm -o rts/dist/build/PrimOps.o /tmp/ghc18067_0/ghc18067_0.hc: In function 'c6o_entry': /tmp/ghc18067_0/ghc18067_0.hc:509:20: error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function) /tmp/ghc18067_0/ghc18067_0.hc:509:20: note: each undeclared identifier is reported only once for each function it appears in }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8009> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #7992: Wrong invocation of configure script in libffi and integer-gmp
by GHC 23 Jun '13

23 Jun '13

#7992: Wrong invocation of configure script in libffi and integer-gmp --------------------------------+------------------------------------------- Reporter: merijn | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: patch Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Similar to the fixed cabal issue: https://github.com/haskell/cabal/pull/1021 The autoconf generated configure script tries to automatically determine the location of the configure script. If the name (argv[0]) of the configure script does not include a path separator autoconf will first scan the path for a file named "configure" before defaulting to the current directory. The libffi and integer-gmp make files previously called configure by doing "$(SHELL) configure" this will result in it finding any files named "configure" in the path and using the location of that file as the basedir to look for the build's sub directoris. The result is that the libffi /integer-gmp header files, etc. are not found, resulting in a build failure when trying to compile GHC. Changing the makefiles to use "$(SHELL) ./configure" will avoid this behaviour, the presence of a path separator causes autoconf to default to checking the current directory first. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7992> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8007: Missing space in `rec` documentation
by GHC 22 Jun '13

22 Jun '13

#8007: Missing space in `rec` documentation ------------------------------+--------------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component: Documentation Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Documentation bug | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- One of the code examples in http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax- extns.html#idp47740432 is: {{{ vs <- mfix (\~vs -> do { ss; return vs }) }}} This is a syntax error. There should be a space between `\` and `~` because otherwise it will be parsed as a single operator `\~`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8007> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8005: Man page shows -help, but only --help is accepted
by GHC 22 Jun '13

22 Jun '13

#8005: Man page shows -help, but only --help is accepted ------------------------------+--------------------------------------------- Reporter: nh2 | Owner: Type: bug | Status: new Priority: normal | Component: Documentation Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Documentation bug | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- `man ghc` shows `-help` as an option. I believe it lacks another `-`. Thanks. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8005> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error
by GHC 22 Jun '13

22 Jun '13

#7332: Kind-defaulting omitted leads to deeply obscure type error -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7332 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by igloo): * status: new => closed * resolution: => fixed * milestone: 7.6.2 => 7.8.1 Comment: It's fixed in the 7.8 branch, but not 7.6. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7332#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error
by GHC 22 Jun '13

22 Jun '13

#7332: Kind-defaulting omitted leads to deeply obscure type error -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7332 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by guest): * owner: simonpj => * status: closed => new * resolution: fixed => Comment: I am sorry to bringing this problem back, but has it really been fixed? I have just upgraded GHC to 7.6.3 and see exactly the same problem as reported in the original ticket. I use exactly the same file and receive the same problematic error messages. Perhaps some extra compiler flag is needed? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7332#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8008: Pretty numbers (like 1`000`000)
by GHC 22 Jun '13

22 Jun '13

#8008: Pretty numbers (like 1`000`000) -----------------------------+---------------------------------------------- Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Let allow to use pretty numbers in code. Pattern looks like Digit_1 = d Inner_digit = d|` Many_digits = Digit_1(Inner_digit)*Digit_1 Digits = Digit_1|Many_digits This numbers must be valid (and may be add to class Read): {{{ 100`000`000`000`000`000 10`000`000.000`000`05 0xFFFF`FFFF`FFFF`FFFF 10`000e1`005 and this: 100`0`00`0`00`0`00`00``0`00```0 but not this: ```1000``` }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8008> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7787: modifyMVar does not restore value if callback returns error value
by GHC 22 Jun '13

22 Jun '13

#7787: modifyMVar does not restore value if callback returns error value ----------------------------------------+----------------------------------- Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Component: libraries/base Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- `modifyMVar` is currently implemented as follows: {{{ modifyMVar :: MVar a -> (a -> IO (a,b)) -> IO b modifyMVar m io = mask $ \restore -> do a <- takeMVar m (a',b) <- restore (io a) `onException` putMVar m a putMVar m a' return b }}} The problem is that it forces the `(a',b)` outside of the exception handler. If forcing this throws an exception, `putMVar` will not be called, and a subsequent `withMVar` or similar will hang. Example: {{{ > import Control.Concurrent.MVar > mv <- newMVar 'x' > modifyMVar mv $ \_ -> return undefined *** Exception: Prelude.undefined > withMVar mv print -- hang -- }}} Perhaps we can fix it like this: {{{ - (a',b) <- restore (io a) `onException` putMVar m a + (a',b) <- restore (io a >>= evaluate) `onException` putMVar m a }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7787> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 4