March 2014 - ghc-tickets

[GHC] #8714: ExistentialQuantification plus DeriveDataTypeable leads to core lint error
by GHC 17 Mar '14

17 Mar '14

#8714: ExistentialQuantification plus DeriveDataTypeable leads to core lint error ----------------------------------+------------------------------------- Reporter: CoreyOConnor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------------- The attached program produces an core lint error when compiling with optimization. {{{ $ ghc -O -debug -dcore-lint Main [1 of 1] Compiling Main ( Main.hs, Main.o ) *** Core Lint errors : in result of Float out(FOS {Lam = Just 0, Consts = True, PAPs = True}) *** <no location info>: Warning: In the type ‛cache_s16y’ @ cache_s16y is out of scope *** Offending Program *** Main.focusAst :: forall syntax_aB4. GHC.Types.Int -> Main.BufferImpl syntax_aB4 -> Main.BufferImpl syntax_aB4 [LclIdX, Arity=2, Str=DmdType <L,U><S(S),1*U(U)>m, Unf=Unf{Src=InlineStable, TopLvl=True, Arity=2, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False) Tmpl= \ (@ syntax_aMw) (r_aB5 [Occ=Once] :: GHC.Types.Int) (b_aB6 [Occ=Once!] :: Main.BufferImpl syntax_aMw) -> case b_aB6 of _ [Occ=Dead, Dmd=<L,A>] { Main.FBufferData ds_dOP [Occ=Once!, Dmd=<S,U>] -> case ds_dOP of _ [Occ=Dead, Dmd=<L,A>] { Main.HLState @ cache_s16y dt_s16z [Dmd=<C(C(S)),U>] cache_s16A [Occ=Once, Dmd=<S,U>] -> case dt_s16z r_aB5 cache_s16A of dt_XBQ { __DEFAULT -> Main.FBufferData @ syntax_aMw (Main.HLState @ syntax_aMw @ cache_s16y dt_s16z dt_XBQ) } } }}] Main.focusAst = \ (@ syntax_aMw) (r_aB5 :: GHC.Types.Int) (b_aB6 :: Main.BufferImpl syntax_aMw) -> case b_aB6 of _ [Occ=Dead, Dmd=<L,A>] { Main.FBufferData ds_dOP [Dmd=<S,U>] -> case ds_dOP of _ [Occ=Dead] { Main.HLState @ cache_s220 dt_s221 cache_s222 -> case dt_s221 r_aB5 cache_s222 of dt_XBQ { __DEFAULT -> Main.FBufferData @ syntax_aMw (Main.HLState @ syntax_aMw @ cache_s220 dt_s221 dt_XBQ) } } } <snip> }}} The full log is attached. The same error occurs with a GHC HEAD build from 2012/12/12. I will check with a latest HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8714> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #8124: Possible leaks when using foreign export.
by GHC 17 Mar '14

17 Mar '14

#8124: Possible leaks when using foreign export. ------------------------------+-------------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.6.3 System | Operating System: Unknown/Multiple Keywords: | Type of failure: Runtime performance bug Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- When a Haskell function exported with foreign export is called from outside Haskell a new Task may be allocated for it. There will be one Task allocated for each OS thread calling into Haskell (this happens in rts_lock()). This Task is, by design, never deallocated. This works fine with a small number of threads, but if the external caller generates a lot of threads that die the Haskell RTS will just get more and more Task objects that are never freed. The Task also contains a condition variable and a mutex, which incurs a HANDLE leak on Windows. I don't see an elegant fix to this, but the attached code remembers the OS thread for "incall" Task, and every so often (every 100 Tasks created) if will scan the Tasks looking for ones where the OS thread is dead, and remove these. The fix only works on Windows, I'm afraid. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8124> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 23

[GHC] #8906: rewrite arrow form in type signature sometimes leads to exception, sometimes not
by GHC 17 Mar '14

17 Mar '14

#8906: rewrite arrow form in type signature sometimes leads to exception, sometimes not ----------------------------------+--------------------------------- Reporter: thaumkid | Owner: Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- Seems like the arrow form in signatures should either be restricted further or made more flexible. {{{ > let a = id :: ((->) a) a > a 2 *** Exception: expectJust cpeBody:collect_args > :t a a :: (->) a a }}} {{{ > let a = id :: (->) a a > a 2 2 > :t a a :: a -> a }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8906> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #8024: Dynamic linking not working on PowerPC Linux.
by GHC 16 Mar '14

16 Mar '14

#8024: Dynamic linking not working on PowerPC Linux. ----------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+--------------------------- Changes (by trommler): * cc: ptrommler@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8024#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5063: unix package has untracked dependency on libbsd
by GHC 16 Mar '14

16 Mar '14

#5063: unix package has untracked dependency on libbsd ----------------------------+---------------------------------------------- Reporter: duncan | Owner: trommler Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: | Version: 7.0.3 libraries/unix | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Moderate (less than a day) Unknown/Multiple | Blocked By: Type of failure: Other | Related Tickets: Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by trommler): * owner: => trommler * difficulty: => Moderate (less than a day) * milestone: 7.6.2 => 7.10.1 * failure: None/Unknown => Other Comment: I think {{{libutil.h}}} and the dependency on {{{libutil.so}}} can be avoided using {{{posix_openpt}}} instead of {{{openpty}}}. The former is specified in POSIX.1-2001 and is available on FreeBSD, Linux, OSX and Solaris 10 according to Stevens and Rago, Advanced Programming in the UNIX Environment. I will work on a patch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5063#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8833: GHC (compilation mode) crashes
by GHC 15 Mar '14

