Re: [GHC] #7231: GHCi erroneously unloads modules after a failed :reload
#7231: GHCi erroneously unloads modules after a failed :reload
-+--
Reporter: parcs | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 7.6.2
Component: GHCi | Version: 7.6.1
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Compile-time performance bug
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by marlowsd@…):
commit 086d7c54f5bddbc9e5d94a9ae9c4b5aeeab53a35
{{{
Author: Simon Marlow marlo...@gmail.com
Date: Tue Nov 27 08:55:31 2012 +
Fix #7231: don't unload stable modules when there is an error later
compiler/main/GhcMake.hs | 17 -
1 files changed, 12 insertions(+), 5 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7231#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] #7231: GHCi erroneously unloads modules after a failed :reload
#7231: GHCi erroneously unloads modules after a failed :reload ---+ Reporter: parcs | Owner: simonmar Type: bug | Status: closed Priority: high | Milestone: 7.6.2 Component: GHCi |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time performance bug | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by simonmar): * status: new = closed * resolution: = fixed -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7231#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
Re: [GHC] #7231: GHCi erroneously unloads modules after a failed :reload
#7231: GHCi erroneously unloads modules after a failed :reload ---+ Reporter: parcs | Owner: simonmar Type: bug | Status: merge Priority: high | Milestone: 7.6.2 Component: GHCi |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time performance bug | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by simonmar): * status: closed = merge -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7231#comment:7 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: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.1| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: |Related: +--- Changes (by PHO): * cc: pho@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions
+---
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1| Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Blockedby:
Blocking: |Related:
+---
Comment(by ekmett):
You don't even need a newtype:
{{{
ghci let unsafeCoerce v = z () where z :: () - v; z = aux where aux =
const v
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions
+---
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1| Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Blockedby:
Blocking: |Related:
+---
Comment(by pumpkin):
You don't even need to use the aux (the where block must be there, and do
that, though):
{{{
let unsafeCoerce v = z () where z :: () - v; z = const v where _ = const
v
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions
+---
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1| Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Blockedby:
Blocking: |Related:
+---
Changes (by ekmett):
* cc: ekmett@… (added)
Comment:
z can be simplified
{{{
let unsafeCoerce v = z where z :: v; z = v where aux = const v
}}}
Note: this doesn't happen if you use {{{aux _ = v}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#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] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions +--- Reporter: guest| Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.1| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: |Related: +--- Changes (by ion1): * cc: haskell.org@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#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
Re: [GHC] #7453: unsafe coerce without extensions
#7453: unsafe coerce without extensions
+---
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.1| Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC accepts invalid program | Blockedby:
Blocking: |Related:
+---
Comment(by ion1):
This has some security implications as well.
{{{
% mueval -e 'let unsafeCoerce v = z where z :: v; z = v where aux = const
v in (unsafeCoerce (putStrLn evil IO action) :: () - ()) ()'
evil IO action
()
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:7
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] #7454: Missing warning about redundant import of classes/types whose members are used
#7454: Missing warning about redundant import of classes/types whose members are used -+-- Reporter: EyalLotem | Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- If one module exports a class C(..) with a method m, and another module imports it via: import Module(C, m) And then proceeds to use only m, one would expect to get a warning about the redundant import of C, but that does not occur. Similarly, the same thing happens if one imports a data-type D, and a record field f, and uses only f. No redundant import warning is issued on D. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7454 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] #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 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. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5987#comment:13 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: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.1| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: |Related: +--- Changes (by glguy): * cc: emertens@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:8 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: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.1| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: |Related: +--- Changes (by pumpkin): * cc: pumpkingod@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:9 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: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC accepts invalid program Difficulty: Unknown |Testcase: T7453 Blockedby: |Blocking: Related: | +--- Changes (by igloo): * testcase: = T7453 * difficulty: = Unknown Comment: Added as a regression test, thanks. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7453#comment:10 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
