- ghc-tickets - Haskell.org

[GHC] #8220: Macros / functions for source location
by GHC 01 Dec '13

01 Dec '13

#8220: Macros / functions for source location ------------------------------------+------------------------------------- Reporter: wojteknar | Owner: Type: feature request | 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: | ------------------------------------+------------------------------------- In GNAT (Ada compiler) there is a special package with functions (evaluated at compile time) that return source location and enclosing entity name. This is very useful for logging and debugging. I'd love to have something similar in GHC. http://www.radford.edu/~nokie/classes/320/std_lib_html/gnat- source_info.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8220> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #5144: Pattern synonyms
by GHC 01 Dec '13

01 Dec '13

#5144: Pattern synonyms -------------------------------------------+------------------------------- Reporter: simonpj | Owner: cactus Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 8581, 8582, 8583, 8584 | Blocked By: | Related Tickets: -------------------------------------------+------------------------------- Comment (by cactus): I've added separate tickets to the features from the PatternSynonyms page that are not going to be implemented in the initial version (which is now code-complete and just needs some docs and some comments here and there). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 30 Nov '13

30 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"d95a67012ea30b02144d193254d947cdf5400a9d/process"]: {{{ #!CommitTicketReference repository="process" revision="d95a67012ea30b02144d193254d947cdf5400a9d" Be even more careful with the threads that consume output (#2233) There is a potential deadlock with withCreateProcess in the case that there's an exception: cleanupProcess will try to hClose the various handles, but if another thread holds the Handle lock then that hClose will block. Takano Akio fixed the main case of this (in patch 32223a9ab174c22e939c81e24b6f48223c7cb020) by terminating the process (before closing the handles) This works because terminating the process will eventually cause those other threads to finish and release the Handle lock, so we can hClose. However on Unix terminateProcess is not guaranteed to terminate the process since it uses SIGTERM, which can be handled or ignored. So we have to separately guarantee that the handles can be hClosed, and the simplest way to do this is to ensure that the thread reading from the handles get killed in the case there's an exception. So we change forkWait to withForkWait that will kill off the thread if the body gets an exception. Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 30 Nov '13

30 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"228297ec53e9ee7a1a6a3c5964ca7e89a6474c9b/process"]: {{{ #!CommitTicketReference repository="process" revision="228297ec53e9ee7a1a6a3c5964ca7e89a6474c9b" Drop redundant hFlush & add ignoreSigPipe to hClose This is a follow-up to 79ae975aab5866de38e1a01aca7ac5bd9cde2285 (addressing #2233) Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 30 Nov '13

30 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"b601209456e13ca3d08faffb7e6771bcb8c1b1b4/process"]: {{{ #!CommitTicketReference repository="process" revision="b601209456e13ca3d08faffb7e6771bcb8c1b1b4" All new sync process functions now terminate on an exception (#2233) Now all the functions that call a process synchronously have the same behaviour. Previously just readProcess, readProcessWithExitCode did this, now callProcess and callCommand do too. If a thread running one of these functions gets an exception, including async exceptions (such as from timeout or killThread), then the external process gets terminated. Introduce a helper function to implement this behaviour. Currently it is not exposed to users, but that could be changed easily. Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 30 Nov '13

30 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"79ae975aab5866de38e1a01aca7ac5bd9cde2285/process"]: {{{ #!CommitTicketReference repository="process" revision="79ae975aab5866de38e1a01aca7ac5bd9cde2285" Improve the code for ignoring EPIPE (#2233) Factor it out into an ignoreSigPipe util, and use it in both readProcess and readProcessWithExitCode. Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8574: Failure to require FlexibleContexts
by GHC 30 Nov '13

30 Nov '13

#8574: Failure to require FlexibleContexts --------------------------+------------------------------------------------ Reporter: | Owner: Feuerbach | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: | Operating System: Unknown/Multiple Compiler (Parser) | Type of failure: GHC accepts invalid program Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ GHC accepts the following code without any extensions: {{{ f :: Ord (i Int) => i Int -> i Int f = undefined }}} It ought to require FlexibleContexts. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8574> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8575: remove obsolete "stolen syntax"
by GHC 30 Nov '13

30 Nov '13

#8575: remove obsolete "stolen syntax" ------------------------------------+------------------------------------- Reporter: aavogt | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | 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: | ------------------------------------+------------------------------------- Hi. The quasiquotes ```[:x| |]``` and implicitparams ```%x``` syntax listed as stolen have not been stolen for a long time. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8575> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7396: Improve "parse error on input `$'" when TemplateHaskell PRAGMA not declared
by GHC 30 Nov '13

30 Nov '13

#7396: Improve "parse error on input `$'" when TemplateHaskell PRAGMA not declared ----------------------------------------+--------------------------- Reporter: ydewit | Owner: Type: feature request | Status: patch Priority: normal | Milestone: Component: Template Haskell | Version: 7.4.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86 Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------- Changes (by parcs): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7396#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7396: Improve "parse error on input `$'" when TemplateHaskell PRAGMA not declared
by GHC 30 Nov '13

30 Nov '13

#7396: Improve "parse error on input `$'" when TemplateHaskell PRAGMA not declared ----------------------------------------+--------------------------- Reporter: ydewit | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.4.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86 Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------- Changes (by parcs): * status: closed => new * resolution: wontfix => Comment: Hi, This set of three patches augments errors that may be caused by not having TH enabled, to suggest enabling TH. Parse errors like the following will now suggest enabling TemplateHaskell: {{{ module A where $foo }}} {{{ module B where foo }}} {{{ module C where bar = 3 + $(x) }}} Of course, these are only heuristics so there will be false-positive and false-negative cases. But I think these heuristics will help more than they will hurt. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7396#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0