August 2015 - ghc-tickets

Re: [GHC] #3070: floor(0/0) should not be defined
by GHC 14 Aug '15

14 Aug '15

#3070: floor(0/0) should not be defined -------------------------------------+------------------------------------- Reporter: carette | Owner: squadette Type: bug | Status: new Priority: lowest | Milestone: 7.12.1 Component: Prelude | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9276 | Blocking: Related Tickets: #10754 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by bgamari): While this doesn't really address the crux of the problem, one option here would be to introduce another pair of floating point types which ensure proper treatment of all IEEE 754 constructs at the expense of performance. I really don't like the fact that this would make you choose between correctness and speed (especially since arguably the default should be correctness), but it is (I think) an option on the table. As far as I can tell, this could be strictly a library change (with the types wrapping the unboxed `Float#` and `Double#` types; we would just need to double-check that the constant folding rules in GHC are correct with respect to the special floating-point values). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3070#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3070: floor(0/0) should not be defined
by GHC 14 Aug '15

14 Aug '15

#3070: floor(0/0) should not be defined -------------------------------------+------------------------------------- Reporter: carette | Owner: squadette Type: bug | Status: new Priority: lowest | Milestone: 7.12.1 Component: Prelude | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9276 | Blocking: Related Tickets: #10754 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * related: => #10754 Comment: See also #10754. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3070#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9903: GHCi produces a cryptic message when using HPC
by GHC 13 Aug '15

13 Aug '15

#9903: GHCi produces a cryptic message when using HPC -------------------------------------+------------------------------------- Reporter: facundo.dominguez | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.9 Keywords: hpc | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: GHCi crash Blocked By: | Test Case: Related Tickets: #9878, #9762 ? | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The following test produces an impolite response from GHCi {{{ $ cat t.hs g :: Int g = 1 + 1 $ ghc-stage2 --interactive t.hs -fhpc GHCi, version 7.9.20141217: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( t.hs, interpreted ) Ok, modules loaded: Main. *Main> g ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.9.20141217 for x86_64-unknown-linux): Loading temp shared object failed: /tmp/ghc25774_0/ghc25774_5.so: undefined symbol: _hpc_tickboxes_Main_hpc Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} It has been noted elsewhere (#9878) that these kinds of messages are better avoided. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9903> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7651: Buiding GHC with parallel IO manager freezes on Mac (not on FreeBSD)
by GHC 13 Aug '15

13 Aug '15

#7651: Buiding GHC with parallel IO manager freezes on Mac (not on FreeBSD) -------------------------------------+------------------------------------- Reporter: kazu-yamamoto | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Build System | Version: 7.7 Resolution: worksforme | Keywords: Operating System: MacOS X | Architecture: x86_64 Type of failure: Building GHC | (amd64) failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * priority: high => normal * status: new => closed * resolution: => worksforme Comment: > I just build 7.10.2 rc with make -j5 and had no problems. Let's close this then. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7651#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10764: GHC panic (no skolem info)
by GHC 13 Aug '15

13 Aug '15

#10764: GHC panic (no skolem info) -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The attached program causes GHC 7.10.2 to panic with the following output: bug.hs:6:19: Found hole ‘_’ with type: t1 → t2 → m1 a1 → m1 a1 Where: ‘t1’ is a rigid type variable bound by the inferred type of whenMultipleOf ∷ MonadPlus m1 ⇒ t1 → t2 → m1 a1 → m1 a1 at bug.hs:7:1 ‘a1’ is a rigid type variable bound by the inferred type of whenMultipleOf ∷ MonadPlus m1 ⇒ t1 → t2 → m1 a1 → m1 a1 at bug.hs:7:1 ‘m1’ is a rigid type variable bound by the inferred type of whenMultipleOf ∷ MonadPlus m1 ⇒ t1 → t2 → m1 a1 → m1 a1 at bug.hs:7:1 ‘t2’ is a rigid type variable bound by the inferred type of whenMultipleOf ∷ MonadPlus m1 ⇒ t1 → t2 → m1 a1 → m1 a1 at bug.hs:7:1 To use the inferred type, enable PartialTypeSignatures In the type signature for ‘whenMultipleOf’: _ bug.hs:7:1: No instance for (MonadPlus m) When checking that ‘whenMultipleOf’ has the specified type whenMultipleOf ∷ ∀ t a (m ∷ * → *) t1. t → t1 → m a → m a Probable cause: the inferred type is ambiguous bug.hs:10:62: Couldn't match type ‘a1’ with ‘t’ ‘a1’ is a rigid type variable bound by the type signature for sumOfMultiples ∷ Integral a1 ⇒ [a1] → a1 → [a1] at bug.hs:9:19ghci-ng: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-linux): No skolem info: t_a7vV[sk] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10768: Location information of LHsModule is incorrect
by GHC 13 Aug '15

13 Aug '15

#10768: Location information of LHsModule is incorrect -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: #597 Differential Revisions: | -------------------------------------+------------------------------------- The location assigned by the parser to `LHsModule`s is incorrect: it is a point span at (1,0) rather then a span encompassing the entire file. This was taken from #597, which also included a number of other similar issues, all of which are now resolved. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10768> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9218: Upgrade the version of MinGW shipped with GHC
by GHC 13 Aug '15

13 Aug '15

#9218: Upgrade the version of MinGW shipped with GHC ------------------------------------+--------------------------------- Reporter: komadori | Owner: komadori Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Build System | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #3390 | ------------------------------------+--------------------------------- The Windows binary distribution of GHC incorporates a version of MinGW which has not been updated for several releases and is now out-of-date. It should be upgraded. The previous time this was done appears to correlate with ticket #3390. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9218> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 26

Re: [GHC] #3712: Implement -dynamic-lib option
by GHC 13 Aug '15

13 Aug '15

#3712: Implement -dynamic-lib option -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: closed Priority: low | Milestone: 7.12.1 Component: Compiler | Version: 6.12.1 RC1 Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => wontfix Comment: We probably don't need this; most people use Cabal which knows what to do. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3712#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1687: A faster (^)-function.
by GHC 12 Aug '15

12 Aug '15

#1687: A faster (^)-function. -------------------------------------+------------------------------------- Reporter: moonlite@… | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Prelude | Version: 6.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86 Type of failure: Runtime | Test Case: performance bug | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by hvr): Replying to [comment:16 bgamari]: > hvr, what do you think about this? Perhaps integer_gmp could wrap `mpz_pow_ui`? You may notice that I had actually `mpz_pow_ui` wrapped earlier for 0.5.1, see http://hackage.haskell.org/package/integer-gmp-0.5.1.0/docs/GHC-Integer- GMP-Internals.html#g:3 but I had to drop it again for `integer-gmp-1.0` because there's no easy way to predict how large the result will be. But I wanted to revisit this at some later point. It's possible to wrap `mpz_pow_ui` but it requires to have GMP allocate the buffer, and then copy it over into the final `ByteArray#`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1687#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9014: GHC 7.8.2 Win64 tarball includes gfortran/gcj/python
by GHC 12 Aug '15

12 Aug '15

#9014: GHC 7.8.2 Win64 tarball includes gfortran/gcj/python -------------------------------------------+---------------------------- Reporter: refold | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------------+---------------------------- The released Windows 64 tarball available at https://www.haskell.org/ghc/dist/7.8.2/ghc-7.8.2-x86_64-unknown- mingw32.tar.xz includes the following under `mingw/bin`: * gfortran * gcj * python27.dll * The whole Python 2.7 standard library (`mingw/bin/lib`) These files have probably been included by mistake. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9014> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10