February 2013 - ghc-tickets

[GHC] #7683: Expose tcIfaceExpr
by GHC 14 Feb '13

14 Feb '13

#7683: Expose tcIfaceExpr -----------------------------+---------------------------------------------- Reporter: afarmer | Owner: Type: feature request | Status: new Priority: normal | Component: GHC API Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- The tcIface module exports: {{{ tcExtCoreBindings :: [IfaceBinding] -> IfL CoreProgram }}} which is useful for typechecking whole programs in Iface Core. It unfortunately does not export: {{{ tcIfaceExpr :: IfaceExpr -> IfL CoreExpr }}} This function would be useful to the HERMIT plugin, where we want to parse and typecheck Core fragments by way of Iface Core. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7683> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7658: Support empty record update syntax
by GHC 14 Feb '13

14 Feb '13

#7658: Support empty record update syntax -----------------------------+---------------------------------------------- Reporter: glguy | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Empty record update syntax would be useful for when you are changing phantom type parameters. It is currently explicitly disallowed, but it isn't clear if that is absolutely necessary to me. {{{ data R phantom = C { a,b :: Int } r :: R Int r = C 1 2 --This is OK r1 :: R Char r1 = r { a = a r } --Why not this? r2 :: R Char r2 = r {} }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7658> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #1171: GHC doesn't respect the imprecise exceptions semantics
by GHC 14 Feb '13

14 Feb '13

#1171: GHC doesn't respect the imprecise exceptions semantics -------------------------------+-------------------------------------------- Reporter: neil | Owner: Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: cg059 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by igloo): Is your last example right? `f` isn't used -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1171#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1171: GHC doesn't respect the imprecise exceptions semantics
by GHC 14 Feb '13

14 Feb '13

#1171: GHC doesn't respect the imprecise exceptions semantics -------------------------------+-------------------------------------------- Reporter: neil | Owner: Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: cg059 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): Simon PJ and Simon M also discussed `throwIO`, which is a bit more preditable than `throw`. Specifically: {{{ throw e `seq` x ===> throw e throwIO e `seq` x ===> x }}} However, `throwIO` currently is still just as strict as `throw`. For example: {{{ f :: (Int,Int) -> IO a f x = throwIO (ErrorCall "urk") main = throwIO (error "yes") }}} This will throw `(error "yes")` because `throwIO` evaluates (but doesn't unbox) its argument because `throwIO` is strict. We could artificially make `throwIO` appear not to diverge, even when given two arguments (ie including the state token). That would have a much less bad effect than making `error` or `throw` appear not to diverge; and would make `throwIO` still more predictable, but I don't know how large the effect would be. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1171#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1171: GHC doesn't respect the imprecise exceptions semantics
by GHC 14 Feb '13

14 Feb '13

#1171: GHC doesn't respect the imprecise exceptions semantics -------------------------------+-------------------------------------------- Reporter: neil | Owner: Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: cg059 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): Here are some more notes about this subject, culled from an exchange betwen Simon M and Simon PJ. Consider this: {{{ f :: Bool -> (Int,Int) -> Int f x y = case x of True -> error "urk" False -> case y of (a,b) -> a+b }}} Can we pass y unboxed? Yes, we do so, because we regard bottom (the error branch) as hyperstrict in everything. So we do a w/w split thus {{{ f x y = case y of (a,b) -> case a of I# a1 -> case b of I# b1 -> fw x a1 b1 }}} That means, of course, that `(f True (error "a", 3))` would throw `(error "a")` not `(error "urk")`. The paper doesn't allow this, but I believe that it's crucial for strictness analysis to work well. However, if the function unconditionally diverges, it seems stupid to unbox: {{{ f :: (Int,Int) -> a f x = error "urk" }}} Here it seems fruitless to do the same w/w/ split as I gave above, even though the semantics justifies it equally. So pragmatically we do NOT do w/w for a hyper-strict demand. Another variant: {{{ f :: (Int,Int) -> a f (x,y) = error (show x) main = ...(f (3, error "no no"))... }}} Similar to the previous example, the `(error "no no")` is not even used, so it would be very odd indeed to evaluate it before the call to `f`. See {{{ Note [Unpacking arguments with product and polymorphic demands] }}} in `stranal/WwLib`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1171#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7631: Allow to differentiate between newtypes and datatypes
by GHC 13 Feb '13

