Re: [GHC] #7447: Stale .hi files affect compilation.
#7447: Stale .hi files affect compilation.
---+
Reporter: int-e | Owner:
Type: bug | Status: new
Priority: high| Milestone: 7.6.2
Component: Compiler| Version: 7.6.1
Keywords: | Os: Linux
Architecture: x86_64 (amd64) | Failure: Incorrect warning at compile-time
Difficulty: Unknown |Testcase:
Blockedby: |Blocking:
Related: |
---+
Changes (by simonmar):
* priority: normal = high
* difficulty: = Unknown
* milestone: = 7.6.2
* failure: None/Unknown = Incorrect warning at compile-time
Comment:
Reproduced, and it still happens with HEAD. Here's the relevant bit:
{{{
echo 'module Peaker(L(..)) where{ data V = V {-# UNPACK #-} !L; data L =
L V }' Peaker.hs
ghc -fforce-recomp -O1 Peaker.hs
[1 of 1] Compiling Peaker ( Peaker.hs, Peaker.o )
Peaker.hs:1:38: Warning:
Ignoring unusable UNPACK pragma on the first argument of `V'
In the definition of data constructor `V'
In the data declaration for `V'
ghc -fforce-recomp -O1 Peaker.hs
[1 of 1] Compiling Peaker ( Peaker.hs, Peaker.o )
}}}
The warning should have been produced the second time.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7447#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] #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| Milestone: 7.8.1 Component: libraries/base| Version: 7.6.1 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonmar): * cc: augustss (added) * difficulty: = Unknown * milestone: = 7.8.1 Comment: Looking at the patch, it appears to remove some deliberate checks. CC'ing Lennart, who wrote the code. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7457#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] #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 guest): Can you paste the code causing the crash? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7458#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] #7458: ghc panic
#7458: ghc panic -+-- Reporter: timsears | Owner: Type: bug | Status: infoneeded Priority: normal| Milestone: Component: Compiler | Version: 7.4.1 Keywords:| Os: Linux Architecture: x86 | Failure: Compile-time crash Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonpj): * status: new = infoneeded * difficulty: = Unknown Comment: Hard to do anything without more info. There are various tickets involving `tcTyVarDetails` (as you can see with a quick search), some of them fixed, so I'm guessing it's one of those. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7458#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] #7351: showRichTokenStream has an off-by one error on starting col
#7351: showRichTokenStream has an off-by one error on starting col ---+ Reporter: alanz | Owner: simonmar Type: bug | Status: closed Priority: normal| Milestone: 7.6.2 Component: GHC API |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: I think we're better off not merging this: if we do, then any workarounds people implement for 7.6.1 will mean that they-re off-by-one in the other direction with 7.6.2. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7351#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] #7384: Panic ctEvTerm when using functional dependencies and PolyKinds
#7384: Panic ctEvTerm when using functional dependencies and PolyKinds -+-- Reporter: goldfire| Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.7 Resolution: fixed | Keywords: FunctionalDependencies PolyKinds Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: None/Unknown| Difficulty: Unknown Testcase: typecheck/should_compile/T7384 | Blockedby: Blocking: |Related: -+-- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Didn't apply cleanly, so not merging. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7384#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] #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 igloo): * status: merge = closed Comment: Merged as 772e6d20bcac691bcfe8528829d6ed100fd701bb -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7231#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] #7303: RTS : Race condition with usage of timer_delete
#7303: RTS : Race condition with usage of timer_delete --+- Reporter: erikd| Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler |Version: 7.7 Resolution: fixed| Keywords: Os: Linux| Architecture: Unknown/Multiple Failure: Building GHC failed | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 162b87dfc610efa54ce3276e9a1e90b9dcb141a7 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7303#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] #5407: ghc-7.2.1 build failed on sparc solaris with non-GNU linker
#5407: ghc-7.2.1 build failed on sparc solaris with non-GNU linker --+- Reporter: maeder | Owner: igloo Type: bug | Status: closed Priority: high | Milestone: 7.6.2 Component: Compiler |Version: 7.6.1 Resolution: fixed| Keywords: Os: Solaris | Architecture: sparc Failure: Building GHC failed | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 09894b0af6569ebb19ddaa16dd1bc564b46d7959. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5407#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] #7318: CONLIKE pragma documentation bug
#7318: CONLIKE pragma documentation bug +--- Reporter: acowley| Owner: igloo Type: bug| Status: closed Priority: normal | Milestone: 7.6.2 Component: Documentation |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Documentation bug | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: +--- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 003eb67f3380cd764d1bd6f94413eb0f062626b3 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7318#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] #7321: Compiler hangs when reading interface file
#7321: Compiler hangs when reading interface file ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal| Milestone: 7.6.2 Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: gadt/T7321| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as e7be164fcd44821af9ffd9b8ec0ff2a0529fa6aa -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7321#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] #7338: Duplicate type signature not reported
#7338: Duplicate type signature not reported ---+ Reporter: evincarofautumn | Owner: michalt Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.4.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: x86 Failure: GHC accepts invalid program | Difficulty: Unknown Testcase: rename/should_fail/T7338, T7338a | Blockedby: Blocking:|Related: #5589 ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 55a7aa89e2886232c8581d0978d8db162fbd7c79 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7338#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] #7386: Panic tcTyVarDetails in GHCi when :forcing a data family instance
#7386: Panic tcTyVarDetails in GHCi when :forcing a data family instance --+- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi |Version: 7.6.1 Resolution: fixed| Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHCi crash | Difficulty: Unknown Testcase: ghci.debugger/scripts/T7386 | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as c41ca7980664c73cfbd27b0d9f9c081ecf7dc25c -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7386#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] #7270: Incorrect optimization with Data.ByteString.append
#7270: Incorrect optimization with Data.ByteString.append --+- Reporter: ocheron | Owner: duncan Type: bug | Status: closed Priority: highest | Milestone: 7.6.2 Component: libraries (other)|Version: 7.6.1 Resolution: fixed| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7270#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
Re: [GHC] #7226: bytestring changes in 7.6 branch
#7226: bytestring changes in 7.6 branch +--- Reporter: igloo | Owner: igloo Type: bug| Status: closed Priority: highest| Milestone: 7.6.2 Component: libraries (other) |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: +--- Changes (by igloo): * status: new = closed * resolution: = fixed Comment: We've rolled back -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7226#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] #7459: deriving Generic does not work with TypeLits
#7459: deriving Generic does not work with TypeLits
--+-
Reporter: maxtaldykin| Owner:
Type: bug| Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Blockedby:
Blocking: |Related:
--+-
{{{
{-# LANGUAGE DataKinds, KindSignatures #-}
{-# LANGUAGE DeriveGeneric #-}
import GHC.TypeLits
import GHC.Generics
data F (a :: Symbol)
data X = X (F hello) deriving Generic
}}}
Trying to derive Generics instance for simple datatype with Symbol inside
but GHC complains:
{{{
Can't make a derived instance of `Generic X':
X must not have unlifted or polymorphic arguments
In the data declaration for `X'
}}}
I found that this could be fixed by adding single line to isTauTy:
{{{
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -899,6 +899,7 @@ mkTcEqPred ty1 ty2
isTauTy :: Type - Bool
isTauTy ty | Just ty' - tcView ty = isTauTy ty'
isTauTy (TyVarTy _) = True
+isTauTy (LitTy _)= True
isTauTy (TyConApp tc tys) = all isTauTy tys isTauTyCon tc
isTauTy (AppTy a b) = isTauTy a isTauTy b
isTauTy (FunTy a b) = isTauTy a isTauTy b
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7459
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] #7348: base-4.6 does not export `catch` from Prelude while Control.Exception documentation still claims so
#7348: base-4.6 does not export `catch` from Prelude while Control.Exception documentation still claims so +--- Reporter: Dzhus | Owner: Type: bug| Status: closed Priority: normal | Milestone: 7.6.2 Component: Documentation |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Documentation bug | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: 7167 +--- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as ea7f7ef8621dc7fd19ecb3a5e565d10568e36135 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7348#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] #7349: -fth is deprecated without warning
#7349: -fth is deprecated without warning ---+ Reporter: guest | Owner: simonpj Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: merged as e3667551d764232faff0e5280a1de3c1349e7c4c -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7349#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] #7444: Update documentation regarding derivability of Generic1
#7444: Update documentation regarding derivability of Generic1 ---+ Reporter: spl | Owner: dreixel Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * difficulty: = Unknown * resolution: = fixed Comment: Merged as 066fb9edecb3f293dbab36b87317100722a3c57c -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7444#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] #7438: Tc panic when type declaration is missing
#7438: Tc panic when type declaration is missing ---+ Reporter: heisenbug | Owner: simonpj Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHCi crash| Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 8d8743ae50a4c23c5c221b7a47fd9b69c3bce028 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7438#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] #7356: Building HEAD on Mac OS X 10.5 reports Undefined _pthread_threadid_np ref'd from _kernelThreadId in libHSrts_thr.a(OSThreads.thr_o)
#7356: Building HEAD on Mac OS X 10.5 reports Undefined _pthread_threadid_np ref'd from _kernelThreadId in libHSrts_thr.a(OSThreads.thr_o) -+-- Reporter: thorkilnaur | Owner: igloo Type: bug | Status: patch Priority: normal | Component: Runtime System Version: 7.7 | Keywords: Os: MacOS X | Architecture: x86 Failure: Building GHC failed | Testcase: Blockedby: | Blocking: Related: | -+-- Changes (by spl): * owner: = igloo Comment: Just wondering what the status of this ticket is. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7356#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] #7276: -fdefer-type-errors allows the types of quotations to be coerced, causing segmentation fault
#7276: -fdefer-type-errors allows the types of quotations to be coerced, causing segmentation fault --+- Reporter: parcs| Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler |Version: 7.6.1 Resolution: fixed| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Difficulty: Unknown Testcase: th/T7276, th/T7276b | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 50837615c7e1d1d6b703e99ee7fd8fcf0bfee30c and da26f6c38c22158f698ec75d910ebe4a61923d25 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7276#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
Re: [GHC] #7312: panic! applytTypeToArgs with non-infix function type constructor
#7312: panic! applytTypeToArgs with non-infix function type constructor -+-- Reporter: jwlato | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Compile-time crash | Difficulty: Unknown Testcase: typecheck/should_compile/T7312 | Blockedby: Blocking: |Related: -+-- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 4b295b6ca35e780ba758fc0d02bc789579aeb0fb. Seems to work fine. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7312#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] #7446: GHC -O0 goes into a loop
#7446: GHC -O0 goes into a loop -+-- Reporter: EyalLotem | Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.6.1 | Keywords: Os: Linux | Architecture: x86 Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Comment(by maxtaldykin): possible duplicate #7310 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7446#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] #7294: -fdefer-type-errors doesn't produce a warning
#7294: -fdefer-type-errors doesn't produce a warning --+- Reporter: Feuerbach| Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) |Version: 7.6.1 Resolution: fixed| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Difficulty: Unknown Testcase: gadt/T7293, T7294| Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed Comment: Not worth merging, I think -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7294#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
Re: [GHC] #7328: Seemingly inappropriate expecting one more argument error in polykinded class
#7328: Seemingly inappropriate expecting one more argument error in polykinded class +--- Reporter: illissius | Owner: Type: bug| Status: closed Priority: normal | Milestone: Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Difficulty: Unknown Testcase: polykinds/T7328| Blockedby: Blocking: |Related: +--- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Several conflicts, so not merging. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7328#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] #7341: Kind inference does not propagate annotations on associated types
#7341: Kind inference does not propagate annotations on associated types ---+ Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.7 Resolution: fixed | Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7341 | Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Doesn't merge cleanly, so not merging -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7341#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] #7446: GHC -O0 goes into a loop
#7446: GHC -O0 goes into a loop --+- Reporter: EyalLotem |Owner: Type: bug| Status: closed Priority: normal |Component: Compiler Version: 7.6.1 | Resolution: duplicate Keywords: | Os: Linux Architecture: x86| Failure: None/Unknown Blockedby: | Blocking: Related: | --+- Changes (by EyalLotem): * status: new = closed * resolution: = duplicate Comment: It is a duplicate indeed. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7446#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] #7433: Promoted constructors accepted without flag
#7433: Promoted constructors accepted without flag ---+ Reporter: dreixel | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * difficulty: = Unknown * resolution: = fixed Comment: Merged as 3a6675f57c77b4606c7480c3f3d160bb302634a2 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7433#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] #7272: PolyKinds and mutually recursive modules
#7272: PolyKinds and mutually recursive modules ---+ Reporter: dreixel | Owner: dreixel Type: bug | Status: closed Priority: normal| Milestone: 7.6.2 Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7272 | Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as ed6b56407275d15a8c0b9aede8f90e3f5e0f7281 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7272#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] #7347: Existential data constructors should not be promoted
#7347: Existential data constructors should not be promoted ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7347 | Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca and 29bbb9f538db07ecbc412879f357f16607b2ad65. If another change is desirable, then I think it would be best to open a fresh ticket for it, so people looking at it don't have to trawl through so much history. Hence closing this one. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7347#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] #7451: Constraint and * should not be distinct in FC
#7451: Constraint and * should not be distinct in FC -+-- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: high| Milestone: Component: Compiler|Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: None/Unknown| Difficulty: Unknown Testcase: typecheck/should_compile/T7451 | Blockedby: Blocking: |Related: -+-- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as 19760a20bdbc16c9e5b42fa87ed46451bafd29fb -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7451#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] #7410: Type error says that tuple components have kind (* - *)
#7410: Type error says that tuple components have kind (* - *) +--- Reporter: benl | Owner: Type: bug| Status: closed Priority: normal | Milestone: Component: Compiler (Type checker)|Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: typecheck/should_fail/T7410| Blockedby: Blocking: |Related: +--- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Merged as c9c8b4059aeb2e20ddb4000194dbd44db0c3559d -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7410#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] #7287: Primops in RULES generate warnings
#7287: Primops in RULES generate warnings +--- Reporter: rl | Owner: simonpj Type: bug| Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler |Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: simplCore/should_compile/T7287 | Blockedby: Blocking: |Related: +--- Changes (by igloo): * status: merge = closed Comment: Merged as aa7732c503a5ebc7af5d6bc08a07dd76b878ef8c. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7287#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] #7332: Kind-defaulting omitted leads to deeply obscure type error
#7332: Kind-defaulting omitted leads to deeply obscure type error ---+ Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler |Version: 7.6.1 Resolution:| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7332 | Blockedby: Blocking:|Related: ---+ Changes (by igloo): * status: merge = new -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7332#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] #7332: Kind-defaulting omitted leads to deeply obscure type error
#7332: Kind-defaulting omitted leads to deeply obscure type error ---+ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler |Version: 7.6.1 Resolution:| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7332 | Blockedby: Blocking:|Related: ---+ Changes (by igloo): * owner: = simonpj * milestone: 7.8.1 = 7.6.2 Comment: Simon, could you take a look at fixing this on the 7.6 branch please? (or close it if you don't think it's worth the effort). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7332#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] #2132: Optimise nested comparisons
#2132: Optimise nested comparisons --+- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler |Version: 6.8.2 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime performance bug | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: patch = closed * resolution: = wontfix Comment: If the idea is to implement it as a plugin separate from GHC, then I think we should close the ticket. Thanks for all your work on this though, michalt. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2132#comment:29 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] #7382: Evaluating GHCi expressions is slow following the dynamic-by-default change
#7382: Evaluating GHCi expressions is slow following the dynamic-by-default change --+- Reporter: parcs| Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi |Version: 7.7 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime performance bug | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * owner: igloo = * priority: high = highest * status: patch = new -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7382#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] #6017: Reading ./.ghci files raises security issues
#6017: Reading ./.ghci files raises security issues
-+--
Reporter: nomeata | Owner: pminten
Type: task | Status: patch
Priority: high | Milestone: 7.8.1
Component: GHCi | Version: 7.4.1
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Other
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by igloo):
Hmm, I think there are 5 things we might want to do with a .ghci file:
1. Silently ignore it
2. Silently execute it
3. Warn the user that we are ignoring it
4. Warn the user that we are executing it
5. Ask the user what to do
although I'm not sure (4) is useful. Presumably ghci -v would tell you
anyway.
Perhaps we should have a `~/.ghc/ghci.config` and `~/.ghc/ghc-e.config` in
which you can say one of
{{{
evaluate-dot-ghci: no
evaluate-dot-ghci: yes
evaluate-dot-ghci: warn-no
evaluate-dot-ghci: warn-yes
evaluate-dot-ghci: ask
}}}
and likewise a way to white/blacklist particular paths in those files?
Default should probably be warn-no, and perhaps when creating the file
initially we should by default add an entry whitelisting ~/.ghci?
If we have a way to whitelist filenames, it would be straightforward to
allow filenames other than .ghci to be whitelisted, so for example you
could whitelist /foo/bar/ghci-config if you wanted to have ghci commands
with a non-dotfile filename in a project.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/6017#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] #7460: Double literals generated bad core
#7460: Double literals generated bad core
+---
Reporter: tibbe| Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.2| Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Runtime performance bug | Blockedby:
Blocking: |Related:
+---
The following code results in core containing expression like
`doubleFromInteger (wordToInteger sc_s2pw)`:
{{{
{-# LANGUAGE CPP, BangPatterns #-}
module Main (main) where
#define VDIM 100
#define VNUM 10
import Data.Array.Base
import Data.Array.ST
import Data.Array.Unboxed
import Control.Monad.ST
import GHC.Word
import Control.Monad
import Data.Bits
prng :: Word - Word
prng w = w'
where
!w1 = w `xor` (w `shiftL` 13)
!w2 = w1 `xor` (w1 `shiftR` 7)
!w' = w2 `xor` (w2 `shiftL` 17)
type Vec s = STUArray s Int Double
kahan :: Vec s - Vec s - ST s ()
kahan s c = do
let inner w j
| j VDIM = do
!cj - unsafeRead c j
!sj - unsafeRead s j
let !y = fromIntegral w - cj
!t = sj + y
!w' = prng w
unsafeWrite c j ((t-sj)-y)
unsafeWrite s j t
inner w' (j+1)
| otherwise = return ()
outer i | i VNUM = inner i 0 outer (i + 1)
| otherwise = return ()
outer 0
calc :: ST s (Vec s)
calc = do
s - newArray (0,VDIM-1) 0
c - newArray (0,VDIM-1) 0
kahan s c
return s
main :: IO ()
main = print . elems $ runSTUArray calc
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7460
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] #4496: add a configure build option to use system libffi for Linux
#4496: add a configure build option to use system libffi for Linux --+- Reporter: juhpetersen | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.6.2 Component: Build System |Version: 7.1 Resolution: duplicate| Keywords: Os: Linux| Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: new = closed * resolution: = duplicate Comment: Closing in favour of #5743 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4496#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] #5743: Configurably use system-provided libffi
#5743: Configurably use system-provided libffi -+-- Reporter: nomeata | Owner: trommler Type: feature request | Status: patch Priority: normal| Milestone: 7.6.2 Component: Build System | Version: 7.2.1 Keywords:| Os: Linux Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related: #4496 | -+-- Comment(by igloo): See also #4496 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5743#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
Re: [GHC] #7460: Double literals generated bad core
#7460: Double literals generated bad core
-+--
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.2
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Runtime performance bug
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Changes (by igloo):
* difficulty: = Unknown
Comment:
{{{
[20:48] tibbe Igloo: is the fix for converting small integers to
doubles in
7.4.2? http://hackage.haskell.org/trac/ghc/ticket/6111
[20:49] tibbe Igloo: I'm currently on 7.4.2 and I'm getting
doubleFromInteger (wordToInteger sc_s2pw) in my code
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7460#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] #7460: Double literals generated bad core
#7460: Double literals generated bad core
-+--
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.2
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Runtime performance bug
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by tibbe):
Changing the use of `fromIntegral` to
{{{
word2Double x = D# (int2Double# (word2Int# x))
}}}
works around the issue in my case.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7460#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] #7460: Double literals generated bad core
#7460: Double literals generated bad core
-+--
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.2
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Runtime performance bug
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by tibbe):
Replying to [comment:2 tibbe]:
Changing the use of `fromIntegral` to
{{{
word2Double x = D# (int2Double# (word2Int# x))
}}}
works around the issue in my case.
Except that it doesn't always generate the correct value. The point
remains though, we need an efficient `word2Double` conversion to be
inserted into the core.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7460#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] #7460: Double literals generated bad core
#7460: Double literals generated bad core
-+--
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.2
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Runtime performance bug
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Changes (by daniel.is.fischer):
* cc: daniel.is.fischer@… (added)
Comment:
While we have no real `word2Double#`, would
{{{
{-# RULES
fromIntegral/Word-Double fromIntegral = word2Double
#-}
correction :: Double
correction = 2 * int2Double minBound
word2Double :: Word - Double
word2Double w = case fromIntegral w of
i | i 0 - int2Double i - correction
| otherwise - int2Double i
}}}
(and similar for `Float`) be an acceptable stand-in?
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7460#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
[GHC] #7461: Error messages about do statements contain false information
#7461: Error messages about do statements contain false information
-+--
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:
-+--
When GHC complains about a type-error in a do block, it says, for
example:
{{{
main = putChar $ do
getLine
return 'x'
}}}
Results in an error:
{{{
Couldn't match type `IO Char' with `Char'
Expected type: IO String - IO Char - Char
Actual type: IO String - IO Char - IO Char
In a stmt of a 'do' block: getLine
}}}
I think this error message is pretty directly saying: The '''Actual'''
type of getLine is:
{{{
IO String - IO Char - IO Char
}}}
But that is of course non-sense! It is actually talking about the type of
the (=) binding the getLine to the rest of the statements. But the
(=) is not in the statement at all, so the error message is plainly
wrong.
It would be much better to talk about the type of the entire do block, or
maybe the type of the last stmt in the do block (which is the same).
For example, the error could be replaced by:
{{{
Couldn't match type `IO Char' with `Char'
Expected type: Char
Actual type: IO Char
In a stmt of a 'do' block: return 'x'
}}}
Or by:
{{{
Couldn't match type `IO Char' with `Char'
Expected type: Char
Actual type: IO Char
In 'do' block: `do { getLine;
return 'x' }'
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7461
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] #5743: Configurably use system-provided libffi
#5743: Configurably use system-provided libffi
-+--
Reporter: nomeata | Owner: trommler
Type: feature request | Status: patch
Priority: normal| Milestone: 7.6.2
Component: Build System | Version: 7.2.1
Keywords:| Os: Linux
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related: #4496 |
-+--
Comment(by ian@…):
commit 3005e90936c47c1f71672bf6c84fff20cb14014b
{{{
Author: Ian Lynagh i...@well-typed.com
Date: Thu Nov 29 22:22:39 2012 +
Add configure option to use system provided libffi; fixes #5743
Based on patch from Peter Trommler:
From 293495d40f62e691520331a41c6d85d82e120169 Mon Sep 17 00:00:00
2001
From: Peter Trommler ptromm...@acm.org
Date: Sun, 21 Oct 2012 18:47:01 +0200
Subject: [PATCH] Add configure option to use system provided
libffi This
fixes track # 5743 and #4496.
configure.ac| 55
+++
ghc.mk | 11 -
mk/config.mk.in |7 ++
rts/ghc.mk | 42 ++
rts/package.conf.in |3 ++
5 files changed, 111 insertions(+), 7 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5743#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] #4496: add a configure build option to use system libffi for Linux
#4496: add a configure build option to use system libffi for Linux
--+-
Reporter: juhpetersen | Owner:
Type: feature request | Status: closed
Priority: normal | Milestone: 7.6.2
Component: Build System |Version: 7.1
Resolution: duplicate| Keywords:
Os: Linux| Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: |Related:
--+-
Comment(by ian@…):
commit 3005e90936c47c1f71672bf6c84fff20cb14014b
{{{
Author: Ian Lynagh i...@well-typed.com
Date: Thu Nov 29 22:22:39 2012 +
Add configure option to use system provided libffi; fixes #5743
Based on patch from Peter Trommler:
From 293495d40f62e691520331a41c6d85d82e120169 Mon Sep 17 00:00:00
2001
From: Peter Trommler ptromm...@acm.org
Date: Sun, 21 Oct 2012 18:47:01 +0200
Subject: [PATCH] Add configure option to use system provided
libffi This
fixes track # 5743 and #4496.
configure.ac| 55
+++
ghc.mk | 11 -
mk/config.mk.in |7 ++
rts/ghc.mk | 42 ++
rts/package.conf.in |3 ++
5 files changed, 111 insertions(+), 7 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4496#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
Re: [GHC] #5743: Configurably use system-provided libffi
#5743: Configurably use system-provided libffi
--+-
Reporter: nomeata | Owner: trommler
Type: feature request | Status: closed
Priority: normal | Milestone: 7.6.2
Component: Build System |Version: 7.2.1
Resolution: fixed| Keywords:
Os: Linux| Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: |Related: #4496
--+-
Changes (by igloo):
* status: patch = closed
* resolution: = fixed
Comment:
In #4496 I said:
{{{
On the Mac I have /usr/lib/libffi.dylib and /usr/include/ffi/*.h.
However, I can't see any mingw tarballs that seem likely to include it.
}}}
I can't see any sign of libffi in mingw64 either.
I really don't like having this be conditional, but I can't see a better
alternative, so I've applied the patch. Thanks.
I'm not sure if it's worth listing the new flag explicitly on
http://hackage.haskell.org/trac/ghc/wiki/Building/Using#Runtheconfigurescript
as it'll only really be of interest to a handful of packagers, and that
page only tries to list the most common flags, leaving the rest to
`./configure --help`.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5743#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
[GHC] #7462: New nofib benchmark for unpacked arrays and floating point arithmetic
#7462: New nofib benchmark for unpacked arrays and floating point arithmetic -+-- Reporter: tibbe | Owner: Type: feature request | Status: new Priority: normal| Component: NoFib benchmark suite Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- The attached patch adds a new imaginary nofib benchmark that tests unpacked arrays and floating point arithmetic in tight loops. I believe this combination is very important in practice, but somewhat underrepresented in the benchmark suite. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7462 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] #7462: New nofib benchmark for unpacked arrays and floating point arithmetic
#7462: New nofib benchmark for unpacked arrays and floating point arithmetic -+-- Reporter: tibbe | Owner: Type: feature request | Status: patch Priority: normal| Component: NoFib benchmark suite Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Changes (by tibbe): * status: new = patch -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7462#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
[GHC] #7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept.
#7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should
also
be kept.
-+--
Reporter: PHO | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Other | Blockedby:
Blocking: 3472 |Related:
-+--
GHC used to put `*_stub.c` into `stubdir` along with `*_stub.h` but now
`*_stub.c` files are temporarily created and then removed, which means we
have no stubs available when we are bootstrapping a compiler via C
sources.
My
[https://github.com/phonohawk/ghc/commit/680f44a4d325075cd26e9dd4c2fca1ee837847fe
patch] is to keep `*_stub.c` as before, when `-keep-hc-files` is enabled:
{{{
% git fetch git://github.com/phonohawk/ghc.git c-sources-in-stubdir
}}}
Please also note that
[http://www.haskell.org/ghc/docs/latest/html/users_guide/ffi-ghc.html
#foreign-export-ghc the documentation about foreign stubs] is slightly
outdated.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7463
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] #7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept.
#7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept. -+-- Reporter: PHO | Owner: Type: bug | Status: patch Priority: normal| Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: 3472 |Related: -+-- Changes (by PHO): * status: new = patch -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7463#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
