Re: [GHC] #1900: Type families with class constraints: type-checker loops

[GHC]

#1900: Type families with class constraints: type-checker loops
-+--
 Reporter:  h.holtmann   |  Owner:  chak   
 Type:  bug  | Status:  new
 Priority:  normal   |  Milestone:  6.10 branch
Component:  Compiler (Type checker)  |Version:  6.9
 Severity:  normal   | Resolution: 
 Keywords:   | Difficulty:  Unknown
 Testcase:   |   Architecture:  x86
   Os:  Linux|  
-+--
Changes (by igloo):

  * owner:  => chak
  * difficulty:  => Unknown
  * component:  Compiler => Compiler (Type checker)
  * milestone:  => 6.10 branch

Comment:

 Thanks for the report. Another one for you, Manuel?

-- 
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] #1899: compiler does not halt

[GHC]

#1899: compiler does not halt
--+-
 Reporter:  guest |  Owner:
 Type:  bug   | Status:  new   
 Priority:  normal|  Milestone:  6.8.3 
Component:  Compiler  |Version:  6.8.1 
 Severity:  normal| Resolution:
 Keywords:| Difficulty:  Unknown   
 Testcase:|   Architecture:  x86_64 (amd64)
   Os:  Unknown   |  
--+-
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.8.3

Comment:

 I haven't tried to reproduce this yet as it depends on QuickCheck. If
 anyone makes a small testcase then that would be useful both for
 diagnosing the problem and for putting in the testsuite once it is fixed.

-- 
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] #1898: segfault with +RTS -N2 (related to tryTakeMVar?)

[GHC]

#1898: segfault with +RTS -N2 (related to tryTakeMVar?)
+---
 Reporter:  j.waldmann  |  Owner: 
 Type:  bug | Status:  new
 Priority:  normal  |  Milestone:  6.8.3  
Component:  Compiler|Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  x86
   Os:  Linux   |  
+---
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.8.3

Comment:

 Reproduced on amd64/Linux:
 {{{
 [...]
 1008
 998
 1023
 zsh: segmentation fault  ./strange +RTS -N2
 ./strange +RTS -N2  77.64s user 1.03s system 83% cpu 1:34.03 total
 $
 }}}

 {{{
 [...]
 1003
 1012
 1024
 zsh: segmentation fault  ./strange +RTS -N2
 ./strange +RTS -N2  13.30s user 0.15s system 80% cpu 16.675 total
 $
 }}}

 {{{
 [...]
 1004
 986
 1014
 zsh: segmentation fault  ./strange +RTS -N2
 ./strange +RTS -N2  37.97s user 0.48s system 78% cpu 48.680 total
 $
 }}}

-- 
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] #1897: Type families: type signature rejected

[GHC]

#1897: Type families: type signature rejected
-+--
 Reporter:  guest|  Owner:  chak   
 Type:  bug  | Status:  new
 Priority:  normal   |  Milestone:  6.10 branch
Component:  Compiler (Type checker)  |Version:  6.9
 Severity:  normal   | Resolution: 
 Keywords:   | Difficulty:  Unknown
 Testcase:   |   Architecture:  x86
   Os:  Linux|  
-+--
Changes (by igloo):

  * owner:  => chak
  * difficulty:  => Unknown
  * component:  Compiler => Compiler (Type checker)
  * milestone:  => 6.10 branch

Comment:

 Thanks for the report. Looks like one for you, Manuel.

-- 
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] #1894: Add a total order on type constructors

[GHC]

#1894: Add a total order on type constructors
-+--
 Reporter:  guest|  Owner: 
 Type:  feature request  | Status:  new
 Priority:  normal   |  Milestone:  6.10 branch
Component:  Compiler (Type checker)  |Version:  6.8.1  
 Severity:  normal   | Resolution: 
 Keywords:   | Difficulty:  Unknown
 Testcase:   |   Architecture:  Multiple   
   Os:  Multiple |  
-+--
Changes (by igloo):

  * milestone:  => 6.10 branch

-- 
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] #1891: New RTS "--info" option not in help message

[GHC]

#1891: New RTS "--info" option not in help message
+---
 Reporter:  Orphi   |  Owner:  igloo  
 Type:  bug | Status:  new
 Priority:  normal  |  Milestone:  6.8.2  