13 Feb '13

#7631: Allow to differentiate between newtypes and datatypes -----------------------------+---------------------------------------------- Reporter: Feuerbach | Owner: Type: feature request | Status: new Priority: normal | Component: libraries (other) Version: 7.6.1 | Keywords: generics Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- When writing a generic instance, I would like to be able to tell whether the type under consideration has been declared using newtype or data. For example, in SmallCheck we generate values of certain "depth". It is natural to treat datatype constructors as increasing the depth of the constructed value, and newtype constructors as preserving the depth. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7631> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7206: Implement cheap build
by GHC 13 Feb '13

13 Feb '13

#7206: Implement cheap build ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 7.4.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * milestone: 7.8.1 => _|_ Comment: I tried this again, but got disappointing results: {{{ -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- anna -0.4% +0.0% -6.3% -5.9% +0.0% ansi -0.2% -0.6% 0.00 0.00 +0.0% atom -0.1% +0.0% +2.0% +2.0% +0.0% awards -0.4% +0.0% 0.00 0.00 +0.0% banner -0.1% +0.0% 0.00 0.00 +0.0% bernouilli -0.0% +0.0% -1.6% -1.6% +0.0% binary-trees -0.2% +0.0% +4.4% +4.4% +0.0% boyer -0.2% +0.0% 0.07 0.07 +0.0% boyer2 -0.5% +0.0% 0.01 0.01 +0.0% bspt -0.3% +0.0% 0.02 0.02 +0.0% cacheprof -1.4% +0.2% -0.7% -0.9% -0.5% calendar -0.2% +0.0% 0.00 0.00 +0.0% cichelli -0.4% -0.0% 0.13 0.13 +0.0% circsim -0.2% +0.0% -4.6% -4.7% +0.0% clausify -0.2% +0.0% 0.06 0.06 +0.0% comp_lab_zift -0.2% +0.0% -2.6% -2.6% +0.0% compress -0.3% +0.0% +3.0% +3.7% +0.0% compress2 -0.1% +0.0% +1.3% +1.3% +0.0% constraints -0.2% +0.0% -3.9% -3.9% +0.0% cryptarithm1 -0.2% +0.0% +6.3% +6.3% +0.0% cryptarithm2 -0.5% +0.0% 0.02 0.02 +0.0% cse -0.5% +0.0% 0.00 0.00 +0.0% eliza -0.1% +0.0% 0.00 0.00 +0.0% event -0.2% +0.0% +2.9% +2.9% +0.0% exp3_8 -0.2% +0.0% -2.8% -2.8% +0.0% expert -0.1% +0.0% 0.00 0.00 +0.0% fannkuch-redux -0.1% +0.0% -2.4% -2.4% +0.0% fasta -0.2% +0.0% -0.4% -0.4% +0.0% fem -0.0% +0.0% 0.04 0.04 +0.0% fft -0.1% +0.0% 0.06 0.06 +0.0% fft2 -0.1% +0.0% 0.10 0.10 +0.0% fibheaps -0.2% +0.0% 0.05 0.05 +0.0% fish -0.1% +2.7% 0.03 0.03 +0.0% fluid -0.1% +0.2% 0.01 0.01 +100.0% fulsom -0.3% +0.0% -4.0% -4.0% +3.2% gamteb -0.1% -0.0% 0.07 0.07 +0.0% gcd -0.1% +0.0% 0.05 0.05 +0.0% gen_regexps -0.1% +0.0% 0.00 0.00 +0.0% genfft -0.1% +0.0% 0.06 0.06 +0.0% gg -0.5% +0.1% 0.02 0.02 +0.0% grep -0.1% +0.0% 0.00 0.00 +0.0% hidden -0.1% +0.0% +4.2% +4.2% +0.0% hpg -0.4% -0.2% +8.8% +8.8% +0.0% ida -0.2% +0.0% 0.14 0.14 +0.0% infer -0.3% +0.0% 0.13 0.13 +0.0% integer -0.1% +0.0% +0.1% +0.1% +0.0% integrate -0.1% +0.0% +18.2% +18.2% +0.0% k-nucleotide -0.1% +0.0% -6.2% -6.2% +0.0% kahan -0.1% +0.0% +1.1% +1.1% +0.0% knights -0.2% +1.4% 0.01 0.01 +0.0% lcss -0.2% +0.0% -3.5% -3.5% +0.0% life -0.2% +0.0% +2.5% +2.5% +0.0% lift -0.3% +0.0% 0.00 0.00 +0.0% listcompr -0.2% +0.0% 0.15 0.15 +0.0% listcopy -0.2% +0.0% 0.16 0.16 +0.0% maillist -0.3% +0.0% 0.10 0.11 -3.9% mandel -0.0% -0.0% 0.12 0.12 +0.0% mandel2 -0.5% +0.0% 0.00 0.00 +0.0% minimax -0.3% +0.0% 0.00 0.00 +0.0% mkhprog -0.2% +0.0% 0.00 0.00 +0.0% multiplier -0.3% +0.0% +1.8% +1.8% +0.0% n-body -0.2% +0.0% -0.7% -0.6% +0.0% nucleic2 -0.1% +0.0% 0.11 0.11 +0.0% para -0.0% +0.0% +1.4% +0.8% +0.0% paraffins -0.2% +0.0% +13.6% +13.6% +0.0% parser -1.3% +3.5% 0.05 0.05 +0.0% parstof -0.3% +0.0% 0.01 0.01 +0.0% pic -0.1% +0.1% 0.00 0.00 +0.0% pidigits -0.1% +0.0% +1.5% +1.9% +0.0% power -0.1% +0.0% -4.9% -4.9% +0.0% pretty -0.1% -0.0% 0.00 0.00 +0.0% primes -0.1% +0.0% 0.11 0.11 +0.0% primetest -0.0% +0.0% 0.14 0.14 +0.0% prolog -0.2% +0.1% 0.00 0.17 +0.0% puzzle -0.3% +0.0% +1.7% +1.7% +0.0% queens -0.2% +0.0% 0.02 0.02 +0.0% reptile -0.2% -0.0% 0.02 0.02 +0.0% reverse-complem -0.3% +0.0% +3.8% +3.8% +0.0% rewrite -0.2% +0.0% 0.02 0.02 +0.0% rfib -0.1% +0.0% 0.03 0.03 +0.0% rsa -0.0% +0.0% 0.03 0.12 +0.0% scc -0.2% +0.0% 0.00 0.00 +0.0% sched -0.2% +0.0% 0.03 0.03 +0.0% scs -0.0% +0.1% -2.9% -3.1% +0.0% simple -0.9% +0.6% -10.8% -10.8% +13.8% solid -0.1% +0.0% +3.2% +3.2% +0.0% sorting -0.1% +0.0% 0.00 0.00 +0.0% spectral-norm -0.2% +0.0% +0.1% +0.1% +0.0% sphere -0.2% +0.0% 0.08 0.08 +0.0% symalg -0.2% +0.0% 0.01 0.04 +0.0% tak -0.2% +0.0% 0.02 0.02 +0.0% transform -0.2% +0.0% -0.6% -0.6% +0.0% treejoin -0.2% +0.0% +0.0% -0.7% +0.0% typecheck -0.2% -0.0% +0.0% +0.0% +0.0% veritas +0.7% +0.0% 0.00 0.00 +0.0% wang -0.1% +0.0% -5.5% -5.5% +0.0% wave4main -0.2% +0.0% -2.4% -2.4% +0.0% wheel-sieve1 -0.1% +0.0% -0.5% -0.5% +0.0% wheel-sieve2 -0.1% +0.0% -6.4% -6.4% +0.0% x2n1 -0.2% +0.0% 0.00 0.00 +0.0% -------------------------------------------------------------------------------- Min -1.4% -0.6% -10.8% -10.8% -3.9% Max +0.7% +3.5% +18.2% +18.2% +100.0% Geometric Mean -0.2% +0.1% +0.1% +0.1% +0.8% }}} On investigation it seemed that although it was good to fuse away the intermediate ''lists'', we were duplicating the individual `Int`s or `Char`s that would otherwise have been shared, and this pushes up allocation. So we often lose a bit and seldom win much. So I'm parking this again. I attach the patches I used. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7206#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error
by GHC 13 Feb '13

