- ghc-tickets - Haskell.org

[GHC] #11539: Warn about missing forall when -XScopedTypeVariables is on
by GHC 08 Feb '16

08 Feb '16

#11539: Warn about missing forall when -XScopedTypeVariables is on -------------------------------------+------------------------------------- Reporter: kanetw | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I've ran into a situation where I forgot to put an explicit forall to actually make type variables scoped, resulting in something like {{{ Could not deduce (PacketTypeId s0 t0 a0) arising from a use of ‘fromPacketTypeId’ from the context (PacketTypeId s t n) }}} with code like {{{ getPacketTypeId :: PacketTypeId s t n => KnxPacket d s t -> Integer getPacketTypeId _ = fromPacketTypeId (Proxy :: Proxy s) (Proxy :: Proxy t)) :: Integer }}} It'd be nice if GHC printed an extra suggestion "Did you forget to include an explicit forall?" when something like that arises? Maybe even suggest ScopedTypeVariables if they're not on. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11539> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10862: No way to exclude current directory from search path
by GHC 07 Feb '16

07 Feb '16

#10862: No way to exclude current directory from search path -------------------------------------+------------------------------------- Reporter: literon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Having Main.hs in the current directory, executing ghc --make Main -i still compiles the module, even though -i should in theory "reset the search path back to nothing". But it seems nothing ~ the default (current dir). I would propose to either change the behavior, or add a new flag, in order to be able to better control the build environment. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10862> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10898: GHCI crash
by GHC 07 Feb '16

07 Feb '16

#10898: GHCI crash ---------------------------------+------------------------------- Reporter: trebor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ---------------------------------+------------------------------- robert@HeisenbergJr:~$ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for i386-unknown-linux): interactiveUI:setBuffering2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10898> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11504: Can't install haskell-platform in OpenBSD
by GHC 07 Feb '16

07 Feb '16

#11504: Can't install haskell-platform in OpenBSD -------------------------------------+------------------------------------- Reporter: Achifaifa | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Package | Version: 7.10.3 system | Keywords: | Operating System: OpenBSD Architecture: x86 | Type of failure: Installing GHC | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm trying to install the haskell platform in openbsd. This is the output I get Can't install freeglut-2.8.0 because of libraries |library GL.13.0 not found | not found anywhere |library X11.15.1 not found | not found anywhere |library Xdamage.3.1 not found | not found anywhere |library Xext.12.0 not found | not found anywhere |library Xfixes.5.1 not found | not found anywhere |library Xi.11.1 not found | not found anywhere |library Xrandr.6.1 not found | not found anywhere |library Xrender.5.0 not found | not found anywhere |library Xxf86vm.5.0 not found | not found anywhere |library drm.3.1 not found | not found anywhere |library xcb.2.4 not found | not found anywhere Can't install hs-GLUT-2.1.2.1p11: can't resolve freeglut-2.8.0 Can't install haskell-platform-2012.4.0.0p0: can't resolve hs- GLUT-2.1.2.1p11 I'm installing it on a laptop without a desktop environment or X server, so I'm not sure if the problem is that I don't have a X/GL installation or if the installer can't locate some packages in the source. I'm a total newbie to both OpenBSD and Haskell, so I know nothing that could help with this. Let me know if you need any extra information about the issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11504> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11162: T783 regresses severely in allocations with new pattern match checker
by GHC 07 Feb '16

07 Feb '16

#11162: T783 regresses severely in allocations with new pattern match checker -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | performance bug Test Case: T783 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The new pattern match checker (Phab:D1535) allocates 115% more than the previous checker on the T783 testcase, {{{ bytes allocated value is too high: Expected T783(normal) bytes allocated: 526230456 +/-10% Lower bound T783(normal) bytes allocated: 473607410 Upper bound T783(normal) bytes allocated: 578853502 Actual T783(normal) bytes allocated: 1134085384 Deviation T783(normal) bytes allocated: 115.5 % *** unexpected stat test failure for T783(normal) }}} I suspect this isn't avoidable as this testcase consists of nothing more than 500 guarded equations, so exercises the checker quite thoroughly. That being said, perhaps it's worth a closer look. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11162> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #2530: deriving Show adds extra parens for constructor with record syntax
by GHC 07 Feb '16

07 Feb '16

#2530: deriving Show adds extra parens for constructor with record syntax -------------------------------------+------------------------------------- Reporter: spl | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 8.0.1 Component: Compiler | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D669 Wiki Page: | -------------------------------------+------------------------------------- Comment (by hvr): Fyi, this broke a few testsuites of mine based on golden-tests based on the `Show`-serialisation. Not sure yet how I can fix this other than using a duplicated set of golden files with the old and new `Show` instance serialisation... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2530#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11553: `round (± ∞ :: Double)` not infinite
by GHC 07 Feb '16

07 Feb '16

#11553: `round (± ∞ :: Double)` not infinite -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: libraries/base | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Rounding 1/0 or 0/0 results in an arbitrary chosen `Integer` value, e.g. {{{ λ:2> (round (1/0 :: Double) :: Integer) == 2^1024 True λ:3> (round (-1/0 :: Double) :: Integer) == -(2^1024) True }}} I'm not sure if this is more desirable than returning a bottom value (e.g. by throwing some `ArithException`) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11553> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8842: Make sure msys2 builds non emulating binaries
by GHC 07 Feb '16

07 Feb '16

#8842: Make sure msys2 builds non emulating binaries ------------------------------------+--------------------------------- Reporter: schyler | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- I came across this in my own project. MSys2 doesn't enter #ifdef blocks which test for _WIN32. Instead, it pretends to be Linux and has a set of headers which emulate things like mmap. These emulation functions are really really slow -- in my personal tests about 10x slower than calling the WINAPI -- so this ticket is just a reminder (it may already be done) for someone to check that MSys2 builds things non-emulated in GHC. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8842> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7320: GHC crashes when building on 32-bit Linux in a Linode
by GHC 07 Feb '16

07 Feb '16

#7320: GHC crashes when building on 32-bit Linux in a Linode ---------------------------------------+-------------------------------- Reporter: benl | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86 Type of failure: Compile-time crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ---------------------------------------+-------------------------------- Changes (by gintas): * cc: gintas (removed) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7320#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9686: Link option detection does not work for incremental builds on Windows
by GHC 07 Feb '16

07 Feb '16

#9686: Link option detection does not work for incremental builds on Windows -------------------------------------+------------------------------------- Reporter: gintas | Owner: gintas Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- ghc on Linux embeds link options into the resulting binary in order to be able to tell when a binary needs to be recompiled because different link options have been passed in to ghc. This functionality is not present on Windows, forcing users to pass in -fforce-recomp. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9686> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2