Re: [GHC] #2808: createDirectoryIfMissing should be atomic

2009-02-04 Thread GHC
#2808: createDirectoryIfMissing should be atomic
+---
Reporter:  EricKow  |Owner:  igloo   
Type:  merge|   Status:  new 
Priority:  normal   |Milestone:  6.10.2  
   Component:  libraries/directory  |  Version:  6.10.1  
Severity:  normal   |   Resolution:  
Keywords:   |   Difficulty:  Unknown 
Testcase:   |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple |  
+---
Changes (by simonmar):

  * owner:  simonmar => igloo
  * type:  bug => merge

Comment:

 See also #2924, uncovered while testing this patch.

 To merge:

 {{{
 Thu Dec 18 14:47:04 GMT Standard Time 2008  Duncan Coutts
 
   * Alternative implementation of createDirectoryIfMissing

 Mon Dec 22 16:41:05 GMT Standard Time 2008  Duncan Coutts
 
   * Fix createDirectoryIfMissing to not throw if the dir got deleted
   When we call createDirectory and some file system object already exists
   we have a problem. We need to distinguish if it is a file that already
   exists or if it is a directory because in the latter case it is not an
   error. Previously we called doesDirectoryExist however that does not
   distinguish the dir not existing (due to another thread deleting it)
   and an ordinary file existing. We now use withFileStatus to throw the
   original AlreadyExistsError only if a non-directory object exists.
   So now the only time we should get a spurious exception is if another
   thread deletes the directory and puts a file in its place between our
   call to createDirectory and withFileStatus. It should now be safe to
   race createDirectoryIfMissing with itself or deleteDirectoryRecursive.

 Wed Feb  4 16:33:19 GMT Standard Time 2009  Simon Marlow
 
   * fix this test for the new version of createDirectoryIfMissing (#2808)
   - add another race test, for two threads both doing create;cleanup
   - ignore isDoesNotExistErrors in create
 }}}

-- 
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] #2994: give better error messages for instance declarations with the wrong number of parameters

2009-02-04 Thread GHC
#2994: give better error messages for instance declarations with the wrong 
number
of parameters
+---
Reporter:  rwbarton |Owner:  
Type:  feature request  |   Status:  closed  
Priority:  normal   |Milestone:  
   Component:  Compiler |  Version:  6.11
Severity:  normal   |   Resolution:  fixed   
Keywords:   |   Difficulty:  Unknown 
Testcase:  typecheck/should_fail/T2994  |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple |  
+---
Changes (by simonpj):

  * testcase:  => typecheck/should_fail/T2994
  * difficulty:  => Unknown
  * status:  new => closed
  * resolution:  => fixed

Comment:

 Your wish is my command.

 I spent way too long on this, but it was fun.
 {{{
 Wed Feb  4 15:07:36 GMT 2009  simo...@microsoft.com
   * Improve error reports for kind checking (Trac #2994)
 }}}

 Let's not merge to 6.10. It's an unforced change, and quite a lot of lines
 of code are touched.

 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] #2905: require -XGADTs in order to pattern-match GADTs

2009-02-04 Thread GHC
#2905: require -XGADTs in order to pattern-match GADTs
+---
Reporter:  guest|Owner:  
Type:  proposal |   Status:  closed  
Priority:  normal   |Milestone:  6.12 branch 
   Component:  Compiler (Type checker)  |  Version:  6.10.1  
Severity:  normal   |   Resolution:  fixed   
Keywords:   |   Difficulty:  Unknown 
Testcase:   |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple |  
+---
Changes (by simonpj):

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

Comment:

 Done
 {{{
 Wed Feb  4 15:09:19 GMT 2009  simo...@microsoft.com
   * Check -XGADTs in (a) type family decls (b) pattern matches
 }}}
 Don't merge to the branch; it's a small change in behaviour.

 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] #2958: ghc-pkg describe is lying

2009-02-04 Thread GHC
#2958: ghc-pkg describe is lying
-+--
Reporter:  josef |Owner: 
Type:  bug   |   Status:  closed 
Priority:  normal|Milestone: 
   Component:  Build System  |  Version:  6.10.1 
Severity:  normal|   Resolution:  invalid
Keywords:|   Difficulty:  Unknown
Testcase:|   Os:  Linux  
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonmar):

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

-- 
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] #2980: Data.Generics reports wrong package?

2009-02-04 Thread GHC
#2980: Data.Generics reports wrong package?
--+-
Reporter:  Martijn|Owner:  simonmar
Type:  bug|   Status:  new 
Priority:  normal |Milestone:  6.10.2  
   Component:  libraries (other)  |  Version:  6.10.1  
