June 2014 - ghc-tickets

Re: [GHC] #3085: warn about language extensions that are not used
by GHC 07 Jun '14

07 Jun '14

#3085: warn about language extensions that are not used --------------------------+------------------------------------------------ Reporter: | Owner: PVerswyvelen | Status: new Type: | Milestone: 7.6.2 feature request | Version: 6.10.1 Priority: | Keywords: warnings extensions language normal | Architecture: Unknown/Multiple Component: | Difficulty: Unknown Compiler | Blocked By: Resolution: | Related Tickets: Operating System: | Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | --------------------------+------------------------------------------------ Changes (by asr): * cc: asr@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3085#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4836: literate markdown not handled correctly by unlit
by GHC 07 Jun '14

07 Jun '14

#4836: literate markdown not handled correctly by unlit ----------------------------------------------+---------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #7120 ----------------------------------------------+---------------------------- Comment (by dominic): I have probably misunderstood but I don't think this solves the problem. I have cherry-picked your commits. For the code example above {{{ ### Ok so lets try this again. ### A page that loads and compiles: > myfact 0 = 1 > myfact n = n * n-1 Lets see if it works! }}} saved as a .lhs file I get {{{ ~/ghc $ ./inplace/bin/ghc-stage2 TheLitTest.lhs TheLitTest.lhs:1:2: lexical error at character '#' }}} Saving it as a .md file mutatis mutandis {{{ ### Ok so lets try this again. ### A page that loads and compiles: ``` module Main ( main ) where myfact 0 = 1 myfact n = n * n-1 main = undefined ``` Lets see if it works! }}} it compiles successfully but then other tools e.g. BlogLiterately don't work. They rely on the bird tracks. So I think this may solve a problem but it doesn't solve this problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4836#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9170: haddock: panic! (the 'impossible' happened)
by GHC 07 Jun '14

07 Jun '14

#9170: haddock: panic! (the 'impossible' happened) -----------------------------------+--------------------------------------- Reporter: diego.saa | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- After running "cabal install yi", I got this message: dist/build/tmp-79484/src/library/Yi/Eval.hs:139:5: Warning: Defined but not used: `publishedActions_' 73% ( 11 / 15) in 'Yi.Eval' 19% ( 5 / 26) in 'Yi.Modes' 25% ( 1 / 4) in 'Yi.Mode.IReader' 0% ( 0 / 2) in 'Yi.Mode.Compilation' 33% ( 1 / 3) in 'Yi.Mode.JavaScript' 50% ( 2 / 4) in 'Yi.Mode.Latex' 31% ( 4 / 13) in 'Yi.Mode.Interactive' 60% ( 9 / 15) in 'Yi.Command' 58% ( 15 / 26) in 'Yi.Keymap.Emacs.Utils' haddock: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): mkWWcpr: not a product <<details unavailable>> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Installing library in /Users/diegos/Library/Haskell/ghc-7.6.3/lib/yi-0.8.1/lib Installing executable(s) in /Users/diegos/Library/Haskell/ghc-7.6.3/lib/yi-0.8.1/bin Registering yi-0.8.1... Installed yi-0.8.1 I'm on OS 10.9.3, GHC 7.6.3. Please let me know if I can provide any other info that could be helpful, or if a full output would help. Thanks, Diego Saa -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9170> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #3217: Make GHCi have separate flags for interactive Haskell expressions
by GHC 06 Jun '14

06 Jun '14

#3217: Make GHCi have separate flags for interactive Haskell expressions -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 6.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 3202 | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): Related ticket: If this were implemented, #8959 (pretty-printing based on `UnicodeSyntax`) would work as expected by the submitter. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3217#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9177: Suggest Int when user uses int
by GHC 06 Jun '14

06 Jun '14

#9177: Suggest Int when user uses int ------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1388 | ------------------------------------+------------------------------------- This ticket is a fork of #1388. We already give suggestions when the user mispells names, based on edit distance. But this does not cross the boundaries between different kind of names. It would be helpful if {{{Not in scope: type variable `int'}}} would also say {{{Did you mean the type constructor `Int'}}}? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9177> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #9069: -XDeriveTraversable should imply -XDeriveFunctor and -XDeriveFoldable
by GHC 06 Jun '14

06 Jun '14

#9069: -XDeriveTraversable should imply -XDeriveFunctor and -XDeriveFoldable ------------------------------------+------------------------------------- Reporter: sjoerd_visscher | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- In the discussion in #2953 it was concluded that it would be best to have separate flags for deriving Functor, Foldable and Traversable. I agree with that conclusion, but it seems that it wasn't considered to have -XDeriveTraversable imply -XDeriveFunctor and -XDeriveFoldable. I can't think of a reason not to want that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9069> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

Re: [GHC] #6018: Injective type families
by GHC 06 Jun '14

06 Jun '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: simonpj Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by hpacheco): To get going, I wouldn't mind if the onus of proving that the type family is indeed injective fell on me, in an unsafe way. But I understand that it is clearly not a feature that you should blindly introduce in mainstream GHC... I may look into it in the future if I ever find the time, but I doubt it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 06 Jun '14

06 Jun '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: simonpj Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by simonpj): I don't think anyone is working on injective type families right now, but it would make a good project, and not too difficult. Lunaris's patch has a lot of irrelevant white-space changes in it. But the biggest problem is that I don't think it implements the all-important check that a injective type family really is injective. Consider {{{ injective type family F a type instance F Int = Bool type instance F Char = Bool }}} This isn't injective and should jolly well be rejected. And this should be the case even if the two `type instance` declarations are in different modules. Similar code already exist for rejecting type-family ''overlap''; I think it is in `FamInst.checkFamInstConsistency`. But it'd need to be beefed up to deal with the injectiveness check. And you need to take care. What about {{{ type instance F Int = Bool -- (BAD) type instance F Char = F Int -- (BAD) }}} The two RHSs look different, but actually they are the same. The criterion for injectivity is that {{{ If (F t1 .. tn) ~ (F s1 .. sn) then t1 ~ s1 ... tn ~ sn }}} That doesn't hold for the (BAD) instances, so they should be rejected. In the terminology of the "Closed type families" paper, we need the two RHSs to be '''apart'''. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4934: threadWaitRead works incorrectly on nonthreaded RTS
by GHC 06 Jun '14

06 Jun '14

#4934: threadWaitRead works incorrectly on nonthreaded RTS ------------------------------------------------+-------------------------- Reporter: slyfox | Owner: Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 7.0.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by slyfox): Replying to [comment:24 simonmar]: > (b) merge into your patch please. Done as: 0001-Raise-exceptions-when-blocked-in-bad-FDs-fixes-Trac-.patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4934#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4934: threadWaitRead works incorrectly on nonthreaded RTS
by GHC 06 Jun '14

06 Jun '14

#4934: threadWaitRead works incorrectly on nonthreaded RTS ------------------------------------------------+-------------------------- Reporter: slyfox | Owner: Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 7.0.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by simonmar): (b) merge into your patch please. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4934#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0