- ghc-tickets - Haskell.org

Re: [GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
by GHC 23 Jan '13

23 Jan '13

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets ----------------------------------------+----------------------------------- Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: 5498 Related: | ----------------------------------------+----------------------------------- Comment(by morabbin): Is this bug handled by the POPL 2011 paper "Generative Type Abstraction and Type-level Computation"? Noted in #4846 as pointing the way to solving the problems therein. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1496#comment:40> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 23 Jan '13

23 Jan '13

#1487: unix package: test needed for getLoginName ----------------------------------------+----------------------------------- Reporter: simonmar | Owner: adrien Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: libraries/unix | Version: 6.6.1 Keywords: | Os: Linux Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Easy (less than 1 hour) | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by morabbin): * failure: None/Unknown => Incorrect result at runtime * os: Unknown/Multiple => Linux -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1487#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1221: Types don't match expressions in type error
by GHC 23 Jan '13

23 Jan '13

#1221: Types don't match expressions in type error ----------------------------------------+----------------------------------- Reporter: igloo | Owner: simonpj Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: tcfail178 Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by igloo): * owner: => simonpj Comment: Simon, if For/In is tricky, then I think we should just close this. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1221#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1147: Quadratic behaviour in the compacting GC
by GHC 23 Jan '13

23 Jan '13

#1147: Quadratic behaviour in the compacting GC ---------------------------------+------------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Runtime System | Version: 6.6 Keywords: ghci compacting | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonmar): Replying to [comment:8 morabbin]: > Testing with 100x, no hang. Slower than the default, but no hang. Bug fixed accidentally? No, bug is still there, but now we don't have a test case :( -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1147#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1102: Lambda unicode character lex
by GHC 23 Jan '13

23 Jan '13

#1102: Lambda unicode character lex --------------------------------+------------------------------------------- Reporter: humasect | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler (Parser) | Version: 6.6 Resolution: wontfix | Keywords: lambda unicode lexical parse ? Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Easy (less than 1 hour) Testcase: | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Changes (by igloo): * status: new => closed * resolution: => wontfix Comment: I think we've decided to leave lambda as a letter, and any alternative syntax would be better proposed on one of the mailing lists. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1102#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1245: Turn tuples into syntactic sugar for heterogeneous lists
by GHC 23 Jan '13

23 Jan '13

#1245: Turn tuples into syntactic sugar for heterogeneous lists ------------------------------------------+--------------------------------- Reporter: benja.fallenstein@… | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by simonmar): * status: new => closed * resolution: => wontfix Comment: I don't think this ticket is serving a useful purpose, if people are interested in the feature then it needs to be discussed and fleshed out thoroughly on the wiki. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1245#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5791: Defer other kinds of errors until runtime, not just type errors
by GHC 23 Jan '13

23 Jan '13

#5791: Defer other kinds of errors until runtime, not just type errors ---------------------------------+------------------------------------------ Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.2.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: 5778 | ---------------------------------+------------------------------------------ Description changed by simonpj: Old description: > In #5624 we added `-fdefer-type-errors` to turn type errors into > warnings. We can do this for other kinds of errors too, notably out-of- > scope errors, and there are plenty more errors that can be deferred by > replacing the erroneous subexpression by a call to `error`. New description: In #5624 we added `-fdefer-type-errors` to turn type errors into warnings. We can do this for other kinds of errors too, notably out-of-scope errors, and there are plenty more errors that can be deferred by replacing the erroneous subexpression by a call to `error`. See also #1341 -- -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5791#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1192: GHC-only IOErrorType constructors, and is*Error(Type) functions
by GHC 23 Jan '13

23 Jan '13

#1192: GHC-only IOErrorType constructors, and is*Error(Type) functions ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 6.6 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by igloo): It's in `libraries/base/GHC/IO/Exception.hs` -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1192#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1307: Warning refers to code not in the source
by GHC 23 Jan '13

23 Jan '13

#1307: Warning refers to code not in the source ---------------------------------+------------------------------------------ Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: _|_ Component: Compiler | Version: 6.7 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonmar): We should keep this around, if someone ever does #595 they'll want to fix this at the same time. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1307#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1341: allow loading partially correct modules
by GHC 23 Jan '13

23 Jan '13

#1341: allow loading partially correct modules --------------------------------+------------------------------------------- Reporter: iampure@… | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.7 Resolution: duplicate | Keywords: module loading Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Project (more than a week) Testcase: | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => duplicate Comment: Subsumed by #5791 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1341#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0