Re: [GHC] #5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation
#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation -+-- Reporter: gracjan | Owner: 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 iustin): Replying to [comment:10 simonmar]: I'm in favour of getting a fix for this into 7.4.1, given that it has security/DOS implications. Hi, Since this can be a security issue, I'd recommend also issuing patches that apply to older compilers, so that distributions can apply them/make a security advisory/etc. No need for a full release of (e.g.) ghc 6.12, but a blessed patch for it would be welcome. I'm picking on 6.12 mostly as Debian stable and Ubuntu Lucid (LTS) ship it. thanks! -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5688#comment:19 GHC http://www.haskell.org/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
#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation -+-- Reporter: gracjan | Owner: 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:| -+-- Changes (by iustin): * cc: iustin@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5688#comment:20 GHC http://www.haskell.org/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
#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash
due
to exponential notation
-+--
Reporter: gracjan | Owner:
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):
Before you call read for Integer you can/should check if your string has
at least one and only digits. Calling read is currently just as risky as
calling {{{^}}} yourself.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5688#comment:21
GHC http://www.haskell.org/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] #5698: GHC API no longer exports CoreModule
#5698: GHC API no longer exports CoreModule -+-- Reporter: afarmer | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 7.4.1 Component: GHC API | Version: 7.2.1 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonmar): * owner: = simonmar * difficulty: = Unknown * priority: normal = high * milestone: = 7.4.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5698#comment:1 GHC http://www.haskell.org/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: primitive-0.4.0.1 panic
#5697: primitive-0.4.0.1 panic -+-- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.0.3 Resolution: worksforme | Keywords: panic Os: Windows | Architecture: x86 Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: -+-- Changes (by simonmar): * status: new = closed * difficulty: = Unknown * version: 7.2.1 = 7.0.3 * resolution: = worksforme Comment: Works for me with 7.0.4 on Windows. Could you try a later version and reopen the ticket if you can still reproduce it? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5697#comment:2 GHC http://www.haskell.org/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
#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash
due
to exponential notation
-+--
Reporter: gracjan | Owner:
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 iustin):
Replying to [comment:21 maeder]:
Before you call read for Integer you can/should check if your string has
at least one and only digits. Calling read is currently just as risky as
calling {{{^}}} yourself.
I'm sorry, unless I misunderstood what you meant, this is not an
acceptable workaround except in trivial programs. This breaks any complex
data structure that has Int/Integer/Rational fields, and it also breaks
any libraries which assume that converting a string to an int is safe. For
example, it also affects Text.JSON:
{{{
Prelude Text.JSON decode 12e1 :: Result Int
… hangs …
}}}
or the Aeson library:
{{{
Prelude Data.Aeson decode [12e1] :: Maybe [Int]
… hangs too …
}}}
So no, telling people that suddenly read is no longer safe and you have
to do manual checks on its input depending on intended result type is not
acceptable; this needs to be fixed at compiler level and also, IMHO, the
fix backported to previous versions.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5688#comment:22
GHC http://www.haskell.org/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
#5688: instance Read Integer/Rational/Double readsPrec out of memory and crash due to exponential notation -+-- Reporter: gracjan | Owner: 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): In this case the *son people may look at my code in: http://hackage.haskell.org/packages/archive/parsec-numbers/0.0.2/doc/html /Text-ParserCombinators-Parsec-Number.html -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5688#comment:24 GHC http://www.haskell.org/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] #5698: GHC API no longer exports CoreModule
#5698: GHC API no longer exports CoreModule
-+--
Reporter: afarmer | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: GHC API | Version: 7.2.1
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by marlowsd@…):
commit ac051fc05f6aab261d56d22261f4cb9c2cb1f474
{{{
Author: Simon Marlow marlo...@gmail.com
Date: Wed Dec 14 09:34:49 2011 +
Export CoreModule(..) (#5698)
compiler/main/GHC.hs |7 +--
1 files changed, 5 insertions(+), 2 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5698#comment:2
GHC http://www.haskell.org/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] #5698: GHC API no longer exports CoreModule
#5698: GHC API no longer exports CoreModule -+-- Reporter: afarmer | Owner: simonmar Type: bug | Status: merge Priority: high | Milestone: 7.4.1 Component: GHC API | Version: 7.2.1 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonmar): * status: new = merge Comment: Thanks! -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5698#comment:3 GHC http://www.haskell.org/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] #5699: Use sharing in the Alternative instance of Maybe
#5699: Use sharing in the Alternative instance of Maybe
--+-
Reporter: basvandijk| Owner:
Type: feature request | Status: new
Priority: normal| Component: libraries/base
Version: 7.2.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby:| Blocking:
Related:|
--+-
The `|` method of the `Alternative` instance of `Maybe` does not share
its first argument when it could:
{{{
instance Alternative Maybe where
empty = Nothing
Nothing | p = p
Just x | _ = Just x
}}}
I propose to share this argument:
{{{
instance Alternative Maybe where
empty = Nothing
Nothing | r = r
l | _ = l
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5699
GHC http://www.haskell.org/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] #5700: TH: InlinePs inside InstanceD are handled inconsistently
#5700: TH: InlinePs inside InstanceD are handled inconsistently
+---
Reporter: mikhail.vorozhtsov | Owner:
Type: bug | Status: new
Priority: normal | Component: Template Haskell
Version: 7.3 | Keywords:
Os: Unknown/Multiple| Architecture: Unknown/Multiple
Failure: None/Unknown| Testcase:
Blockedby: | Blocking:
Related: |
+---
Consider the following modules:
{{{
module Base where
class C a where
inlinable :: a - ()
}}}
{{{
{-# LANGUAGE TemplateHaskell #-}
module TH where
import Language.Haskell.TH
import Base
mkC :: Name - Q [Dec]
mkC n = return
[InstanceD [] (AppT (ConT ''C) (ConT n))
[ FunD 'inlinable [Clause [WildP] (NormalB (ConE '())) []]
]
]
}}}
{{{
{-# LANGUAGE TemplateHaskell #-}
module Use where
import TH
data D = D
$(mkC ''D)
}}}
which compile just fine with GHC. Lets throw in an InlineP pragma after
the FunD:
{{{
PragmaD (InlineP 'inlinable (InlineSpec True False Nothing))
}}}
Sadly, this results in an error:
{{{
Use.hs:9:3:
`Base.inlinable' is not a (visible) method of class `Base.C'
}}}
or, with 7.2.1:
{{{
Use.hs:9:3:
The INLINE pragma for `Base.inlinable'
lacks an accompanying binding
}}}
OK, another try with
{{{
PragmaD (InlineP (mkName inlinable) (InlineSpec True False Nothing))
}}}
Still a no-go in 7.3.2030 (but accepted by 7.2.1):
{{{
Use.hs:9:3: `inlinable' is not a (visible) method of class `Base.C'
}}}
Finally, I was able to satisfy GHC by importing Base into Use.
I think that names in FunD and PragmaD should be treated uniformly (i.e.
using 'inlinable works/fails in both cases. I'd prefer it works, without
importing Base).
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5700
GHC http://www.haskell.org/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] #5684: ghc: panic! (the 'impossible' happened) (ghc 7.2.2)
#5684: ghc: panic! (the 'impossible' happened) (ghc 7.2.2) +--- Reporter: selinger| Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.2.1 | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Compile-time crash | Testcase: Blockedby: | Blocking: Related: | +--- Changes (by dimitris): * cc: dimitris@… (added) Comment: OK in HEAD it seems the panic has gone but the file has type errors. Is the following what you expected?: /home/dimitris/extra-investigations/Bug.hs:49:22: Couldn't match type `[]' with `(-) Int' When using functional dependencies to combine Myclass [a] [qa] [ca], arising from the dependency `a - qa' in the instance declaration at /home/dimitris/extra- investigations/Bug.hs:16:10 Myclass [Bool] (Int - Int) cb, arising from a use of `fun1' at /home/dimitris/extra-investigations/Bug.hs:49:22-25 In the expression: fun1 (fun8 5) (a, b, False) In a pattern binding: (a', b', m') = fun1 (fun8 5) (a, b, False) dimitris@cam-04-unx:/64playpen/dimitris/GHC-HEAD/ghc$ -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5684#comment:2 GHC http://www.haskell.org/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] #5701: SafeHaskell causes deepseq to fail to compile
#5701: SafeHaskell causes deepseq to fail to compile
--+-
Reporter: tibbe | Owner: dterei
Type: bug | Status: new
Priority: normal| Component: Compiler
Version: 7.3 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby:| Blocking:
Related:|
--+-
SafeHaskell still affects users who haven't opted in to using it. Using
the ghc-7.4 branch:
{{{
$ cabal install -w /Users/tibell/src/ghc/inplace/bin/ghc-stage2
Configuring deepseq-1.2.0.1...
Preprocessing library deepseq-1.2.0.1...
Building deepseq-1.2.0.1...
[1 of 1] Compiling Control.DeepSeq ( Control/DeepSeq.hs,
dist/build/Control/DeepSeq.o )
Control/DeepSeq.hs:56:1:
array-0.3.0.3:Data.Array can't be safely imported! The module itself
isn't safe.
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5701
GHC http://www.haskell.org/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: primitive-0.4.0.1 panic
#5697: primitive-0.4.0.1 panic -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler|Version: 7.0.3 Resolution: | Keywords: panic Os: Windows | Architecture: x86 Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: -+-- Changes (by guest): * status: closed = new * resolution: worksforme = Comment: Loading package primitive-0.4.0.1 ... ghc.exe: panic! (the 'impossible' happened ) (GHC version 7.0.4 for i386-unknown-mingw32): loadObj C:\\Users\\\1053\1077 \1047\1086\1103\\AppData\\Roaming\\cabal\ \primitive-0.4.0.1\\ghc-7.0.4\\HSprimitive-0.4.0.1.o: failed -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5697#comment:3 GHC http://www.haskell.org/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: primitive-0.4.0.1 panic
#5697: primitive-0.4.0.1 panic -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler|Version: 7.0.3 Resolution: | Keywords: panic Os: Windows | Architecture: x86 Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: -+-- Comment(by guest): Just try cabal install agda-executable -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5697#comment:4 GHC http://www.haskell.org/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] #5684: ghc: panic! (the 'impossible' happened) (ghc 7.2.2)
#5684: ghc: panic! (the 'impossible' happened) (ghc 7.2.2) +--- Reporter: selinger| Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.2.1 | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Compile-time crash | Testcase: Blockedby: | Blocking: Related: | +--- Comment(by selinger): Yes, the type error is about right. Were you able to reproduce this in 7.2.2? The bug seems to be unstable, i.e., small changes in the source code make it go away. So it may be okay in HEAD because whatever the problem was has been fixed (which would be great), or because HEAD compiles some things in a slightly different order (in which case the bug may still be present, and may just not manifest with this particular example). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5684#comment:3 GHC http://www.haskell.org/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] #5701: SafeHaskell causes deepseq to fail to compile
#5701: SafeHaskell causes deepseq to fail to compile --+- Reporter: tibbe | Owner: dterei Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Testcase: Blockedby:| Blocking: Related:| --+- Comment(by dterei): hmm thats worrying, I'll take a look at it asap -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5701#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Documentation Bug?
The link on http://www.haskell.org/ghc/docs/latest/html/users_guide/hpc.html to http://www.haskell.org/hpc seems to be broken. ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5659: hsc2hs should add explicit type annotations to peeks and pokes
#5659: hsc2hs should add explicit type annotations to peeks and pokes --+- Reporter: ezyang | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: hsc2hs |Version: 7.0.2 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Difficulty: Testcase: | Blockedby: Blocking: |Related: --+- Changes (by PHO): * cc: pho@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5659#comment:3 GHC http://www.haskell.org/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] #5702: Can't vectorise pattern matching on numeric literals
#5702: Can't vectorise pattern matching on numeric literals
--+-
Reporter: chak | Owner: chak
Type: bug | Status: new
Priority: normal| Component: Data Parallel Haskell
Version: 7.3 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby:| Blocking:
Related:|
--+-
Trying to vectorise
{{{
toBool :: Int - Bool
toBool 0 = False
toBool _ = True
}}}
we get
{{{
*** Vectorisation error ***
Can't vectorise expression GHC.Prim.Int#
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5702
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
