- ghc-tickets - Haskell.org

Re: [GHC] #2507: quotation characters in error messages
by GHC 25 Feb '14

25 Feb '14

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"018676c7f883886b388652c913c99a10d2591b0b/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="018676c7f883886b388652c913c99a10d2591b0b" Use U+2018 instead of U+201B quote mark in compiler messages This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019) and therefore looks more familiar on the console. This addresses #2507. Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8821: Functional dependency coverage check does not use type equalities
by GHC 25 Feb '14

25 Feb '14

#8821: Functional dependency coverage check does not use type equalities -------------------------------------------+------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- When checking the coverage condition to validate an instance, we should also consider equality constraints because they have a dependency in both directions. {{{ class C a b | a -> b instance (a ~ b) => C a b -- Illegal instance declaration for ‛C a b’ -- The coverage condition fails in class ‛C’ -- for functional dependency: ‛a -> b’ -- Reason: lhs type ‛a’ does not determine rhs type ‛b’ -- Using UndecidableInstances might help -- In the instance declaration for ‛C a b’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8821> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2507: quotation characters in error messages
by GHC 24 Feb '14

24 Feb '14

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Changes (by hvr): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5013: sporadic failures during compilation under solaris
by GHC 24 Feb '14

24 Feb '14

#5013: sporadic failures during compilation under solaris ----------------------------------+--------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Solaris | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+--------------------------- Comment (by maeder): The patches are just these (as described in comment:24) {{{ -bash-3.2$ diff -u libraries/unix/System/Posix/Files.hsc~ libraries/unix/System/Posix/Files.hsc --- libraries/unix/System/Posix/Files.hsc~ Di Nov 5 15:27:50 2013 +++ libraries/unix/System/Posix/Files.hsc Di Nov 5 15:32:50 2013 @@ -185,7 +185,7 @@ fp <- mallocForeignPtrBytes (#const sizeof(struct stat)) withForeignPtr fp $ \p -> withFilePath path $ \s -> - throwErrnoPathIfMinus1_ "getFileStatus" path (c_stat s p) + throwErrnoPathIfMinus1Retry_ "getFileStatus" path (c_stat s p) return (FileStatus fp) -- | Acts as 'getFileStatus' except when the 'FilePath' refers to a symbolic -bash-3.2$ diff -u libraries/unix/System/Posix/Files.hsc~ libraries/unix/System/Posix/Files.hsc -bash-3.2$ diff -u libraries/unix/System/Posix/Files/ByteString.hsc~ libraries/unix/System/Posix/Files/ByteString.hsc --- libraries/unix/System/Posix/Files/ByteString.hsc~ Di Nov 5 15:28:33 2013 +++ libraries/unix/System/Posix/Files/ByteString.hsc Di Nov 5 15:33:26 2013 @@ -167,7 +167,7 @@ fp <- mallocForeignPtrBytes (#const sizeof(struct stat)) withForeignPtr fp $ \p -> withFilePath path $ \s -> - throwErrnoPathIfMinus1_ "getFileStatus" path (c_stat s p) + throwErrnoPathIfMinus1Retry_ "getFileStatus" path (c_stat s p) return (FileStatus fp) -- | Acts as 'getFileStatus' except when the 'RawFilePath' refers to a symbolic }}} These files contain trailing white spaces (that my editor deleted automatically). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5013#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5013: sporadic failures during compilation under solaris
by GHC 24 Feb '14

24 Feb '14

#5013: sporadic failures during compilation under solaris ----------------------------------+--------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Solaris | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+--------------------------- Comment (by kgardas): Do you have a patch? I'm asking since for complete verification I would need to: 1) patch and build 7.6.x (using gmake -j1) 2) patch GHC HEAD and build with (1) using gmake -jX The reason is simple, your offered patch GHC will be used just to build ghc-stage1 + boot libs and this is just a small part of GHC bootstrap. Everything else will go with ghc-stage1 which also needs to be patched. Thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5013#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5013: sporadic failures during compilation under solaris
by GHC 24 Feb '14