13 Feb '13

#7332: Kind-defaulting omitted leads to deeply obscure type error -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: high | 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/T7332 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): Trac #7641 is a simpler example -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7332#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7679: Regression in -fregs-graph performance
by GHC 13 Feb '13

13 Feb '13

#7679: Regression in -fregs-graph performance ---------------------------------+------------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (NCG) | Version: 7.6.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #7192 | ---------------------------------+------------------------------------------ Likely due to a bad interaction with the new code generator, see #7192. `-fregs-graph` used to be on by default with `-O2`, but is currently off due to this issue. Results courtesy of @tibbe: {{{ HEAD vs HEAD with -fregs-graph: -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- anna +0.1% +0.0% 0.08 0.08 +0.0% ansi +0.0% +0.0% 0.00 0.00 +0.0% atom +0.0% +0.0% +0.0% -0.8% +0.0% awards -0.0% +0.0% 0.00 0.00 +0.0% banner -0.0% +0.0% 0.00 0.00 +0.0% bernouilli +0.0% +0.0% 0.12 0.12 +0.0% binary-trees +0.0% +0.0% +0.0% +0.0% +0.0% boyer -0.0% +0.0% 0.04 0.04 +0.0% boyer2 -0.0% +0.0% 0.01 0.01 +0.0% bspt -0.0% +0.0% 0.02 0.02 +0.0% cacheprof +0.0% +0.0% -3.1% -3.1% +0.0% calendar -0.0% +0.0% 0.00 0.00 +0.0% cichelli +0.0% +0.0% 0.05 0.05 +3.0% circsim +0.0% +0.0% -0.3% -0.3% +0.0% clausify -0.0% +0.0% 0.03 0.03 +0.0% comp_lab_zift -0.0% +0.0% 0.14 0.14 +0.0% compress +0.0% +0.0% 0.11 0.11 +0.0% compress2 +0.0% +0.0% 0.14 0.14 +0.0% constraints +0.0% +0.0% -1.4% -1.4% +0.0% cryptarithm1 +0.0% +0.0% +1.6% +1.0% +0.0% cryptarithm2 +0.0% +0.0% 0.01 0.01 +0.0% cse +0.0% +0.0% 0.00 0.00 +0.0% eliza -0.0% +0.0% 0.00 0.00 +0.0% event +0.0% +0.0% 0.10 0.10 +0.0% exp3_8 +0.0% +0.0% 0.14 0.14 +0.0% expert +0.0% +0.0% 0.00 0.00 +0.0% fannkuch-redux +0.0% +0.0% +10.6% +10.4% +0.0% fasta -0.0% +0.0% -0.6% -0.6% +0.0% fem +0.0% +0.0% 0.03 0.03 +0.0% fft -0.0% +0.0% 0.03 0.03 +0.0% fft2 +0.0% +0.0% 0.04 0.04 +0.0% fibheaps -0.0% +0.0% 0.03 0.03 +0.0% fish +0.0% +0.0% 0.01 0.01 +0.0% fluid +0.0% +0.0% 0.01 0.01 +0.0% fulsom +0.1% +0.0% -5.9% -5.9% -5.3% gamteb +0.0% +0.0% 0.04 0.04 +0.0% gcd +0.0% +0.0% 0.03 0.03 +0.0% gen_regexps +0.0% +0.0% 0.00 0.00 +0.0% genfft +0.0% +0.0% 0.03 0.03 +0.0% gg +0.0% +0.0% 0.02 0.02 +0.0% grep +0.1% +0.0% 0.00 0.00 +0.0% hidden +0.0% +0.0% +3.4% +2.7% +0.0% hpg +0.0% +0.0% 0.10 0.10 +0.0% ida -0.0% +0.0% 0.06 0.06 +0.0% infer +0.0% +0.0% 0.05 0.05 +0.0% integer -0.0% +0.0% +3.0% +2.9% +0.0% integrate +0.0% +0.0% 0.13 0.13 +0.0% k-nucleotide +0.4% +0.0% +3.4% +3.5% +0.0% kahan +0.0% +0.0% 0.18 0.18 +0.0% knights -0.1% +0.0% 0.01 0.01 +0.0% lcss +0.0% +0.0% +0.7% +0.7% +0.0% life -0.0% +0.0% 0.16 0.16 +0.0% lift +0.0% +0.0% 0.00 0.00 +0.0% listcompr -0.0% +0.0% 0.06 0.06 +0.0% listcopy -0.0% +0.0% 0.06 0.06 +0.0% maillist -0.0% +0.0% 0.04 0.04 -11.2% mandel +0.0% +0.0% 0.05 0.05 +0.0% mandel2 -0.0% +0.0% 0.00 0.00 +0.0% minimax +0.0% +0.0% 0.00 0.00 +0.0% mkhprog +0.0% +0.0% 0.00 0.00 +0.0% multiplier -0.0% +0.0% 0.08 0.08 +0.0% n-body -0.0% +0.0% +28.2% +28.2% +0.0% nucleic2 +0.0% +0.0% 0.05 0.05 +0.0% para -0.1% +0.0% +1.0% +1.0% +0.0% paraffins -0.0% +0.0% 0.08 0.08 +0.0% parser +0.0% +0.0% 0.03 0.03 +0.0% parstof -0.0% +0.0% 0.00 0.00 +0.0% pic -0.0% +0.0% 0.00 0.00 +0.0% pidigits -0.0% +0.0% -0.6% +0.0% +0.0% power +0.0% +0.0% +1.9% +1.9% +0.0% pretty +0.0% +0.0% 0.00 0.00 +0.0% primes -0.0% +0.0% 0.05 0.05 +0.0% primetest -0.0% +0.0% 0.07 0.07 +0.0% prolog +0.0% +0.0% 0.00 0.00 +0.0% puzzle -0.0% +0.0% 0.10 0.10 +0.0% queens +0.0% +0.0% 0.02 0.02 +0.0% reptile +0.0% +0.0% 0.02 0.02 +0.0% reverse-complem -0.0% +0.0% 0.08 0.08 +0.0% rewrite +0.0% +0.0% 0.02 0.02 +0.0% rfib +0.0% +0.0% 0.02 0.02 +0.0% rsa +0.0% +0.0% 0.03 0.03 +0.0% scc -0.0% +0.0% 0.00 0.00 +0.0% sched -0.0% +0.0% 0.02 0.02 +0.0% scs -0.0% +0.0% -1.1% -0.5% +0.0% simple -0.1% +0.0% 0.16 0.16 +0.0% solid -0.0% +0.0% 0.10 0.10 +0.0% sorting -0.0% +0.0% 0.00 0.00 +0.0% spectral-norm -0.0% +0.0% +0.0% +0.0% +0.0% sphere +0.1% +0.0% 0.03 0.03 +0.0% symalg -0.0% +0.0% 0.01 0.01 +0.0% tak +0.0% +0.0% 0.01 0.01 +0.0% transform -0.0% +0.0% +0.0% +0.0% +0.0% treejoin +0.0% +0.0% 0.15 0.15 +0.0% typecheck +0.0% +0.0% 0.15 0.15 +0.0% veritas +0.1% +0.0% 0.00 0.00 +0.0% wang +0.0% +0.0% 0.08 0.08 +0.0% wave4main +0.0% +0.0% 0.19 0.19 +0.0% wheel-sieve1 -0.0% +0.0% -0.8% -0.8% +0.0% wheel-sieve2 -0.0% +0.0% 0.13 0.13 +0.0% x2n1 -0.0% +0.0% 0.01 0.01 +0.0% -------------------------------------------------------------------------------- Min -0.1% +0.0% -5.9% -5.9% -11.2% Max +0.4% +0.0% +28.2% +28.2% +3.0% Geometric Mean +0.0% -0.0% +1.7% +1.7% -0.1% }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7679> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7353: Make system IO interruptible on Windows
by GHC 13 Feb '13

13 Feb '13

#7353: Make system IO interruptible on Windows ---------------------------------+------------------------------------------ Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by shelarcy): * cc: shelarcy@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7353#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0