Component:  Runtime System  |Version:  6.8.1  
 Severity:  minor   | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  x86
   Os:  Windows |  
+---
Changes (by igloo):

  * owner:  => igloo
  * difficulty:  => Unknown
  * milestone:  => 6.8.2

Comment:

 Just an oversight; easy to fix for 6.8.2. Thanks for the report!

 As for the meanings, yes, more documentation would be good. My primary
 goal was to get it into GHC ASAP, so that tools like Cabal can start
 relying on it being available sooner, and so we can start asking people to
 include its output in bug reports immediately, though.

-- 
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] #1886: GHC API should preserve and provide access to comments

[GHC]

#1886: GHC API should preserve and provide access to comments
---+
 Reporter:  claus  |  
Owner: 
 Type:  bug| 
Status:  new
 Priority:  normal |  
Milestone:  6.10 branch
Component:  GHC API|
Version:  6.9
 Severity:  normal | 
Resolution: 
 Keywords:  GHC API, comments, program transformation, layout  | 
Difficulty:  Unknown
 Testcase: |   
Architecture:  Unknown
   Os:  Unknown|  
---+
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.10 branch

-- 
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] #1883: GHC can't find library using "short" name

[GHC]

#1883: GHC can't find library using "short" name
--+-
 Reporter:  m4dc4p|  Owner: 
 Type:  bug   | Status:  new
 Priority:  normal|  Milestone: 
Component:  Compiler  |Version:  6.6.1  
 Severity:  normal| Resolution: 
 Keywords:  link library windows  | Difficulty:  Unknown
 Testcase:|   Architecture:  x86
   Os:  Windows   |  
--+-
Comment (by igloo):

 Is there something that GHC should(n't) do, or should this bug be moved to
 the Cabal 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] #1874: getDirectoryContents yields "invalid argument" instead of "permission error"

[GHC]

#1874: getDirectoryContents yields "invalid argument" instead of "permission
error"
--+-
 Reporter:  Orphi |  
Owner: 
 Type:  bug   | 
Status:  new
 Priority:  normal|  
Milestone:  6.10 branch
Component:  libraries (other) |
Version:  6.8.1  
 Severity:  normal| 
Resolution: 
 Keywords:| 
Difficulty:  Unknown
 Testcase:  getDirectoryContents "C:\\System Volume Information"  |   
Architecture:  x86
   Os:  Windows   |  
--+-
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.10 branch

Comment:

 Thanks for the report. Fixing this means an interface change, so it can't
 happen until 6.10. Also, I wouldn't be surprised if we are just mirroring
 the error that the operating system gives us.

-- 
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] #1870: ghc-6.8.1 panics compiling regex-tdfa-0.93

[GHC]

#1870: ghc-6.8.1 panics compiling regex-tdfa-0.93
+---
 Reporter:  ChrisKuklewicz  |  Owner: 
 Type:  bug | Status:  new
 Priority:  low |  Milestone:  6.8.2  
Component:  Compiler|Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  Unknown
   Os:  Unknown |  
+---
Changes (by igloo):

  * priority:  normal => low
  * milestone:  => 6.8.2

Comment:

 We'll close this as worksforme shortly unless someone can confirm the
 problem.

-- 
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] #1868: Exception fails all exception predicates

[GHC]

#1868: Exception fails all exception predicates
+---
 Reporter:  Orphi   |  Owner: 
 Type:  bug | Status:  new
 Priority:  normal  |  Milestone:  6.10 branch
Component:  libraries/base  |Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  x86
   Os:  Windows |  
+---
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.10 branch

Comment:

 GHC currently has (in GHC.IOBase)
 {{{
 data IOErrorType
   -- Haskell 98:
   = AlreadyExists
   | NoSuchThing
   | ResourceBusy
   | ResourceExhausted
   | EOF
   | IllegalOperation
   | PermissionDenied
   | UserError
   -- GHC only:
   | UnsatisfiedConstraints
   | SystemError
   | ProtocolError
   | OtherError
   | InvalidArgument
   | InappropriateType
   | HardwareFault
   | UnsupportedOperation
   | TimeExpired
   | ResourceVanished
   | Interrupted
   | DynIOError Dynamic -- cheap&cheerful extensible IO error type.
 }}}
 I'm not sure what the right thing to do here is. The report is rather
 vague.

