- ghc-tickets - Haskell.org

Re: [GHC] #4061: Implement mutually recursive view patterns
by GHC 30 Sep '13

30 Sep '13

#4061: Implement mutually recursive view patterns -------------------------------------+------------------------------------ Reporter: batterseapower | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 6.13 Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by rwbarton): * difficulty: => Unknown Comment: BTW, since the view patterns in your example are not mutually recursive, you can use this hack to break up the top level scope: {{{ {-# LANGUAGE ViewPatterns, TemplateHaskell #-} module RecursiveViewPatterns where (foo, unzip -> (bars, bazs)) = undefined [d||] -- or return [] (spqr, ($ foo) -> metavariable) = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4061#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8257: System.Mem: Expose performMinorGC
by GHC 30 Sep '13

30 Sep '13

#8257: System.Mem: Expose performMinorGC ------------------------------------+------------------------------------- Reporter: nh2 | Owner: Type: bug | 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: | ------------------------------------+------------------------------------- We already have {{{ performGC }}} which triggers a major garbage collection. In many cases, it is useful to trigger a minor one; exposing it is as simple as Simon Marlow suggested in https://groups.google.com/d/msg/fa.haskell/-q6sINValu8/_Z7odE6O5PsJ. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8257> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8386: AMP warning on "hiding (join)"
by GHC 30 Sep '13

30 Sep '13

#8386: AMP warning on "hiding (join)" -------------------------+------------------------------------------------- Reporter: | Owner: monoidal | Status: new Type: bug | Milestone: Priority: | Version: 7.7 normal | Operating System: Unknown/Multiple Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- This file gives an AMP warning, but it shouldn't. It's a slightly modified version of http://ghc.haskell.org/trac/ghc/ticket/8004#comment:15. {{{ module Foo (join) where import Prelude hiding (join) -- import Prelude () gives no warning join :: () join = () }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8386> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8385: Various testsuite fixes
by GHC 30 Sep '13

30 Sep '13

#8385: Various testsuite fixes ------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | 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: | ------------------------------------+------------------------------------- See https://github.com/rwbarton/testsuite/compare/rwbarton. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8385> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7633: Checkable "minimal complete definitions"
by GHC 30 Sep '13

30 Sep '13

#7633: Checkable "minimal complete definitions" -------------------------------------------------+------------------------- Reporter: shachaf | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: warnings/minimal/WarnMinimal | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #6028 -------------------------------------------------+------------------------- Comment (by Krzysztof Gogolewski <krz.gogolewski@…>): In [changeset:6fa8a5906c3f0e425b3505ae7c6717ec29e3e47b/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="6fa8a5906c3f0e425b3505ae7c6717ec29e3e47b" Update prog001 output (see #7633) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5889: -fno-prof-count-entries leads to linking errors
by GHC 30 Sep '13

30 Sep '13

#5889: -fno-prof-count-entries leads to linking errors ----------------------------------------------+---------------------------- Reporter: akio | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: GHC rejects valid program | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Changes (by akio): * status: new => closed * resolution: => fixed Comment: I cannot reproduce this error with GHC 7.6.2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5889#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8370: Ranked Instances
by GHC 30 Sep '13

30 Sep '13

#8370: Ranked Instances ------------------------------------+------------------------------------- Reporter: wvv | 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: | ------------------------------------+------------------------------------- This is a first part of 3 depended extensions: Ranked Instances => Inherit Instances => Newclasses This is very easy to implement. And it gives big advantages. And further developing. I suggest to add "rank" to instance. Now the system of instances is flat, and compiler takes all of instances and check if only 1 match. If it is not(less or more than 1) - compiler trow an error. With rankings compiler * set N=0 * took all N-ranked instances and * => try to find only one match instance. * -> If it found only 1 - this is RESULT: needed instance, * -> If it found many instances - throw an error * -> If compiler found NO instances, compiler set N=N+1 and repeat * If N=MaxRank and still no matches compiler throw an error We use `RankedInstances` '''before''' `OverlappingInstances` (which must include `RankedInstances`), and in many cases instead of. == Proposed grammar == We add "rank N" between "instance" word and ".", where N is a number {{{ {-# LANGUAGE RankedInstances #-} instance rank 1. C a => D a where ... }}} == Default Rank == If instance has no rank, this means it has 0 rank {{{ instance C a => D a where ... ~ instance rank 0. C a => D a where ... }}} This is a backward compatibility. '''Examples''' 1) {{{ instance rank 1. C Int a where ... -- (A) instance C a Bool where ... -- (B) rank 0 }}} 1+) {{{ instance rank 1. C Int a where ... -- (A) instance rank 1. C a Bool where ... -- (B) instance C Int Bool where ... -- (C) rank 0 }}} 2) {{{ instance rank 1. C Int [a] where ... -- (C) instance C Int [Int] where ... -- (D) }}} As we see, all instances are unambiguous! == Backward Compatibility == Without -XRankedInstances all instances with hight rank n, where n >0 - are not exported More information (about all 3 extensions) is here http://haskell.1045720.n5.nabble.com/Proposal-RankedInstances- tt5737152.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8370> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #8004: Applicative/Monad proposal related warnings (AMP phase 1)
by GHC 30 Sep '13

30 Sep '13

#8004: Applicative/Monad proposal related warnings (AMP phase 1) -------------------------------------+------------------------------------ Reporter: quchen | Owner: quchen Type: feature request | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Thanks for the patch, David. This should be fixed and roughly complete the work as of b9127f4472594e8d0c2f28f72b6042172efcaec0. If there are any more bugs, please file new tickets. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8004#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8004: Applicative/Monad proposal related warnings (AMP phase 1)
by GHC 30 Sep '13

30 Sep '13

#8004: Applicative/Monad proposal related warnings (AMP phase 1) -------------------------------------+------------------------------------ Reporter: quchen | Owner: quchen Type: feature request | Status: patch Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 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 Austin Seipp <austin@…>): In [changeset:b9127f4472594e8d0c2f28f72b6042172efcaec0/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="b9127f4472594e8d0c2f28f72b6042172efcaec0" Fix AMP warnings for explicit Prelude imports (#8004) No AMP warnings will be issued anymore when the name is not imported from Prelude anymore. For example, a local definition of 'join' is now legal in modules containing 'import Prelude (map)' for example. This allows better future-proofing of libraries. See also http://ghc.haskell.org/trac/ghc/ticket/8004#comment:16 Authored-by: David Luposchainsky <dluposchainsky(a)gmail.com> Signed-off-by: Austin Seipp <austin(a)well-typed.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8004#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8022: Outdated documentation for the -fwarn-lazy-unlifted-bindings warning
by GHC 29 Sep '13

29 Sep '13

#8022: Outdated documentation for the -fwarn-lazy-unlifted-bindings warning -------------------------------------+------------------------------------ Reporter: asr | Owner: thoughtpolice Type: bug | Status: closed Priority: highest | Milestone: 7.10.1 Component: Documentation | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed Comment: I chatted with Simon about this for a second at ICFP, and I decided to go ahead and merge this; we already require Happy 1.19.0+ now because of Jan's changes, so this doesn't hurt much (it only means people who get 7.8 and don't use the platform will need to update Happy, which is probably fine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8022#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0