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:  closed  
  Priority:  highest   |  Milestone:  7.4.1   
 Component:  Compiler  |Version:  7.2.1   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Compile-time performance bug  | Difficulty:  Unknown 
  Testcase:  perf/compiler/T5631   |  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 `language-python` (with a handful of build fixes) just compiled for me
 with HEAD in 4:01.49 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] #5738: System.Posix.Temp mkstemp bugs and addition of mkdtem

[GHC]

#5738: System.Posix.Temp mkstemp bugs and addition of mkdtem
-+--
  Reporter:  deian   |  Owner:  dterei
  Type:  bug | Status:  closed
  Priority:  normal  |  Milestone:
 Component:  libraries/unix  |Version:  7.2.1 
Resolution:  fixed   |   Keywords:
Os:  Linux   |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  | Difficulty:  Unknown   
  Testcase:  |  Blockedby:
  Blocking:  |Related:
-+--

Comment(by dterei):

 Replying to [comment:8 igloo]:
 > After the feature freeze, so not merging to 7.4; sorry.

 Ian, a question about the unix package. The doc for the package says it
 isn't supported on Windows (mingw32) but some of the ifdefs in the code
 (see cbits/HsUnix.c) talk about MINGW32. Can I clean up the code to remove
 these? There are only one or two of them and I think they just add
 confusion to the package as I'm fairly certain it won't compile in its
 current state on MINGW32.

-- 
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] #5738: System.Posix.Temp mkstemp bugs and addition of mkdtem

[GHC]

#5738: System.Posix.Temp mkstemp bugs and addition of mkdtem
-+--
  Reporter:  deian   |  Owner:  dterei
  Type:  bug | Status:  closed
  Priority:  normal  |  Milestone:
 Component:  libraries/unix  |Version:  7.2.1 
Resolution:  fixed   |   Keywords:
Os:  Linux   |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  | Difficulty:  Unknown   
  Testcase:  |  Blockedby:
  Blocking:  |Related:
-+--
Changes (by igloo):

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


Comment:

 After the feature freeze, so not merging to 7.4; sorry.

-- 
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] #5758: Add a safe index to Data.Foldable

[GHC]

#5758: Add a safe index to Data.Foldable
---+
  Reporter:  A1kmm |  Owner:  
  Type:  feature request   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  libraries/base|Version:  7.2.1   
Resolution:  wontfix   |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

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


Comment:

 Thanks for the suggestion, but library API change proposals should be sent
 to the libraries@ list; please see
 http://www.haskell.org/haskellwiki/Library_submissions for more details.

-- 
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] #5726: GHC 7.4.1 RC1 doesn't work with Xcode 4.2.1

[GHC]

#5726: GHC 7.4.1 RC1 doesn't work with Xcode 4.2.1
--+-
  Reporter:  shelarcy |  Owner:  igloo   
  Type:  bug  | Status:  closed  
  Priority:  highest  |  Milestone:  7.4.1   
 Component:  Compiler |Version:  7.3 
Resolution:  fixed|   Keywords:  
Os:  MacOS X  |   Architecture:  Unknown/Multiple
   Failure:  GHC doesn't work at all  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by igloo):

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


Comment:

 Fixed in HEAD and 7.4:

 commit 6ce7d8008c59fd6cf0be975a503d202866d45744
 {{{
 Author: Ian Lynagh 
 Date:   Wed Jan 11 19:01:55 2012 +

 Don't try to use gcc-4.2 on XCode >= 4.2

 It was removed in 4.2.
 }}}

 commit 37f70cdbc1975b02d0c27023c0ccb8993f7b6498
 {{{
 Author: Ian Lynagh 
 Date:   Wed Jan 11 21:00:42 2012 +

 Use /usr/bin/gcc when making the OS X installer

 On XCode 4.1, we use /usr/bin/gcc-4.2 as it makes better code than
 /usr/bin/gcc for us. However, gcc-4.2 doesn't exist in XCode 4.2, so
 we
 need to use /usr/bin/gcc there. As the installer can be used on
 either,
 we make it always use /usr/bin/gcc.
 }}}

-- 
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] #5748: ghci segfault on OS X after dlsym failed lookup

[GHC]

#5748: ghci segfault on OS X after dlsym failed lookup
-+--
  Reporter:  gwright |  Owner:  igloo   
  Type:  bug | Status:  closed  
  Priority:  highest |  Milestone:  7.4.1   
 Component:  GHCi|Version:  7.2.1   
Resolution:  fixed   |   Keywords:  
Os:  MacOS X |   Architecture:  Unknown/Multiple
   Failure:  GHCi crash  | Difficulty:  Unknown 
  Testcase:  |  Blockedby:  
  Blocking:  |Related:  
-+--
Changes (by igloo):

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


