January 2013 - ghc-tickets

Re: [GHC] #1050: Using an inferred type as a type signature fails
by GHC 22 Jan '13

22 Jan '13

#1050: Using an inferred type as a type signature fails --------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: GHC always checks each type signature for ambiguity; if that faile, it just stops, since ambiguous signatures can lead to futher errors. If there are no sigatures, it goes ahead and tries to typecheck both defns, finding an ambiguous inferred type for each. It's not perfect, but I think it's good enough. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1050#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1520: Use Linux's signalfd() instead of pipe() to deliver signals to the IO manager
by GHC 22 Jan '13

22 Jan '13

#1520: Use Linux's signalfd() instead of pipe() to deliver signals to the IO manager -----------------------------+---------------------------------------------- Reporter: simonmar | Owner: Type: task | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Runtime System | Version: 6.6.1 Resolution: wontfix | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Moderate (less than a day) Testcase: | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => wontfix Comment: No, the new IO manager does it the same way as the old one. We did discuss it, and unfortunately `signalfd()` is not suitable, because it requires the signals to be masked, and there's no good way to ensure that happens across all threads in the program (what if some threads are in C and not managed by us?). `sigwaitinfo()` suffers from the same problem. So I think this is a wontfix. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1520#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

22 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 22 Jan '13

22 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 22 Jan '13

22 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 22 Jan '13

22 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 22 Jan '13

22 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 22 Jan '13

22 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 22 Jan '13

22 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 22 Jan '13

22 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