- ghc-tickets - Haskell.org

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 06 Jun '13

06 Jun '13

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. ---------------------------------+------------------------------------------ Reporter: jpbernardy | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Keywords: deriving | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonpj): Thanks for helping. Concerning your question, I think it would be fine for `-XEmptyDataDecls` to imply that we can derive `Eq` etc for them. No need for a second flag. What would be good would be some documentation in the user manual (in the empty data decls section) that says what is derived for the standard build-in classes. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7401#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 06 Jun '13

06 Jun '13

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. ---------------------------------+------------------------------------------ Reporter: jpbernardy | Owner: monoidal Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Keywords: deriving | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by monoidal): * owner: => monoidal -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7401#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 06 Jun '13

06 Jun '13

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. ---------------------------------+------------------------------------------ Reporter: jpbernardy | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Keywords: deriving | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by monoidal): * status: infoneeded => new -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7401#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7353: Make system IO interruptible on Windows
by GHC 05 Jun '13

05 Jun '13

#7353: Make system IO interruptible on Windows ---------------------------------+------------------------------------------ Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by lpsmith): * cc: leon.p.smith@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7353#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 05 Jun '13

05 Jun '13

#6135: Unboxed Booleans -------------------------------+-------------------------------------------- Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #605 -------------------------------+-------------------------------------------- Comment(by tibbe): Please do check kahan, it's a very simple benchmark for arithmetic in simple loops and GHC should generate good code for it. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:67> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 05 Jun '13

05 Jun '13

#6135: Unboxed Booleans -------------------------------+-------------------------------------------- Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #605 -------------------------------+-------------------------------------------- Comment(by jstolarek): I managed to run nofib. There is one notable performance regression in kahan benchmark. I will investigate why that happens. Interestingly, there is a consistent - although small - reduction in executable size. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:66> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7960: Compiling profiling CCS registration .c file takes far too long
by GHC 05 Jun '13

05 Jun '13

#7960: Compiling profiling CCS registration .c file takes far too long -----------------------------------------+---------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time performance bug | Blockedby: Blocking: | Related: -----------------------------------------+---------------------------------- When compiling executables for profiling, ghc generates a .c file something like this: {{{ #define IN_STG_CODE 0 #include "Rts.h" #include "Stg.h" static void prof_init_Main(void) __attribute__((constructor)); static void prof_init_Main(void) {extern CostCentre Foo_bar_cc[]; REGISTER_CC(Foo_bar_cc); ... }}} When there are a large number of CCSs, e.g. 10's of 1,000s (as can easily happen with large projects and using `-fprof-auto`) then of course this .c file and this single C function become very large. The C compiler then takes a very long time to compile it. For example, with a .c file with ~27k lines (so about half that number of CCSs), gcc 4.7.2 with -O1 takes about 20 minutes to compile. With -O0 it takes about 4 seconds. Clearly this version of gcc does not cope very well with this massive function at -O1 level. I suggest that since the initialisation is not performance critical, and it doesn't look like there is a lot to optimise here anyway, that ghc compile this .c file without passing gcc the -O flag. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7960> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Dom Vi�oso - Lista dos aprovados concurso
by David Anderson 05 Jun '13

05 Jun '13

Dom Viçoso ANA CAROLINE LIMA VASCONCELOS, LÍVIO CHAVES DÔDÔ, FRANCISCO JACKSON DE FREITAS SOUZA, PAULO WILLAME ARAUJO DE LIMA, JOÃO CARLOS MOREIRA DE CARVALHO, DAMIÃO ROCHA DOS SANTOS JÚNIOR, MARIA HELENA DE OLIVEIRA SILVA, JARDEL DE LIMA NOBRE. SILVANA BEZERRA DA SILVA, ARIELA DE MACEDO RICARDO, LUCAS PINTO ASSUNCAO, GLAUCIO VALENCA PEREIRA RANGEL, REBECA FARIAS CARNEIRO. Caçu. Alto Santo AMANDA FARIAS TELES, LEONARDO LICARIAO DE MELLO MENEZES, FRANCISCO AGEU DE SOUSA NOBREGA, PAMELA NOBREGA MENEZES, JOÃO CARLOS MOREIRA DE CARVALHO, CLYCIA MONTEIRO FERREIRA, MARIA DE LOURDES FERREIRA BRITO, IZALANA PEREIRA NEPOMUCENO. SARA MARIA BEZERRA DOS SANTOS, ERALDO FREITA DA SILVA, MAYKSON CALISTA DE MELO, JOZENILDA BATISTA GOMES, WELIDA WENDY ARAUJO DA SILVA. Chapada dos Guimarães. Antônio Dias ANA CAROLINE LIMA VASCONCELOS, LÍVIO CHAVES DÔDÔ, FRANCISCO JACKSON DE FREITAS SOUZA, PAULO WILLAME ARAUJO DE LIMA, JOÃO CARLOS MOREIRA DE CARVALHO, DAMIÃO ROCHA DOS SANTOS JÚNIOR, MARIA HELENA DE OLIVEIRA SILVA, JARDEL DE LIMA NOBRE. SILVANA BEZERRA DA SILVA, ARIELA DE MACEDO RICARDO, LUCAS PINTO ASSUNCAO, GLAUCIO VALENCA PEREIRA RANGEL, REBECA FARIAS CARNEIRO. Chapada dos Guimarães.

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 05 Jun '13

05 Jun '13

#6135: Unboxed Booleans -------------------------------+-------------------------------------------- Reporter: benl | Owner: jstolarek Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: #605 -------------------------------+-------------------------------------------- Comment(by jstolarek): I didn't notice any significant code size changes with a few programs that I compiled. I will make sure that there are no regressions, both in terms of code size and performance, as soon as I manage to run nofib - right now I'm struggling with some nofib errors (mailed on ghc-devs today). Also, #7958 blocks me partially with benchmarking hastables package. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:65> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7962: "ghc -e <invalid expression>" should return non-zero exit status
by GHC 05 Jun '13

05 Jun '13

#7962: "ghc -e <invalid expression>" should return non-zero exit status ----------------------------+----------------------------------------------- Reporter: timmaxw | Owner: Type: feature request | Status: new Priority: normal | Component: GHCi Version: 7.6.2 | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: ----------------------------+----------------------------------------------- When GHC is run in expression-evaluation mode (i.e. with the "-e" flag) and the expression does not compile, GHC correctly prints an error message, but then exits with exit status 0. For example: {{{ $ ghc -e foo <interactive>:1:1: Not in scope: `foo' $ echo $? 0 }}} This is inconvenient for automated scripts that call GHC. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7962> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3