Severity:  normal |   Resolution:  
Keywords: |   Difficulty:  Unknown 
Testcase: |   Os:  Windows 
Architecture:  Unknown/Multiple   |  
--+-
Changes (by simonmar):

  * owner:  => simonmar
  * difficulty:  => Unknown
  * milestone:  => 6.10.2

Comment:

 Is this better?

 {{{
 Prelude> import Data.Generics
 Could not find module `Data.Generics':
   it is a member of the hidden package `base-3.0.3.0'
   it is a member of the hidden package `syb'
   Use -v to see a list of the files searched for.
 }}}

-- 
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] #2958: ghc-pkg describe is lying

2009-02-04 Thread GHC
#2958: ghc-pkg describe is lying
-+--
Reporter:  josef |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone: 
   Component:  Build System  |  Version:  6.10.1 
Severity:  normal|   Resolution: 
Keywords:|   Difficulty:  Unknown
Testcase:|   Os:  Linux  
Architecture:  Unknown/Multiple  |  
-+--
Comment (by duncan):

 Yep, it's in the Cabal trac (it's been open a year):

 http://hackage.haskell.org/trac/hackage/ticket/236

 I've marked it easy so hopefully some volunteer will pick it up.

-- 
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] #3002: Documentation for Data.Map.unionWithKey makes reference to "new" and "old" values which have no meaning in a union.

2009-02-04 Thread GHC
#3002: Documentation for Data.Map.unionWithKey makes reference to "new" and 
"old"
values which have no meaning in a union.
-+--
Reporter:  guest |  Owner:   
Type:  bug   | Status:  new  
Priority:  normal|  Component:  libraries (other)
 Version:  6.10.1|   Severity:  trivial  
Keywords:|   Testcase:   
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple 
-+--
 The example given for unionWithKey uses rather odd names "new_value" and
 "old_value" for the values in the two maps.  Perhaps more appropriate
 names would be leftValue and rightValue.  This has been commented on in
 #haskell that where the values come from is not clear.

 let f key new_value old_value = (show key) ++ ":" ++ new_value ++ "|" ++
 old_value
 unionWithKey f (fromList [(5, "a"), (3, "b")]) (fromList [(5, "A"), (7,
 "C")]) == fromList [(3, "b"), (5, "5:a|A"), (7, "C")]

-- 
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] #3000: :break command should recognize also nonexported top level symbols in qualified IDs

2009-02-04 Thread GHC
#3000: :break command should recognize also nonexported top level symbols in
qualified IDs
--+-
 Reporter:  phercek   |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Milestone:  
Component:  GHCi  |Version:  6.10.1  
 Severity:  normal| Resolution:  
 Keywords:  debugger  |   Testcase:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
--+-
Comment (by phercek):

 Actually it would be cool if function names of the form'' ( '''conid .'''
 )* ( '''varid .''' )* '''varid''' '' could be recognized too.[[BR]]
 The identifer can have a sequence of '''varid'''s at the end. The idea is
 to identify a function which is defined in a where clause (or even a let
 clause (the first let function with given name)).[[BR]]
 E.g. for this source file:
 {{{
 fn s = 'a' : add s
   where add = (++"z")
 }}}
 it could look like ''':break Main.fn.add''' and it would be tha same as
 ''':break 2''' (breakpoint on 'add').

-- 
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] #2958: ghc-pkg describe is lying

2009-02-04 Thread GHC
#2958: ghc-pkg describe is lying
-+--
Reporter:  josef |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone: 
   Component:  Build System  |  Version:  6.10.1 
Severity:  normal|   Resolution: 
Keywords:|   Difficulty:  Unknown
Testcase:|   Os:  Linux  
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonmar):

 * cc: duncan.cou...@worc.ox.ac.uk (added)
  * difficulty:  => Unknown

Comment:

 Duncan - is this really a bug in Cabal/cabal-install?  If so could you
 move it to the appropriate Trac?

-- 
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] #2678: hLookAhead + hSetBuffering = unsupported operation (Illegal seek)

2009-02-04 Thread GHC
#2678: hLookAhead + hSetBuffering = unsupported operation (Illegal seek)
-+--
Reporter:  igloo |Owner:  simonmar
Type:  bug   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  libraries/base|  Version:  6.8.3   
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonmar):

  * owner:  => simonmar
  * milestone:  6.10.2 => 6.12 branch

Comment:

 This is fixed in the unicode IO library; bumping to 6.12.

-- 
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] #2870: User signals are not blocked before 'fork' in runInteractiveProcess

2009-02-04 Thread GHC
#2870: User signals are not blocked before 'fork' in runInteractiveProcess
---+
Reporter:  dsh |Owner:  simonmar
Type:  bug |   Status:  new 
Priority:  high|Milestone:  6.10.2  
   Component:  libraries/process   |  Version:  6.10.1  
Severity:  normal  |   Resolution:  
Keywords:  threaded runInteractiveProcess  |   Difficulty:  Unknown 
Testcase:  |   Os:  Unknown/Multiple
Architecture:  x86_64 (amd64)  |  
---+
Changes (by simonmar):

  * owner:  => simonmar

-- 
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] #2883: setitimer(ITIMER_VIRTUAL) is not always available

2009-02-04 Thread GHC
#2883: setitimer(ITIMER_VIRTUAL) is not always available
-+--
Reporter:  sthibaul  |Owner:  igloo   
Type:  bug   |   Status:  new 
Priority:  high  |Milestone:  6.10.2  
   Component:  Compiler  |  Version:  6.8.2   
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonmar):

  * owner:  => igloo

Comment:

 Patch looks ok to me - Ian, could you apply please?

-- 
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] #2954: System.Process.terminateProcess sends SIGTERM rather than SIGKILL on unix

2009-02-04 Thread GHC
#2954: System.Process.terminateProcess sends SIGTERM rather than SIGKILL on unix
--+-
Reporter:  guest  |Owner:  simonmar
Type:  bug|   Status:  new 
Priority:  normal |Milestone:  6.10.2  
   Component:  libraries/process  |  Version:  6.10.1  
Severity:  normal |   Resolution:  
Keywords: |   Difficulty:  Unknown 
Testcase: |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   |  
--+-
Changes (by simonmar):

  * owner:  => simonmar
  * difficulty:  => Unknown
  * milestone:  => 6.10.2

Comment:

 We'll fix the docs for 6.10.2, and add a killProcess for 6.12.

-- 
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] #2999: yi darcs crashes ghc 6.11.20090201

2009-02-04 Thread GHC
#2999: yi darcs crashes ghc 6.11.20090201
+---
Reporter:  wolverian|Owner:  chak   
Type:  bug  |   Status:  closed 
Priority:  normal   |Milestone: 
   Component:  Compiler (Type checker)  |  Version:  6.11   
Severity:  normal   |   Resolution:  fixed  
Keywords:  xen, linux, yi   |   Difficulty:  Unknown
Testcase:   |   Os:  Linux  
Architecture:  x86_64 (amd64)   |  
+---
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed

Old description:

> {{{Building yi-0.5.3...
> [  1 of 107] Compiling System.FriendlyPath ( System/FriendlyPath.hs,
> dist/build/System/FriendlyPath.o )
> [  2 of 107] Compiling Shim.ProjectContent ( Shim/ProjectContent.hs,
> dist/build/Shim/ProjectContent.o )
> WARNING: file simplCore/SimplCore.lhs line 545
> Simplifier still going after 4 iterations; bailing out.  Size = 4969
>
> [  3 of 107] Compiling Parser.Incremental ( Parser/Incremental.hs,
> dist/build/Parser/Incremental.o )
> ghc: panic! (the 'impossible' happened)
>   (GHC version 6.11.20090201 for x86_64-unknown-linux):
> ASSERT failed! file typecheck/TcTyFuns.lhs line 286
> [Wanted t_a89i{tv} [tau] :: a{tv a89b} [sk]
>   ~
> a{tv a89a} [sk] -> t_a89h{tv} [tau]]
> }}}

New description:

 {{{
 Building yi-0.5.3...
 [  1 of 107] Compiling System.FriendlyPath ( System/FriendlyPath.hs,
 dist/build/System/FriendlyPath.o )
 [  2 of 107] Compiling Shim.ProjectContent ( Shim/ProjectContent.hs,
 dist/build/Shim/ProjectContent.o )
 WARNING: file simplCore/SimplCore.lhs line 545
 Simplifier still going after 4 iterations; bailing out.  Size = 4969

 [  3 of 107] Compiling Parser.Incremental ( Parser/Incremental.hs,
 dist/build/Parser/Incremental.o )
 ghc: panic! (the 'impossible' happened)
   (GHC version 6.11.20090201 for x86_64-unknown-linux):
 ASSERT failed! file typecheck/TcTyFuns.lhs line 286
 [Wanted t_a89i{tv} [tau] :: a{tv a89b} [sk]
   ~
 a{tv a89a} [sk] -> t_a89h{tv} [tau]]
 }}}

Comment:

 I've pushed a patch that makes it a warning only.  That should resolve it.
 {{{
 Wed Feb  4 08:38:00 GMT 2009  simo...@microsoft.com
   * Fix Trac #2999: change an ASSERT to a WARN
 }}}
 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