Comment:

 Merged as 68d6c346143866764aa61f3207d3541cc9a23c77

-- 
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] #5697: loadObj() fails with a Unicode file path on Windows

[GHC]

#5697: loadObj() fails with a Unicode file path on Windows
-+--
  Reporter:  guest   |  Owner:  simonmar
  Type:  bug | Status:  closed  
  Priority:  high|  Milestone:  7.4.1   
 Component:  GHCi|Version:  7.0.4   
Resolution:  fixed   |   Keywords:  panic   
Os:  Windows |   Architecture:  x86 
   Failure:  Compile-time crash  | Difficulty:  Unknown 
  Testcase:  |  Blockedby:  
  Blocking:  |Related:  
-+--
Changes (by igloo):

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


Comment:

 Merged as f3ed736d147549748db9c552bb8e9311b5be2353

-- 
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] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

[GHC]

#5707: internal error: Invalid object in processHeapClosureForDead(): 0
+---
  Reporter:  brinchj|  Owner:
  Type:  bug| Status:  closed
  Priority:  lowest |  Milestone:  7.4.1 
 Component:  Compiler   |Version:  7.2.1 
Resolution:  fixed  |   Keywords:  biographical profiling
Os:  Linux  |   Architecture:  x86_64 (amd64)
   Failure:  Runtime crash  | Difficulty:  Unknown   
  Testcase: |  Blockedby:
  Blocking: |Related:  5451, 1519
+---
Changes (by igloo):

  * status:  infoneeded => closed
  * resolution:  => fixed
  * milestone:  7.4.2 => 7.4.1


Comment:

 Thanks for letting us know!

-- 
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] #5707: internal error: Invalid object in processHeapClosureForDead(): 0

[GHC]

#5707: internal error: Invalid object in processHeapClosureForDead(): 0
---+
Reporter:  brinchj |   Owner:   
Type:  bug |  Status:  infoneeded   
Priority:  lowest  |   Milestone:  7.4.2
   Component:  Compiler| Version:  7.2.1
Keywords:  biographical profiling  |  Os:  Linux
Architecture:  x86_64 (amd64)  | Failure:  Runtime crash
  Difficulty:  Unknown |Testcase:   
   Blockedby:  |Blocking:   
 Related:  5451, 1519  |  
---+

Comment(by brinchj):

 I installed the 7.4 RC and it seems to have been fixed (7.4.0.20120108).
 Thanks a lot! :)

-- 
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] #5750: Pretty-print LLVM .ll output files

[GHC]

#5750: Pretty-print LLVM .ll output files
-+--
Reporter:  tibbe |Owner:  dterei  
Type:  bug   |   Status:  closed  
Priority:  normal|Component:  Compiler (LLVM) 
 Version:  7.2.1 |   Resolution:  fixed   
Keywords:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  Failure:  Other   
Testcase:|Blockedby:  
Blocking:|  Related:  
-+--

Comment(by dterei):

 OK, more work done, found a very easy way to get the indent working for
 the '-keep-llvm-files' output. So I'd recommend just using '-keep-llvm-
 files' now.

-- 
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] #5748: ghci segfault on OS X after dlsym failed lookup

[GHC]

#5748: ghci segfault on OS X after dlsym failed lookup
-+--
Reporter:  gwright   |   Owner:  igloo 
Type:  bug   |  Status:  merge 
Priority:  highest   |   Milestone:  7.4.1 
   Component:  GHCi  | Version:  7.2.1 
Keywords:|  Os:  MacOS X   
Architecture:  Unknown/Multiple  | Failure:  GHCi crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by igloo):

  * status:  patch => merge


-- 
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] #5748: ghci segfault on OS X after dlsym failed lookup

[GHC]

#5748: ghci segfault on OS X after dlsym failed lookup
-+--
Reporter:  gwright   |   Owner:  igloo 
Type:  bug   |  Status:  patch 
Priority:  highest   |   Milestone:  7.4.1 
   Component:  GHCi  | Version:  7.2.1 
Keywords:|  Os:  MacOS X   
Architecture:  Unknown/Multiple  | Failure:  GHCi crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--

