September 2013 - ghc-tickets

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

22 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 Lemming): Replying to [comment:41 hvr]: > > {{{#!xml > <para>If no MINIMAL pragma is used, then all methods > without a default will be requried, excluding methods with a > name that starts with an underscore.</para> > }}} Should be: "requried" -> "required" The exclusion of underscored identifiers would make more sense, if there is a barrier for using underscored identifiers as suggested in #4959. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

22 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 hvr): Replying to [comment:40 simonpj]: > The implementation has a special case for methods whose name starts with an underscore. The user guide doesn't mention this. Could it please do so? Btw, I noticed the documentation added contains the following paragraph: {{{#!xml <para>If no MINIMAL pragma is used, then all methods without a default will be requried, excluding methods with a name that starts with an underscore.</para> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:41> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7235: "panic!" when compiling happstack-server-7.0.4
by GHC 22 Sep '13

22 Sep '13

#7235: "panic!" when compiling happstack-server-7.0.4 ----------------------------------------------+---------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: duplicate | Keywords: Operating System: Linux | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by ivan.perez): I understand that this is an old, closed ticket, but I'm hitting this when I try to compile a package. I'm not sure it's the same bug. I'm on Ubuntu 12.10, I'm adding the package list that cabal selects so that you have more information about what I'm using. This is a fresh-new installation: I removed my .ghc and .cabal dirs before compiling this. {{{ Configuring postgresql-simple-0.3.7.1... Building postgresql-simple-0.3.7.1... Preprocessing library postgresql-simple-0.3.7.1... [...removed by me...] [26 of 32] Compiling Database.PostgreSQL.Simple.FromField ( src/Database/PostgreSQL/Simple/FromField.hs, dist/build/Database/PostgreSQL/Simple/FromField.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package bytestring-0.10.2.0 ... linking ... done. Loading package postgresql-libpq-0.8.2.4 ... linking ... done. Loading package text-0.11.3.1 ... linking ... done. Loading package blaze-builder-0.3.1.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.1 ... linking ... done. Loading package primitive-0.5.0.1 ... linking ... done. Loading package vector-0.10.0.1 ... linking ... done. Loading package blaze-textual-0.2.0.8 ... linking ... done. Loading package containers-0.5.3.1 ... linking ... done. Loading package attoparsec-0.10.4.0 ... linking ... done. Loading package dlist-0.5 ... linking ... done. Loading package hashable-1.1.2.5 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package syb-0.3.7 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package unordered-containers-0.2.3.2 ... linking ... done. Loading package aeson-0.6.2.0 ... linking ... done. src/Database/PostgreSQL/Simple/FromField.hs:485:11:ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): Can't happen: pprExp (CompExp []) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7235#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

22 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 simonpj): The implementation has a special case for methods whose name starts with an underscore. The user guide doesn't mention this. Could it please do so? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:40> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

22 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 simonpj): Twan, looking at module `BooleanFormula` I see various functions like `mkAnd` and `mkOr` that seem to be enforcing some invariants on the `BooleanFormula` type. There is the notion of a formula being "simplified". But what precisely is that notion? If I use `mkAnd` etc, what properties does the resulting `BooleanFormula` have? For example, I think there will be no immediately-nested `And` or `Or` constructors. But what else? Why are these invariants important? It would be great if you could add some `Note [Blah...]` notes in the `BooleanFormula` module to explain. Thanks! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2184: if findExecutable finds a file that matchs the argument, check if it is an executable
by GHC 22 Sep '13

22 Sep '13

#2184: if findExecutable finds a file that matchs the argument, check if it is an executable -------------------------------------+------------------------------------- Reporter: iago | Owner: leroux Type: bug | Status: patch Priority: lowest | Milestone: 7.6.2 Component: | Version: 6.8.2 libraries/directory | Keywords: findExecutable Resolution: | check executable Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by leroux): Replying to [comment:14 joeyadams]: > Thanks for implementing this. I have an application that could use `findFiles` to locate its configuration files. > > An issue I noticed: `findExecutables` only returns the first match on Windows. This could lead to compatibility problems if someone uses `findExecutables` and filters the resulting list. I don't think `findExecutables` should be exported. But if someone needs it, it should behave consistently between Windows and other systems. Yes, that is what I was thinking as well. I guess I'll remove the export for `findExecutables` for now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2184#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation
by GHC 22 Sep '13

22 Sep '13

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation -------------------------------------+------------------------------------ Reporter: gracjan | Owner: igloo Type: bug | Status: closed Priority: highest | Milestone: 7.4.2 Component: libraries/base | Version: 6.12.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime crash | Difficulty: Unknown Test Case: T7034 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by hvr): Replying to [comment:60 maeder]: > Replying to [comment:58 simonmar]: > > pasting the hash into Google is usually the best way :-) > > {{{ > Your search - 4d849e6729d25ac4561d597b203c2af8757e6275 - did not match any documents. > }}} btw/fyi, there's a SHA1 search service at http://git.haskell.org/ now (the form entry field left of the new "`Search SHA1`" button) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5688#comment:67> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation
by GHC 22 Sep '13

22 Sep '13

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation -------------------------------------+------------------------------------ Reporter: gracjan | Owner: igloo Type: bug | Status: closed Priority: highest | Milestone: 7.4.2 Component: libraries/base | Version: 6.12.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime crash | Difficulty: Unknown Test Case: T7034 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by hvr): I've been looking at [afcddc5ce033de84/base] which added the `Text.Read.Lex.Number` data type, and two functions to convert `Number` into `Integer` or `Rational`. However, the type `Number` wasn't exported (which caused a Haddock warning and caught my attention). Is there a reason not to export `Number` (without any constructor)? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5688#comment:66> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2184: if findExecutable finds a file that matchs the argument, check if it is an executable
by GHC 22 Sep '13

22 Sep '13

#2184: if findExecutable finds a file that matchs the argument, check if it is an executable -------------------------------------+------------------------------------- Reporter: iago | Owner: leroux Type: bug | Status: patch Priority: lowest | Milestone: 7.6.2 Component: | Version: 6.8.2 libraries/directory | Keywords: findExecutable Resolution: | check executable Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by joeyadams): Thanks for implementing this. I have an application that could use `findFiles` to locate its configuration files. An issue I noticed: `findExecutables` only returns the first match on Windows. This could lead to compatibility problems if someone uses `findExecutables` and filters the resulting list. I don't think `findExecutables` should be exported. But if someone needs it, it should behave consistently between Windows and other systems. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2184#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8024: Dynamic linking not working on PowerPC Linux.
by GHC 22 Sep '13

22 Sep '13

#8024: Dynamic linking not working on PowerPC Linux. ----------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------- Changes (by erikd): * difficulty: => Unknown Comment: Mentioned this to Duncan and he suggested this may might be fixed by changing -fpic to -fPIC. Need to research the difference. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8024#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0