15 Mar '14

#8833: GHC (compilation mode) crashes -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: Compile-time Difficulty: Moderate (less | crash than a day) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- {{{ module Main where { newtype Rec a b = Rec {deRec :: Rec a b -> a}; infixl 1 >|>; infixl 1 <|<; (>|>) = Rec; (<|<) (Rec x) = x; fix f = (\x -> f (x <|< x)) (Rec (\x -> f (x <|< x))); factorial = fix (\f x -> if x<=1 then 1 else x*f(x-1)); main = do { x <- getLine; putStrLn (show (factorial (read x))) } } }}} GHC crashes with this error: {{{ [1 of 1] Compiling Main ( /Users/iOne/Documents/Test.hs, /Users/iOne/Documents/Test.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): Simplifier ticks exhausted When trying UnfoldingDone a_sMx{v} [lid] To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 7121 }}} (This works fine in GHCi). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8833> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8895: GHC Bug trac login verification fails
by GHC 15 Mar '14

15 Mar '14

#8895: GHC Bug trac login verification fails ------------------------------------+------------------------------------- Reporter: guest | Owner: hvr Type: bug | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I tried to register a new login for the username novadenizen (with corresponding gmail account) and I never received a verification email. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8895> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8718: Add role annotations to base
by GHC 14 Mar '14

14 Mar '14

#8718: Add role annotations to base -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- With roles and Coercible in GHC, we ought to add role annotations to base and other libraries. We have them for `Ptr` and `FunPtr`; I guess we need them for * `Map` (first parameter) * `Set` * `Vector` (or rather its primitive building block) What else? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8718> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8725: make DESTDIR=... install broken
by GHC 14 Mar '14

14 Mar '14

#8725: make DESTDIR=... install broken ----------------------------------+---------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Build System | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC failed Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------------+---------------------------------------- Hi, when the building the Debian package of GHC HEAD, I get this error: {{{ $ /usr/bin/make DESTDIR=/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp install [...] /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc /old-time-1.1.0.2 "inplace/bin/ghc-cabal" copy libraries/haskell98 dist-install "strip" '/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp' '/usr' '/usr/lib/ghc' '/usr/share/doc/ghc-doc/html/libraries' 'v p dyn' Installing library in /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/haskell98-2.0.0.3 "inplace/bin/ghc-cabal" copy libraries/haskell2010 dist-install "strip" '/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp' '/usr' '/usr/lib/ghc' '/usr/share/doc/ghc-doc/html/libraries' 'v p dyn' Installing library in /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/haskell2010-1.1.1.1 "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin /ghc-pkg" --force --global-package-db "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/package.conf.d" update rts/dist/package.conf.install /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin /ghc-pkg: error while loading shared libraries: libHSterminfo-0.4.0.0-ghc7.9.20140130.so: cannot open shared object file: No such file or directory make[1]: *** [install_packages] Fehler 127 make: *** [install] Fehler 2 }}} The problem is that it is calling ghc-pkg at the installed position, where it cannot find its libraries. `/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/bin /ghc-pkg` would also not work, as that refers to absolute paths which are not there yet. I guess it should continue using the binaries in `inplace/bin` just like for `ghc-cabal`. But that alone does not help: {{{ "inplace/bin/ghc-pkg" --force --global-package-db "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/package.conf.d" update rts/dist/package.conf.install Reading package info from "rts/dist/package.conf.install" ... done. rts-1.0: Warning: library-dirs: /usr/lib/ghc/rts-1.0 doesn't exist or isn't a directory rts-1.0: cannot find any of ["libHSrts.a","libHSrts.p_a","libHSrts- ghc7.9.20140130.so","libHSrts-ghc7.9.20140130.dylib","HSrts- ghc7.9.20140130.dll"] on library path (ignoring) "inplace/bin/ghc-cabal" register libraries/ghc-prim dist-install "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin/ghc" "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin /ghc-pkg" "/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc" '/home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp' '/usr' '/usr/lib/ghc' '/usr/share/doc/ghc-doc/html/libraries' NO Warning: cannot determine version of /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin/ghc : "" Warning: cannot determine version of /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin /ghc-pkg : "" ghc-cabal: /home/nomeata/dailies/2014-01-31/ghc-7.9.20140130/debian/tmp/usr/lib/ghc/lib/bin /ghc-pkg: error while loading shared libraries: libHSterminfo-0.4.0.0-ghc7.9.20140130.so: cannot open shared object file: No such file or directory }}} It would be nice if this can be fixed before 7.8.1, packagers rely on `DESTDIR`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8725> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8876: Add inline version of newByteArray#
by GHC 13 Mar '14

13 Mar '14

#8876: Add inline version of newByteArray# ------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- This is the equivalent of #5925 for `ByteArray#`s. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8876> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6