Re: [GHC] #5660: Remove out-of-date NOTE files

[GHC]

#5660: Remove out-of-date NOTE files
-+--
Reporter:  shelarcy  |Owner:  
Type:  task  |   Status:  new 
Priority:  normal|Milestone:  
   Component:  Compiler  |  Version:  7.3 
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
-+--

Comment(by simonpj):

 I've removed
  * `new_tc_note`
  * `compiler/NOTE`
  * `compiler/Simon-log`

 `compiler/cmm/cmm-notes` is definitely alive

 I'm not sure about `compiler/DLL-NOTE`.

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5661: Wrong error message on attempted import of undefined record field

[GHC]

#5661: Wrong error message on attempted import of undefined record field
---+
  Reporter:  YitzGale  |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Compiler  |Version:  7.0.2   
Resolution:  invalid   |   Keywords:  
  Testcase:|  Blockedby:  
Difficulty:| Os:  Unknown/Multiple
  Blocking:|   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  |  
---+
Changes (by simonpj):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 OK, so I'll close this as ok.  Do reopen if that's not right.

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2979: better support for FFI C wrappers for macros in system headers

[GHC]

#2979: better support for FFI C wrappers for macros in system headers
--+-
  Reporter:  duncan   |  Owner:  
  Type:  feature request  | Status:  closed  
  Priority:  normal   |  Milestone:  7.4.1   
 Component:  Compiler (FFI)   |Version:  6.10.1  
Resolution:  fixed|   Keywords:  
  Testcase:   |  Blockedby:  
Difficulty:  Unknown  | Os:  Unknown/Multiple
  Blocking:   |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown |  
--+-
Changes (by PHO):

 * cc: pho@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5665: Duplicate asm symbols for record fields when TH is used in the module

[GHC]

#5665: Duplicate asm symbols for record fields when TH is used in the module
-+--
  Reporter:  mikhail.vorozhtsov  |  Owner:  simonpj 
  Type:  bug | Status:  closed  
  Priority:  normal  |  Milestone:  
 Component:  Compiler|Version:  7.3 
Resolution:  fixed   |   Keywords:  
  Testcase:  th/T5665|  Blockedby:  
Difficulty:  | Os:  Unknown/Multiple
  Blocking:  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown|  
-+--
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => th/T5665
  * resolution:  => fixed


Comment:

 Thanks, regression test added.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5001: makeCorePair: arity missing

[GHC]

#5001: makeCorePair: arity missing
+---
  Reporter:  maeder |  Owner:  simonpj  
   
  Type:  bug| Status:  infoneeded   
   
  Priority:  high   |  Milestone:  7.4.1
   
 Component:  Compiler   |Version:  7.2.1
   
Resolution: |   Keywords:   
   
  Testcase:  deSugar/should_compile/T5001   |  Blockedby:   
   
Difficulty: | Os:  
Unknown/Multiple
  Blocking: |   Architecture:  
Unknown/Multiple
   Failure:  Incorrect warning at compile-time  |  
+---
Changes (by simonpj):

  * status:  new => infoneeded
  * testcase:  => deSugar/should_compile/T5001


Comment:

 Useful bug thank you.  I've fixed the program that Ian boiled out, and
 made it into a regression test.  Does that fix your original program?

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5631: Compilation slowdown from 7.0.x to 7.2.x

[GHC]

#5631: Compilation slowdown from 7.0.x to 7.2.x
-+--
Reporter:  bjpop |Owner:  igloo   
Type:  bug   |   Status:  new 
Priority:  highest   |Milestone:  7.4.1   
   Component:  Compiler  |  Version:  7.2.1   
Keywords:| Testcase:  perf/cmpiler/T5631  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  Compile-time performance bug
-+--
Changes (by simonpj):

  * owner:  simonpj => igloo
  * testcase:  => perf/cmpiler/T5631


Comment:

 OK I fixed `utype_defer`, and added a regression test (the one Simon
 constructed). Ian, would you like to compare the original report error:
 compiling `language-python` with 7.0 vs HEAD?

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5001: makeCorePair: arity missing

[GHC]

#5001: makeCorePair: arity missing
+---
  Reporter:  maeder |  Owner:  simonpj  
   
  Type:  bug| Status:  new  
   
  Priority:  high   |  Milestone:  7.4.1
   
 Component:  Compiler   |Version:  7.2.1
   