-- 
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] #1867: GHC 6.6.1 and 6.8.1 don't run on Windows NT 4.0

[GHC]

#1867: GHC 6.6.1 and 6.8.1 don't run on Windows NT 4.0
---+
 Reporter:  Orphi  |  Owner: 
 Type:  bug| Status:  closed 
 Priority:  normal |  Milestone: 
Component:  Documentation  |Version:  6.8.1  
 Severity:  minor  | Resolution:  fixed  
 Keywords: | Difficulty:  Unknown
 Testcase: |   Architecture:  x86
   Os:  Windows|  
---+
Changes (by igloo):

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

Comment:

 Thanks for the info. I've updated the download page to no longer claim
 that it does work.

-- 
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] #1892: :info panics when used on breakpoint bindings

[GHC]

#1892: :info panics when used on breakpoint bindings
--+-
 Reporter:  mnislaih  |  Owner:  igloo  
 Type:  merge | Status:  closed 
 Priority:  high  |  Milestone:  6.8.2  
Component:  GHCi  |Version:  6.8.1  
 Severity:  major | Resolution:  fixed  
 Keywords:| Difficulty:  Easy (1 hr)
 Testcase:  break027  |   Architecture:  Multiple   
   Os:  Multiple  |  
--+-
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1679: ^C on zipperfs leads to crash

[GHC]

#1679: ^C on zipperfs leads to crash
+---
 Reporter:  sorear  |  Owner:  igloo  
 Type:  merge   | Status:  closed 
 Priority:  normal  |  Milestone:  6.8.2  
Component:  GHCi|Version:  6.6.1  
 Severity:  normal  | Resolution:  fixed  
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  x86
   Os:  Linux   |  
+---
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1828: ghc doesn't properly quote space-containing paths on Windows.

[GHC]

#1828: ghc doesn't properly quote space-containing paths on Windows.
--+-
 Reporter:  guest |  Owner:  igloo   
 Type:  merge | Status:  closed  
 Priority:  normal|  Milestone:  6.8.2   
Component:  Compiler  |Version:  6.8.1   
 Severity:  normal| Resolution:  fixed   
 Keywords:| Difficulty:  Unknown 
 Testcase:|   Architecture:  Multiple
   Os:  Windows   |  
--+-
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1873: ghci loses pre-error context after :reload

[GHC]

#1873: ghci loses pre-error context after :reload
-+--
 Reporter:  claus|  Owner:  igloo  
 Type:  merge| Status:  closed 
 Priority:  normal   |  Milestone:  6.8.2  
Component:  GHCi |Version:  6.9
 Severity:  normal   | Resolution:  fixed  
 Keywords:   | Difficulty:  Unknown
 Testcase:   |   Architecture:  Unknown
   Os:  Unknown  |  
-+--
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1596: ghc-pkg --define-name is undocumented

[GHC]

#1596: ghc-pkg --define-name is undocumented
---+
 Reporter:  eivuokko   |  Owner:  igloo  
 Type:  merge  | Status:  closed 
 Priority:  low|  Milestone:  6.8.2  
Component:  Documentation  |Version:  6.6.1  
 Severity:  trivial| Resolution:  fixed  
 Keywords: | Difficulty:  Unknown
 Testcase: |   Architecture:  Unknown
   Os:  Unknown|  
---+
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1901: 6.8.1 incorrectly infers contexts from pattern matches.

[GHC]

#1901: 6.8.1 incorrectly infers contexts from pattern matches.
--+-
 Reporter:  guest |  Owner:  igloo  
 Type:  merge | Status:  closed 
 Priority:  normal|  Milestone: 
Component:  Compiler  |Version:  6.8.1  
 Severity:  normal| Resolution:  fixed  
 Keywords:| Difficulty:  Unknown
 Testcase:|   Architecture:  Unknown
   Os:  Unknown   |  
--+-
Changes (by igloo):

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

Comment:

 Merged

-- 
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] #1904: strictness analyser should be smarter

[GHC]

#1904: strictness analyser should be smarter
-+--
Reporter:  igloo |   Owner: 
Type:  bug   |  Status:  new
Priority:  normal|   Milestone:  _|_
   Component:  Compiler  | Version:  6.8.1  
Severity:  normal|Keywords: 
  Difficulty:  Unknown   |Testcase: 
Architecture:  Unknown   |  Os:  Unknown
-+--
 This module:
 {{{
 module Q (foo) where
 foo :: String -> [String] -> Bool
 #ifdef FIRST
 foo x _ | x `seq` x == "." = True
 #else
 foo x _ | x == "." = True
 #endif
 foo x xs = x `seq` any (x ==) xs
 }}}
 should be compiled to the same code regardless of whether or not FIRST is
 defined. However, this is not the case; there is an extra case when FIRST
 is not defined:
 {{{
 $ ghc --version
 The Glorious Glasgow Haskell Compilation System, version 6.8.1
 $ ghc -fforce-recomp -ddump-simpl -cpp -O -c Q.hs -DFIRST > 1
 $ ghc -fforce-recomp -ddump-simpl -cpp -O -c Q.hs > 2
 $ diff -U 1000 1 2
 --- 1   2007-11-17 21:02:37.0 +
 +++ 2   2007-11-17 21:02:39.0 +
 @@ -1,33 +1,35 @@

   Tidy Core 
  Q.a :: GHC.Base.Char
  [GlobalId]
  [NoCafRefs
   Str: DmdType m]
  Q.a = GHC.Base.C# '.'

  Q.lvl :: [GHC.Base.Char]
  [GlobalId]
  [NoCafRefs
   Str: DmdType]
  Q.lvl = GHC.Base.: @ GHC.Base.Char Q.a (GHC.Base.[] @ GHC.Base.Char)

  Q.foo :: GHC.Base.String -> [GHC.Base.String] -> GHC.Base.Bool
  [GlobalId]
  [Arity 2
   NoCafRefs
   Str: DmdType SL]
  Q.foo =
 -  \ (x_a5D :: GHC.Base.String) (ds_d6y :: [GHC.Base.String]) ->
 -case GHC.Base.eqString x_a5D Q.lvl of wild_Xc {
 +  \ (x_a5D :: GHC.Base.String) (ds_d6w :: [GHC.Base.String]) ->
 +case GHC.Base.eqString x_a5D Q.lvl of wild_B1 {
GHC.Base.False ->
 -   GHC.List.any @ GHC.Base.String (GHC.Base.eqString x_a5D) ds_d6y;
 +   case x_a5D of tpl_Xd { __DEFAULT ->
 +   GHC.List.any @ GHC.Base.String (GHC.Base.eqString tpl_Xd) ds_d6w
 +   };
GHC.Base.True -> GHC.Base.True
  }




   Tidy Core Rules 


 $
 }}}

 There is a little discussion in the thread where this was first reported:
 http://www.haskell.org/pipermail/glasgow-haskell-
 users/2004-June/006862.html

-- 
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] #1894: Add a total order on type constructors

[GHC]

#1894: Add a total order on type constructors
-+--
 Reporter:  guest|  Owner:  
 Type:  feature request  | Status:  new 
 Priority:  normal   |  Milestone:  
Component:  Compiler (Type checker)  |Version:  6.8.1   
 Severity:  normal   | Resolution:  
 Keywords:   | Difficulty:  Unknown 
 Testcase:   |   Architecture:  Multiple
   Os:  Multiple |  
-+--
Comment (by sorear):

 Replying to [comment:4 guest]:
 > The suggestion to restrict this to a special type-class is a good one.
 Maybe this should be done as a special kind of `deriving`. I would prefer
 a new class to an extension of an existing one.

 There is always Oleg's TTypeable (which Data.Derive can handle); otoh, it
 uses fundeps.

 Chakravarty: Is it feasable to make fundeps and type families 'compatible'
 in the sense that either can depend on the other?

-- 
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] #1894: Add a total order on type constructors

[GHC]

#1894: Add a total order on type constructors
-+--
 Reporter:  guest|  Owner:  
 Type:  feature request  | Status:  new 
 Priority:  normal   |  Milestone:  
Component:  Compiler (Type checker)  |Version:  6.8.1   
 Severity:  normal   | Resolution:  
 Keywords:   | Difficulty:  Unknown 
 Testcase:   |   Architecture:  Multiple
   Os:  Multiple |  
-+--
Comment (by guest):

 The problem with using uniqIds is that the order used when a module is
 compiled must be the same as the order used when it is imported. Do the
 existing uniqIds have that property?

 The suggestion to restrict this to a special type-class is a good one.
 Maybe this should be done as a special kind of `deriving`. I would prefer
 a new class to an extension of an existing one.

-- 
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] #1894: Add a total order on type constructors

[GHC]

#1894: Add a total order on type constructors
-+--
 Reporter:  guest|  Owner:  
 Type:  feature request  | Status:  new 
 Priority:  normal   |  Milestone:  
Component:  Compiler (Type checker)  |Version:  6.8.1   
 Severity:  normal   | Resolution:  
 Keywords:   | Difficulty:  Unknown 
 Testcase:   |   Architecture:  Multiple
   Os:  Multiple |  
-+--
Comment (by claus):

 the ticket neglects to mention that at least one of the record libraries
 under discussion does not need such an ordering.

 that does not imply that the feature might not be useful, and most of the
 record libraries do indeed employ such an ordering. but, as any other form
 of reflection, it would have to be designed very carefully: one usually
 cannot avoid destroying at least some program equivalences when
 introducing reflection, so at the very least, one needs to be able to
 separate programs that use such feature (where those equivalences will
 fail) from programs that do not (where reasoning about programs is not
 affected).

 examples of equivalences no longer valid under this proposal are renaming
 types or modules and moving types or modules in the module hierarchy.

 perhaps type-level ordering should only be available for members of a type
 class, such as the existing `Data` or `Typeable`? and perhaps it should be
 based on random uniqueIds, similar to `Data.Typeable.typeRepKey`? but that
 has its own issues..

 @GHC-HQ:
 how do i add myself to the cc without voting in favour? should there be
 two cc-lists?-)

-- 
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] #1653: GHCi ':set' completion does not list all options

[GHC]

#1653: GHCi ':set' completion does not list all options
+---
 Reporter:  sorear  |  Owner: 
 Type:  bug | Status:  new
 Priority:  normal  |  Milestone:  6.10 branch
Component:  GHCi|Version:  6.7
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  x86
   Os:  Linux   |  
+---
Changes (by igloo):

  * type:  merge => bug

-- 
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] #1641: Binders generated by instance deriving are affected by -auto-all

[GHC]

#1641: Binders generated by instance deriving are affected by -auto-all
--+-
 Reporter:  sorear|  Owner:  simonmar
 Type:  bug   | Status:  new 
 Priority:  normal|  Milestone:  6.8.3   
Component:  Compiler  |Version:  6.7 
 Severity:  normal| Resolution:  
 Keywords:| Difficulty:  Unknown 
 Testcase:|   Architecture:  Unknown 
   Os:  Unknown   |  
--+-
Comment (by dbueno):

 This bug manifests not only when using derived instances, but with
 explicit ones as well.  I can attach extra files if desired.

-- 
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] #1641: Binders generated by instance deriving are affected by -auto-all

[GHC]

#1641: Binders generated by instance deriving are affected by -auto-all
--+-
 Reporter:  sorear|  Owner:  simonmar
 Type:  bug   | Status:  new 
 Priority:  normal|  Milestone:  6.8.3   
Component:  Compiler  |Version:  6.7 
 Severity:  normal| Resolution:  
 Keywords:| Difficulty:  Unknown 
 Testcase:|   Architecture:  Unknown 
   Os:  Unknown   |  
--+-
Changes (by dbueno):

 * cc: [EMAIL PROTECTED] (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] #1902: Restrict the type of (^), (^^), and add genericPower, genericPower'

[GHC]

#1902: Restrict the type of (^), (^^), and add genericPower, genericPower'
+---
 Reporter:  igloo   |  Owner: 
 Type:  proposal| Status:  new
 Priority:  normal  |  Milestone:  Not GHC
Component:  libraries/base  |Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  Unknown
   Os:  Unknown |  
+---
Changes (by sorear):

 * cc: sorear (removed)

Comment:

 Oh right, I had LSP consensus confused with bug voting.  Oops.

-- 
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] #1902: Restrict the type of (^), (^^), and add genericPower, genericPower'

[GHC]

#1902: Restrict the type of (^), (^^), and add genericPower, genericPower'
+---
 Reporter:  igloo   |  Owner: 
 Type:  proposal| Status:  new
 Priority:  normal  |  Milestone:  Not GHC
Component:  libraries/base  |Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  Unknown
   Os:  Unknown |  
+---
Changes (by igloo):

 * cc: [EMAIL PROTECTED] (removed)

Comment:

 I think the mailing list thread is a better place to judge concensus for
 proposals. Using the CC list doesn't give us a way for people to be
 against the proposal.

 I've removed Henning again as he may not want to get a copy of all mails
 to the bug report.

-- 
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] #1902: Restrict the type of (^), (^^), and add genericPower, genericPower'

[GHC]

#1902: Restrict the type of (^), (^^), and add genericPower, genericPower'
+---
 Reporter:  igloo   |  Owner: 
 Type:  proposal| Status:  new
 Priority:  normal  |  Milestone:  Not GHC
Component:  libraries/base  |Version:  6.8.1  
 Severity:  normal  | Resolution: 
 Keywords:  | Difficulty:  Unknown
 Testcase:  |   Architecture:  Unknown
   Os:  Unknown |  
+---
Changes (by sorear):

 * cc: sorear, [EMAIL PROTECTED] (added)

Comment:

 Also adding Henning Thielemann because he seconded on the mailing list.

-- 
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] #1903: Meta-Proposal: Documentation should be required to say when exports were introduced

[GHC]

#1903: Meta-Proposal: Documentation should be required to say when exports were
introduced
-+--
Reporter:  igloo |   Owner: 
Type:  proposal  |  Status:  new
Priority:  normal|   Milestone:  Not GHC
   Component:  Compiler  | Version:  6.8.1  
Severity:  normal|Keywords: 
  Difficulty:  Unknown   |Testcase: 
Architecture:  Unknown   |  Os:  Unknown
-+--
 One of the nice things about, for example, PHP is that if you look at the
 documentation for one of its functions, e.g.:
 http://www.php.net/manual/en/function.file-get-contents.php,
 it tells you that `file_get_contents` is available in PHP >= 4.3.0.

 I propose that all exports in Haskell libraries should be required to have
 such a thing in their haddock documentation. For the current code we could
 either give the current versions as the date of introduction, or do some
 digging and put precise data in.

 Initial deadline: 1 December 2007.

-- 
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] #1902: Restrict the type of (^), (^^), and add genericPower, genericPower'

[GHC]

#1902: Restrict the type of (^), (^^), and add genericPower, genericPower'
---+
Reporter:  igloo   |   Owner: 
Type:  proposal|  Status:  new
Priority:  normal  |   Milestone:  Not GHC
   Component:  libraries/base  | Version:  6.8.1  
Severity:  normal  |Keywords: 
  Difficulty:  Unknown |Testcase: 
Architecture:  Unknown |  Os:  Unknown
---+
 This got a warm reception when I mentioned it in
 http://www.haskell.org/pipermail/haskell-cafe/2007-June/027557.html so I'm
 formally proposing it now.

 Note that this is a divergence from Haskell 98 (but the libraries already
 have a handful of small divergences, and Haskell' is just around the
 corner...).

 In my opinion, `(^)` has the wrong type. Just as we have, for example,
 {{{
 (!!) :: [a] -> Int -> a
 genericIndex :: (Integral b) => [a] -> b   -> a
 }}}
 we should also have
 {{{
 (^)  :: (Num a) => a -> Int -> a
 genericPower :: (Num a, Integral b) => a -> b   -> a
 }}}
 (or some other function name). The same goes for `(^^)` (`genericPower'`).

 In my experience this would remove 99.9% of all defaulting (mostly where
 you write things like `x^12` and `8^12`), which means it's easier to get
 `-Wall` clean without having to put `:: Int` annotations everywhere.

 The impact to GHC's bootlibs and extralibs is minimal. In most cases we
 have things like `2^15`, where Int is clearly fine, although it happens to
 be defaulted to Integer currently. In `Data.Complex` we have 2 cases of
 `e^(2::Int)` which can now be beautified. There are several cases where
 the type is inferred to be `Int` anyway.

 There are 3 files where we really do have an Integer, and it does matter.
 They are all for parsing numbers of the form 18e43, in
 `base/Text/Read/Lex.hs`, `parsec/Text/ParserCombinators/Parsec/Token.hs`
 and `haskell-src/Language/Haskell/Lexer.hs`.

 Initial deadline: 1 Dec 2007.

-- 
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