24 Feb '14

#5013: sporadic failures during compilation under solaris ----------------------------------+--------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Solaris | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+--------------------------- Comment (by maeder): Could you test my ghc-7.6.3-i386 solaris bin-dist that contains the above patch, if it solves this (NFS) problem? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5013#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2507: quotation characters in error messages
by GHC 23 Feb '14

23 Feb '14

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Comment (by ErlendH): This patch uses the following symbols: - U+201B SINGLE HIGH-REVERSED-9 QUOTATION MARK - U+2019 RIGHT SINGLE QUOTATION MARK Shouldn't the first one be U+2018 LEFT SINGLE QUOTATION MARK to match the right quotation mark? Right now it looks really unbalanced with the fonts I tested. Is this intentional? Here's a screenshot, using Microsoft's Source Code Pro font: [[Image(http://i.imgur.com/RkwwPB6.png)]] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5013: sporadic failures during compilation under solaris
by GHC 22 Feb '14

22 Feb '14

#5013: sporadic failures during compilation under solaris ----------------------------------+--------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Solaris | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+--------------------------- Changes (by kgardas): * cc: karel.gardas@… (added) * priority: low => normal * status: closed => new * resolution: worksforme => * version: 7.0.4 => 7.6.1 Comment: I'm reopening this issue as I'm able to easily reproduce error: {{{ getFileStatus: interrupted (Interrupted system call) }}} I'm able to get it on both SPARC and x86 Solarises. And on both version 10 and 11.1. The way to reproduce this is simple. Put GHC sources on NFS server. Mount this to SPARC/x86 server and attempt to compile GHC from those NFS mounted sources with `gmake -jN' where N > 1. Concretely I'm using 7.6.2 release for x86 compiled by me and for SPARC compiled by Christian. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5013#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8512: Add flag like '-xc' that only reports uncaught exceptions
by GHC 21 Feb '14

21 Feb '14

#8512: Add flag like '-xc' that only reports uncaught exceptions ------------------------------------+------------------------------------- Reporter: blitzcode | Owner: simonmar Type: feature request | Status: new Priority: normal | Milestone: Component: Runtime System | 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: | ------------------------------------+------------------------------------- The -xc RTS flag reports the stack trace of all exceptions. This can be very noisy when, for instance, certain http or parsing libraries are used that throw many exceptions, often handled fully internal, during their normal operation. Having multiple threads makes it even noisier. I'd think having a flag like -xc that only reports uncaught exceptions would be useful. It seems the GHCi debugger has a flag to only stop on uncaught exceptions, maybe this could be made available as an RTS option? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8512> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8804: BlockedIndefinitelyOnMVar thrown for an MVar which is still weakly accessible from another thread
by GHC 21 Feb '14

21 Feb '14

#8804: BlockedIndefinitelyOnMVar thrown for an MVar which is still weakly accessible from another thread --------------------------+------------------------------------------------ Reporter: bholst | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.6.3 Runtime System | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect result at runtime Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ GHC's runtime system throws a BlockedIndefinatelyOnMVar exception when the thread blocking an the MVar is the only one having a direct access to it. It assumes that there will be nothing written into the MVar in the future. This would be the correct behaviour if there were no weak references. The runtime system even throws the Exception when another thread still has a weak reference to the MVar. Consider the following example: {{{ import Control.Concurrent import System.Mem.Weak import Data.Maybe import Control.Monad main = do m <- newEmptyMVar w <- mkWeakMVar m (return ()) forkIO $ do threadDelay 1000000 n <- deRefWeak w when (isJust n) $ putMVar (fromJust n) () takeMVar m }}} At the time of ''takeMVar'' the forked thread has a weak reference to the MVar and it will put a value in it. However, the runtime system throws the Exception: {{{ % ghc BlockingOnMVar.hs -threaded Linking BlockingOnMVar ... % ./BlockingOnMVar +RTS -N2 BlockingOnMVar: thread blocked indefinitely in an MVar operation }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8804> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3