Comment(by gwright@…):

 commit b56e7b20605d742536441ed721a4fa21598782d5
 {{{
 Author: Gregory Wright 
 Date:   Sat Jan 7 09:58:00 2012 -0500

 check for failed external symbol lookups (partial fix for #5748)

  rts/Linker.c |   96
 +-
  1 files changed, 81 insertions(+), 15 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] #5731: Bad code for Double literals

[GHC]

#5731: Bad code for Double literals
--+-
  Reporter:  rl   |  Owner:  igloo   
  Type:  bug  | Status:  closed  
  Priority:  highest  |  Milestone:  7.4.1   
 Component:  Compiler |Version:  7.3 
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Runtime performance bug  | Difficulty:  Unknown 
  Testcase:   |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by igloo):

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


Comment:

 HEAD and 7.4 now have rules for all Integer functions except those that
 don't take Integers as arguments (because we don't have a good way to
 write those rules yet).

 That includes all the functions mentioned in this ticket.

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
---+
  Reporter:  gracjan   |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  libraries/base|Version:  6.12.3  
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Runtime crash | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+

Comment(by igloo):

 Replying to [comment:33 iustin]:
 > Replying to [comment:31 igloo]:
 > > This isn't a regression, so let's punt it to 7.6.
 >
 > It's not a regression, but IMHO it's a security bug.

 I don't think a DoS is as bad a problem as the phrase "security bug"
 implies.

 > As such, it should be fixed even in lower versions, not only in a future
 one!

 We're not set up to be able to make releases on old branches.

 > I might overreact (sorry) but dragging the feet on such issues make it
 hard to promote the use of Haskell…

 Well, pragmatically speaking, currently we're past the feature freeze and
 into the RC phase (so ideally wouldn't be changing the definition of `Read
 Integer` etc), the release is already long overdue, and we don't have a
 good fix yet.

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
---+
  Reporter:  gracjan   |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  libraries/base|Version:  6.12.3  
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Runtime crash | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+

Comment(by iustin):

 Replying to [comment:31 igloo]:
 > This isn't a regression, so let's punt it to 7.6.

 It's not a regression, but IMHO it's a security bug. As such, it should be
 fixed even in lower versions, not only in a future one!

 I might overreact (sorry) but dragging the feet on such issues make it
 hard to promote the use of Haskell…

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
---+
  Reporter:  gracjan   |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  libraries/base|Version:  6.12.3  
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Runtime crash | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+

Comment(by maeder):

 Looking at the patch, it seems that the old `Rat` constructor is unused
 and fractionals are treated as if "e0" had been appended, causing the
 (unfortunate) exponent change.

-- 
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] #5748: ghci segfault on OS X after dlsym failed lookup

[GHC]

#5748: ghci segfault on OS X after dlsym failed lookup
-+--
Reporter:  gwright   |   Owner:  igloo 
Type:  bug   |  Status:  patch 
Priority:  highest   |   Milestone:  7.4.1 
   Component:  GHCi  | Version:  7.2.1 
Keywords:|  Os:  MacOS X   
Architecture:  Unknown/Multiple  | Failure:  GHCi crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by simonmar):

  * owner:  gwright => igloo
  * priority:  normal => highest
  * milestone:  => 7.4.1


Comment:

 Ian, could you commit this patch 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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
---+
  Reporter:  gracjan   |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  highest   |  Milestone:  7.6.1   
 Component:  libraries/base|Version:  6.12.3  
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  Runtime crash | Difficulty:  Unknown 
  Testcase:|  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

  * owner:  igloo =>
  * status:  patch => new
  * milestone:  7.4.1 => 7.6.1


Comment:

 This isn't a regression, so let's punt it to 7.6.

-- 
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] #5748: ghci segfault on OS X after dlsym failed lookup

[GHC]

#5748: ghci segfault on OS X after dlsym failed lookup
-+--
Reporter:  gwright   |   Owner:  gwright   
Type:  bug   |  Status:  patch 
Priority:  normal|   Milestone:
   Component:  GHCi  | Version:  7.2.1 
Keywords:|  Os:  MacOS X   
Architecture:  Unknown/Multiple  | Failure:  GHCi crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--

Comment(by gwright):

 Replying to [comment:9 simonmar]:
 > Thanks, I'll look at your patch.
 >
 > It's hard to know whether `.hs-boot` files are causing your missing
 symbol, but if all you're doing is compiling a library and loading it into
 GHCi, a missing symbol definitely indicates a bug in GHC.  Can you reduce
 the example as much as possible and attach it?

 It seems that the original bug is not a bug, but an infelicity in cabal.
 The library is built using cabal.  Cabal compiles all of the modules, but
 if a module is left off the {{{Other-modules}}} list, it isn't linked.
 This causes the unresolved symbol.  I had been refactoring the modules in
 my library and hadn't noticed that one was left off the {{{Other-
 modules}}} list.

 It's annoying that cabal doesn't produce a warning when it fails to link a
 module that has been compiled.  However, the only real bug here --- the
 linker segfault --- is fixed by the patch.  When the patch is applied this
 ticket can be closed.

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
-+--
Reporter:  gracjan   |   Owner:  igloo   
Type:  bug   |  Status:  patch   
Priority:  highest   |   Milestone:  7.4.1   
   Component:  libraries/base| Version:  6.12.3  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Runtime crash   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by maeder):

 I think, eventually we want to reject "e-Notation" for rationals "at the
 prompt" (which is harder if already fractionals are represented via
 `Exp`).

 (And the read instance for rationals should accept the decimal point
 only.)

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
-+--
Reporter:  gracjan   |   Owner:  igloo   
Type:  bug   |  Status:  patch   
Priority:  highest   |   Milestone:  7.4.1   
   Component:  libraries/base| Version:  6.12.3  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Runtime crash   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by maeder):

 I'm not happy, too. Representing all fractionals via `Exp` has some
 drawbacks. What does your patched `q` give for "420.0"?

 {{{
 Prelude> 4.200 * 10 ** 2
 420.0
 Prelude> 4200 * 10 ** (-5)
 420.06
 }}}

 I more liked Daniel's proposal: replacing the `Rat Rational` constructor
 with e.g. `RatExp Rational (Maybe Integer)`.

 Another point is, how such a literal is displayed in error messages by the
 patched ghc?

 {{{
 Prelude> 10.0 :: Integer
 }}}

-- 
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] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation

[GHC]

#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash 
due
to exponential notation
-+--
Reporter:  gracjan   |   Owner:  igloo   
Type:  bug   |  Status:  patch   
Priority:  highest   |   Milestone:  7.4.1   
   Component:  libraries/base| Version:  6.12.3  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  Runtime crash   
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by simonmar):

 I was under the impression it wouldn't change anything, that looks
 suspicious to me.

-- 
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] #5763: Confusing error message

[GHC]

#5763: Confusing error message
-+--
Reporter:  simonpj   |   Owner: 
Type:  bug   |  Status:  new
Priority:  high  |   Milestone:  7.6.1  
   Component:  Compiler  | Version:  7.2.2  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown   
  Difficulty:  Unknown   |Testcase:  indexed-types/should_fail/T5763
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by simonpj):

  * testcase:  indexed-types/should_fail/T4272 => indexed-
   types/should_fail/T5763


-- 
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] #5763: Confusing error message

[GHC]

#5763: Confusing error message
-+--
Reporter:  simonpj   |   Owner: 
Type:  bug   |  Status:  new
Priority:  high  |   Milestone:  7.6.1  
   Component:  Compiler  | Version:  7.2.2  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown   
  Difficulty:  Unknown   |Testcase:  indexed-types/should_fail/T4272
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by simonpj):

  * priority:  normal => high


Comment:

 I'll make it high priority to make sure I look at it for 7.6.  But it's
 not really that serious.

-- 
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] #5763: Confusing error message

[GHC]

#5763: Confusing error message
-+--
Reporter:  simonpj   |   Owner: 
Type:  bug   |  Status:  new
Priority:  normal|   Milestone:  7.6.1  
   Component:  Compiler  | Version:  7.2.2  
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  None/Unknown   
  Difficulty:  Unknown   |Testcase:  indexed-types/should_fail/T4272
   Blockedby:|Blocking: 
 Related:|  
-+--
 For test `indexed-types/should_fail/T4272` we get this type error
 {{{
 T4272.hs:11:16:
 Occurs check: cannot construct the infinite type:
   x0 = TermFamily x0 x0
 Expected type: TermFamily x0 x0
   Actual type: TermFamily a a
 In the first argument of `prune', namely `t'
 In the expression: prune t (terms (undefined :: TermFamily a a))
 In an equation for `laws':
 laws t = prune t (terms (undefined :: TermFamily a a))
 }}}
 It's not at all obvious why unifying `(TermFamily x0 x0)` with
 `(TermFamily a a)` should yield an occurs check. Especially as
 `TermFamily` is a type function with arity 1, and `x0` is a unification
 variable.  So the natural way to solve this constraint would be to unify
 `x0` with `a`, and then the constraint is satisfied.

 What goes wrong is that there is ''another'' insolube constraint (which is
 also reported):
 {{{
 T4272.hs:11:19:
 Could not deduce (a ~ TermFamily x0 x0)
 from the context (TermLike a)
   bound by the type signature for
  laws :: TermLike a => TermFamily a a -> b
   at T4272.hs:11:1-54
   `a' is a rigid type variable bound by
   the type signature for laws :: TermLike a => TermFamily a a -> b
   at T4272.hs:11:1
 In the return type of a call of `terms'
 In the second argument of `prune', namely
   `(terms (undefined :: TermFamily a a))'
 In the expression: prune t (terms (undefined :: TermFamily a a))
 }}}
 The constraint solver finds this latter constraint, can't solve it, ''but
 still uses it to simplify the first one'', by substituting `(TermFamily x0
 x0)` for `a`; and that is what gives the occurs check error.

 I don't think that we should use ''insoluble'' constraints to rewrite
 unsolved constraints.  But it's delicate, so I am not trying to fiddle
 right now. Hence making this ticket.

 (Incidentally, it's not a regression; it's been like this forever.)

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