Resolution: |   Keywords:   
   
  Testcase: |  Blockedby:   
   
Difficulty: | Os:  
Unknown/Multiple
  Blocking: |   Architecture:  
Unknown/Multiple
   Failure:  Incorrect warning at compile-time  |  
+---

Comment(by simonpj@…):

 commit e704a95889681bd58e0a7cebfcc0e98193e46343
 {{{
 Author: Simon Peyton Jones 
 Date:   Sun Nov 27 19:44:19 2011 +

 Don't indirection-zap a function that has a stable unfolding

 This was responsible for Trac #5001, and it was a real bug;
 an inlining could be lost.

  compiler/simplCore/SimplCore.lhs |1 +
  1 files changed, 1 insertions(+), 0 deletions(-)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5631: Compilation slowdown from 7.0.x to 7.2.x

[GHC]

#5631: Compilation slowdown from 7.0.x to 7.2.x
-+--
Reporter:  bjpop |Owner:  simonpj 
Type:  bug   |   Status:  new 
Priority:  highest   |Milestone:  7.4.1   
   Component:  Compiler  |  Version:  7.2.1   
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  Compile-time performance bug
-+--

Comment(by simonpj@…):

 commit e99f323405a8398f0521686d87124453e85b599a
 {{{
 Author: Simon Peyton Jones 
 Date:   Sat Nov 26 21:47:39 2011 +

 Add missing cases in TcUnify.uUnfilledVars

 These missing cases dealt with unifying a meta type variable with a
 skolem when the kinds match -- a pretty common case.  The missing
 cases meant that instead of directly solving on the fly (which is easy
 in this situation) we were generating an equality constraint viat
 `utype_defer`.  This isn't *wrong*, but it's a lot less efficient than
 it could be!

 All this arose from investigating #5631.  This one change does this
 to the compiler allocation

 Before:
  821,257,552 bytes allocated in the heap
   94 MB total memory in use (0 MB lost due to
 fragmentation)

   MUT time1.54s  (  1.67s elapsed)
   GC  time1.36s  (  1.60s elapsed)
   Total   time2.93s  (  3.27s elapsed)

 After:
  424,244,124 bytes allocated in the heap
   49 MB total memory in use (0 MB lost due to
 fragmentation)

   MUT time0.64s  (  0.89s elapsed)
   GC  time0.83s  (  0.77s elapsed)
   Total   time1.47s  (  1.66s elapsed)

 Not bad for a 3-line change!

  compiler/typecheck/TcUnify.lhs |   12 +---
  1 files changed, 9 insertions(+), 3 deletions(-)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5665: Duplicate asm symbols for record fields when TH is used in the module

[GHC]

#5665: Duplicate asm symbols for record fields when TH is used in the module
---+
Reporter:  mikhail.vorozhtsov  |Owner:  simonpj 
Type:  bug |   Status:  new 
Priority:  normal  |Milestone:  
   Component:  Compiler|  Version:  7.3 
Keywords:  | Testcase:  
   Blockedby:  |   Difficulty:  
  Os:  Unknown/Multiple| Blocking:  
Architecture:  Unknown/Multiple|  Failure:  None/Unknown
---+

Comment(by simonpj@…):

 commit ac11b1f14c3d0d507cf11eade1855ffc440d3b7b
 {{{
 Author: Simon Peyton Jones 
 Date:   Tue Nov 29 15:49:24 2011 +

 Refactor (again) the treatment of record-selector bindings

 We were generating them from the tcg_tcs field of the TcGblEnv,
 but that goes badly wrong when there are top-level Template
 Haskell splices, because the tcg_tcs field grows successively.
 If we generate record-selector binds for all the TyCons in the
 accumulated list, we generate them multiple times for TyCons
 earlier in the program.  This what was happening in Trac #5665:
   data T = T { x :: Int }
   $(f 4)  -- Top level splice
   ..more code..
 Here the record selector bindings for T were being generated
 twice.

 Better instead to generate the record-selector bindings in
 TcTyClsDecls, right where the new TyCons are being declared (as indeed
 they were some time ago).  This pushed me into doing some refactoring:
 instead of returning the record bindings, tcTyAndClassDecls adds them
 to the tcg_binds field of the TcGblEnv.  I think the result is a bit
 nicer, and it has the additional merit of working.

  compiler/typecheck/TcBinds.lhs  |   66
 +--
  compiler/typecheck/TcDeriv.lhs  |2 +-
  compiler/typecheck/TcInstDcls.lhs   |   20 ++-
  compiler/typecheck/TcRnDriver.lhs   |   36 +--
  compiler/typecheck/TcRnMonad.lhs|   15 +---
  compiler/typecheck/TcTyClsDecls.lhs |   34 ++---
  6 files changed, 91 insertions(+), 82 deletions(-)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #5669: Fix test 5558 for Mac OS X 10.5

[GHC]

#5669: Fix test 5558 for Mac OS X 10.5
+---
Reporter:  thorkilnaur  |   Owner:
Type:  bug  |  Status:  new   
Priority:  normal   |   Component:  Test Suite
 Version:  7.3  |Keywords:
Testcase:   |   Blockedby:
  Os:  MacOS X  |Blocking:
Architecture:  x86  | Failure:  Other 
+---
 The attached patch fixes
 {{{
 => 5558(threaded2) 207 of 3086 [0, 0, 0]
 cd ./concurrent/should_run && '/Users/thorkilnaur/tn/GHCGitRepository/ghc-
 working/bindisttest/install dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-
 lint -dno-debug-output -no-user-package-conf -rtsopts -fno-ghci-history
 -o 5558 5558.hs -O -threaded -eventlog   >5558.comp.stderr 2>&1
 ...
 cd ./concurrent/should_run && for i in `seq 1 100`; do ./5558  +RTS -N2
 -ls -RTS  5558.run.stdout 2>5558.run.stderr || break; done
 /bin/sh: seq: command not found
 *** framework failure for 5558(threaded2) do_test exception :
 Traceback (most recent call last):
   File "/Users/thorkilnaur/tn/GHCGitRepository/ghc-
 working/testsuite/driver/testlib.py", line 684, in do_test
 result = apply(func, [name,way] + args)
 ...
 IOError: [Errno 2] No such file or directory:
 './concurrent/should_run/5558.run.stderr'
 }}}
 on
 {{{
 $ uname -a
 Darwin thorkil-naurs-intel-mac-mini.local 9.8.0 Darwin Kernel Version
 9.8.0: Wed Jul 15 16:55:01 PDT 2009; root:xnu-1228.15.4~1/RELEASE_I386
 i386
 $
 }}}
 Validated on Mac OS X 10.5. The sequence expression {1..100} works on
 Linux, Cygwin and FreeBSD.

 Best regards
 Thorkil

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5668: panic: updInertSet

[GHC]

#5668: panic: updInertSet
-+--
Reporter:  simonmar  |Owner:  dimitris  
Type:  bug   |   Status:  new   
Priority:  highest   |Milestone:  7.4.1 
   Component:  Compiler  |  Version:  7.2.1 
Keywords:| Testcase:
   Blockedby:|   Difficulty:
  Os:  Unknown/Multiple  | Blocking:
Architecture:  Unknown/Multiple  |  Failure:  Compile-time crash
-+--

Comment(by dimitris@…):

 commit e4d87e140697bcb380cc51a5aee598409930281e
 {{{
 Author: Dimitrios Vytiniotis 
 Date:   Tue Nov 29 19:15:17 2011 +

 Insufficient rewriting during flattening. This fixes #5668.

  compiler/typecheck/TcCanonical.lhs |   49
 ---
  1 files changed, 44 insertions(+), 5 deletions(-)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5218: Add unpackCStringLen# to create Strings from string literals

[GHC]

#5218: Add unpackCStringLen# to create Strings from string literals
-+--
Reporter:  tibbe |Owner:  
Type:  feature request   |   Status:  new 
Priority:  high  |Milestone:  7.4.1   
   Component:  Compiler  |  Version:  7.0.3   
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
-+--
Changes (by boris):

 * cc: lykahb@… (added)


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5668: panic: updInertSet

[GHC]

#5668: panic: updInertSet
-+--
Reporter:  simonmar  |Owner:  dimitris  
Type:  bug   |   Status:  new   
Priority:  highest   |Milestone:  7.4.1 
   Component:  Compiler  |  Version:  7.2.1 
Keywords:| Testcase:
   Blockedby:|   Difficulty:
  Os:  Unknown/Multiple  | Blocking:
Architecture:  Unknown/Multiple  |  Failure:  Compile-time crash
-+--
Changes (by dimitris):

 * cc: dimitris@… (added)
  * owner:  => dimitris


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #5319: MacOS X + executeFile + -threaded = "Operation not supported"

[GHC]

#5319: MacOS X + executeFile + -threaded = "Operation not supported"
--+-
  Reporter:  PHO  |  Owner:  
  Type:  bug  | Status:  closed  
  Priority:  high |  Milestone:  7.4.1   
 Component:  libraries/unix   |Version:  7.0.3   
Resolution:  wontfix  |   Keywords:  thread, exec
  Testcase:  executeFile001   |  Blockedby:  
Difficulty:   | Os:  MacOS X 
  Blocking:   |   Architecture:  Unknown/Multiple
   Failure:  Incorrect result at runtime  |  
--+-
Changes (by igloo):

  * status:  infoneeded => closed
  * resolution:  => wontfix


Comment:

 I'll close this ticket, then, but if anyone wants to make a tested patch
 then we can apply it.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #5668: panic: updInertSet

[GHC]

#5668: panic: updInertSet
-+--
Reporter:  simonmar  |Owner:
Type:  bug   |   Status:  new   
Priority:  highest   |Milestone:  7.4.1 
   Component:  Compiler  |  Version:  7.2.1 
Keywords:| Testcase:
   Blockedby:|   Difficulty:
  Os:  Unknown/Multiple  | Blocking:
Architecture:  Unknown/Multiple  |  Failure:  Compile-time crash
-+--
 Building `parsec-3.1.2` with HEAD panics with a complaint about
 `updInertSet`.

 {{{
 Building parsec-3.1.2...
 [ 1 of 25] Compiling Text.Parsec.Pos  ( Text/Parsec/Pos.hs,
 dist/build/Text/Parsec/Pos.o )
 [ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs,
 dist/build/Text/Parsec/Error.o )
 [ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error (
 Text/ParserCombinators/Parsec/Error.hs,
 dist/build/Text/ParserCombinators/Parsec/Error.o )
 [ 4 of 25] Compiling Text.ParserCombinators.Parsec.Pos (
 Text/ParserCombinators/Parsec/Pos.hs,
 dist/build/Text/ParserCombinators/Parsec/Pos.o )
 [ 5 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs,
 dist/build/Text/Parsec/Prim.o )
 ghc-stage2: panic! (the 'impossible' happened)
   (GHC version 7.3.2029 for x86_64-unknown-linux):
 updInertSet
 Multiple inert equalities:
 Old (already inert): ([W]{0} ( cobox{v a5FZ} [lid] :: ( m_ta4{tv}
 [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
   ghc-
 prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w)
 tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ) :: ( m_ta4{tv} [tau] :: ghc-
 prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
 ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-
 prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) (CTyEqCan),
   ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] ::
 ghc-prim:GHC.Prim.*{(w) tc 34d}
 ->
 ghc-prim:GHC.Prim.*{(w) tc 34d} )
ghc-
 prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w)
 tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ))
 Trying to insert   : ([W]{0} ( cobox{v a5FZ} [lid] :: ( m_ta4{tv}
 [tau] :: ghc-prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
   ghc-
 prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w)
 tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ) :: ( m_ta4{tv} [tau] :: ghc-
 prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} )
 ghc-prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-
 prim:GHC.Prim.*{(w) tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) (CTyEqCan),
   ( cobox{v a5FZ} [lid] :: ( m_ta4{tv} [tau] ::
 ghc-prim:GHC.Prim.*{(w) tc 34d}
 ->
 ghc-prim:GHC.Prim.*{(w) tc 34d} )
ghc-
 prim:GHC.Types.~{(w) tc 31Q} ( m{tv a5Fj} [sk] :: ghc-prim:GHC.Prim.*{(w)
 tc 34d}
 -> ghc-prim:GHC.Prim.*{(w) tc 34d} ) ))

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}


 To repeat:

 {{{
 $ cabal install --with-ghc=$ghcval parsec
 }}}

 where `$ghcval` is your GHC.  In this case it was a GHC I had just built
 with `validate`, I wanted to install `parsec` so I could test something
 else.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs