Re: [GHC] #5987: Too many symbols in ghc package DLL
#5987: Too many symbols in ghc package DLL -+-- Reporter: igloo | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.5 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: 3658 Related:| -+-- Comment(by simonmar): Replying to [comment:13 duncan]: Have we looked into whether we can avoid exporting so many symbols by hiding all package-internal symbols. My intuition is that there must be lots of them that are only needed for intra-package linkage and are not needed in the external interface. The only symbols that should need to be external are the ones for things accessable via the .hi files of the exposed modules. Though if basically every module is exposed then that would not help much. We should do this, but it wouldn't help in the case of the GHC package: as you say, every module is exposed. It would be good to have a per-module flag to say this is a hidden module, and then we could give the symbols the correct linker hint so that they don't populate the .so file's symbol table. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5987#comment:14 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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions --+- Reporter: guest| Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) |Version: 7.6.1 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Difficulty: Unknown Testcase: T7453| Blockedby: Blocking: |Related: --+- Changes (by simonpj): * status: new = closed * resolution: = wontfix Comment: Well this is embarrassing. It looks as if there's been a missing (or missed) skolem-escape check in GHC for a long time. I re-engineered and simplified the bit that deals with inferring types for bindings, after 7.6, so I expect that's what has fixed it. I'm not very keen on peering into the bowels of 7.6 to find out what is going on, though; it's clearly not that easy to trip over if it's been around for so long without anyone noticing. If you are worried about security, use `-dcore-lint`, which picks up the bug right away. So for now I'll mark it as wont-fix meaning fixed in HEAD, wont-fix in 7.6. Is that acceptable? Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:11 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] #7361: Segmentation fault on 5f37e0c71ff4af8539c5aebc739b006b4f0c6ebf
#7361: Segmentation fault on 5f37e0c71ff4af8539c5aebc739b006b4f0c6ebf -+-- Reporter: bgamari | Owner: simonmar Type: bug | Status: infoneeded Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime crash Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonmar): * status: new = infoneeded Comment: Tried again today, and it still doesn't reproduce for me on x86_64/Linux. I'll need all the information about your specific setup to reproduce it: `build.mk`, exact version of every dependent package (I had to modify `mersenne-random-pure64` to get it to build, removing the import of `GHC.IOBase`), and any relevant `.cabal/config` settings. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7361#comment:16 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] #7368: kindFunResult panic in the
#7368: kindFunResult panic in the
+---
Reporter: ChrisN | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 7.6.1
Keywords: Kinds, kindfunresult | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown |Testcase:
typecheck/should_fail/T7368
Blockedby: |Blocking:
Related: |
+---
Comment(by arkeet):
I don't know if this should be a separate bug, but the following (ill-
typed) code produces the same error, both on 7.6.1 and on HEAD:
{{{
{-# LANGUAGE Rank2Types #-}
newtype Bad f = Bad (forall a. (f a - a))
fun :: f (Bad f) - Bad f
fun (Bad x) = Bad x
}}}
{{{
[1 of 1] Compiling Main ( bad.hs, bad.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.7.20121127 for x86_64-unknown-linux):
kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7368#comment:5
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] #7368: kindFunResult panic in the
#7368: kindFunResult panic in the +--- Reporter: ChrisN | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.1 Keywords: Kinds, kindfunresult | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Compile-time crash Difficulty: Unknown |Testcase: typecheck/should_fail/T7368 Blockedby: |Blocking: Related: | +--- Comment(by simonpj): Ugh. So it does. I'll investigate. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7368#comment:6 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] #7455: ghc panic on show
#7455: ghc panic on show
---+
Reporter: fegu| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords: panic show Show
Os: Windows | Architecture: x86
Failure: Compile-time crash | Blockedby:
Blocking: |Related:
---+
--- ghccrash.hs
main = do
putStrLn Minimal compiler bug example
data VariationInfo = Variation{
somefield :: Bool
} deriving (show) -- set small s in show to crash ghc 7.4.1
--- OUTPUT:
D:\Prosjekt.FE\Haskellghc ghccrash.hs
[1 of 1] Compiling Main ( ghccrash.hs, ghccrash.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.1 for i386-unknown-mingw32):
nameModule show{tv a9M}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7455
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] #7455: ghc panic on show
#7455: ghc panic on show +--- Reporter: fegu |Owner: Type: bug | Status: closed Priority: normal |Component: Compiler Version: 7.4.1| Resolution: duplicate Keywords: panic show Show | Os: Windows Architecture: x86 | Failure: Compile-time crash Blockedby: | Blocking: Related: | +--- Changes (by monoidal): * status: new = closed * resolution: = duplicate Comment: This is a duplicate of the bug #5961. It is already fixed in GHC 7.6. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7455#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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions --+- Reporter: guest| Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) |Version: 7.6.1 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Difficulty: Unknown Testcase: T7453| Blockedby: Blocking: |Related: --+- Comment(by simonmar): Hmm, now that we have Safe Haskell, bugs that expose holes in the type system are more serious. I don't think we ought to leave this unfixed in 7.6.2. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:12 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] #7456: GHC API displays linker messages to stdout instead of via log_action
#7456: GHC API displays linker messages to stdout instead of via log_action
+---
Reporter: MikolajKonarski | Owner: duncan, MikolajKonarski
Type: bug | Status: new
Priority: normal | Component: GHC API
Version: 7.4.2| Keywords:
Os: Linux| Architecture: x86_64 (amd64)
Failure: Other| Blockedby:
Blocking: |Related:
+---
At least in the LinkInMemory mode, GHC API displays linker messages, such
as
{{{
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
}}}
on stdout instead of using the log_action handler for them, just as for
all the other kinds of messages. Moreover, I haven't found any way of
suppressing these messages apart of setting verbosity=0, which turns off
other important messages. I can see no GHC flags that does this and this
linker does not accept any special linker flags. I don't know the policy
about severity levels, but I suppose severity SevOutput could be fine for
these messages, by similarity to compiling M ... done. messages which
have such severity.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7456
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] #7457: printf's * doesn't like negative numbers
#7457: printf's * doesn't like negative numbers
-+--
Reporter: elaforge | Owner:
Type: bug | Status: new
Priority: normal| Component: libraries/base
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking:|Related:
-+--
Text.Printf.printf has a bug where it doesn't like negative numbers for *
modifiers:
{{{
Prelude Text.Printf printf %*sx\n (-3) hi
hix
}}}
In the C printf, this would be
{{{
hi x
}}}
From looking at the source, it's a pretty easy bug to fix. Patch
attached. I also included a patch to turn the mixed tabs and spaces into
just spaces since I hate that stuff.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7457
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] #7458: ghc panic
#7458: ghc panic
---+
Reporter: timsears| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords:
Os: Linux | Architecture: x86
Failure: Compile-time crash | Blockedby:
Blocking: |Related:
---+
As ghc requested I am reporting this...
All I can say right now is that I am tracking down a bug involving
overlapping instances.
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.1 for i386-unknown-linu
tcTyVarDetails
( t{tv acw0} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7458
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] #7458: ghc panic
#7458: ghc panic ---+ Reporter: timsears| Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.4.1 | Keywords: Os: Linux | Architecture: x86 Failure: Compile-time crash | Blockedby: Blocking: |Related: ---+ Comment(by timsears): I should be clear. This happened while I was tracking down a bug involving overlapping instances in MY code. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7458#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
