June 2016 - ghc-tickets

[GHC] #12200: ghc-pkg check complains about missing libCffi on dynamic-only install
by GHC 05 Jul '16

05 Jul '16

#12200: ghc-pkg check complains about missing libCffi on dynamic-only install -------------------------------------+------------------------------------- Reporter: dudebout | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: ghc-pkg | Version: 7.10.2 Keywords: libCffi | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- After installing the Linux (x86_64) version of ghc 7.10.2, I removed all the .a files as I was interested in a dynamic libraries only install. Everything works fine but ghc-pkg check fails with the following error: cannot find any of ["libCffi.a","libCffi.p_a","libCffi-ghc7.10.2.so ","libCffi-ghc7.10.2.dylib","Cffi-ghc7.10.2.dll"] on library path Adding a symbolic link from lib/ghc-7.10.2/rts/libffi.so to lib/ghc-7.10.2/rts/libCffi-ghc7.10.2.so silences that warning. I am not sure that this is the correct way to handle this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12200> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12249: Template Haskell top level scoping error
by GHC 05 Jul '16

05 Jul '16

#12249: Template Haskell top level scoping error -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 8.0.1 Haskell | 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: -------------------------------------+------------------------------------- Consider this {{{ module TH where $( [d| x = True; f1 = x |]) $( [d| x = 'c'; f2 = x |] ) }}} I think this should compile fine. There are two bindings of `x`, so I would not expect to be able to name `x` in the export list, or indeed anywhere else. But `x` may just be a local helper-function to the other bindings (`f1` and `f2` resp) so that's fine. Alas I get {{{ ~/5builds/HEAD-4/inplace/bin/ghc-stage2 -c TH.hs -ddump-splices -ddump-tc TH.hs:5:4-26: Splicing declarations [d| x_apA = True f1_apB = x_apA |] ======> x_a3tN = True f1_a3tO = x_a3tN TH.hs:7:4-25: Splicing declarations [d| x_a3u4 = 'c' f2_a3u5 = x_a3u4 |] ======> x_a3uW = 'c' f2_a3uX = x_a3uW TH.hs:7:4: error: Multiple declarations of ‘x’ Declared at: TH.hs:5:4 TH.hs:7:4 TH.hs:7:4: error: The exact Name ‘x_a3uW’ is not in scope Probable cause: you used a unique Template Haskell name (NameU), perhaps via newName, but did not bind it If that's it, then -ddump-splices might be useful }}} So: * Perhaps we should not complain about multiple top-level bindings for `x` if they are all `Exact` RdrNames. * And the "not in scope" message is clearly bogus. Mind you, would you expect this to work? {{{ x = True $( [d| x = 'c'; f2 = x |] ) foo = x -- Which 'x' do we get? }}} Maybe the occurrence of `x` in `foo` is ambiguous. If you want to splice a hidden helper binding, which can't clash with some earlier or later user-supplied thing, then use an occurrence like `$x`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12249> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12230: Non-deterministic ghc-iserv terminated error
by GHC 01 Jul '16

01 Jul '16

#12230: Non-deterministic ghc-iserv terminated error -------------------------------------+------------------------------------- Reporter: ezyang | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: GHCi | Version: 8.1 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 noticed on a recent validate that I have been getting non-deterministic test failures due to external interpreter: {{{ =====> T10891(ext-interp) 12 of 15 [0, 1, 0] [77/9256] cd "./th/T10891.run" && "/home/hs01/ezyang/ghc-validate/inplace/test spaces/ghc-stage2" -c T10891.h s -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-missed-specialisatio ns -fshow-warning-groups -XTemplateHaskell -package template-haskell -fexternal-interpreter -v0 > T108 91.comp.stderr 2>&1 Compile failed (exit code 1) errors were: T10891.hs:30:3: error: • Exception when trying to run compile-time code: ghc-stage2: ghc-iserv terminated (-11) Code: let display :: Name -> Q () display q = ... in do { display ''C; display ''C'; .... } • In the untyped splice: $(let display :: Name -> Q () display q = do { ... } in do { display ''C; display ''C'; display ''C''; .... }) }}} More tests error the higher I crank up parallelism; on a recent full test run I got something like twenty failures of this kind when I have twelve threads. There are at least two problems here. The first is the actual failure, but the second is that there isn't enough diagnostic information here to tell what the actual problem is. Combined with the nondeterministic nature of this bug I'm not sure how to debug it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12230> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #11727: Allow one type signature for multiple pattern synonyms
by GHC 01 Jul '16

01 Jul '16

#11727: Allow one type signature for multiple pattern synonyms -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- There's no reason why we shouldn't allow the same type signature for multiple pattern synonyms just like ordinary functions. For example, {{{ pattern A,B,C,D :: Int pattern A = 5 pattern B = 6 pattern C = 7 pattern D = 8 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11727> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12233: Compilation does not stop on XeTeX error
by GHC 01 Jul '16

01 Jul '16

#12233: Compilation does not stop on XeTeX error -------------------------------------+------------------------------------- Reporter: markusr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Short: This bug is important for building in an automated manner, because an error in the documentations Tex code currently results in an interactive shell. I am compiling GHC 8.0.1 and the build system picked up XeTeX, which results in compilation of a PDF. There is a syntax error in the Tex code. Unfortunately, xelatex is called without the `-halt-on-error` option and compilation just sits there in the interactive xelatex promt. {{{ [...] generating indices... genindexcd docs/users_guide/build-pdf/users_guide ; xelatex users_guide.tex writing additional pages... searchThis is XeTeX, Version 3.14159265-2.6-0.99992 (TeX Live 2015/Exherbo texlive-core-2 015-r2) (preloaded format=xelatex) restricted \write18 enabled. copying images... [100%] images/prof_scc.svg copying static files... done copying extra files... done dumping search index in English (code: en) ... done dumping object inventory... done build succeeded, 25 warnings. entering extended mode (./users_guide.tex LaTeX2e <2015/01/01> Babel <3.9l> and hyphenation patterns for 79 languages loaded. (./sphinxmanual.cls Document Class: sphinxmanual 2009/06/02 Document class (Sphinx manual) (/usr/share/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texmf-dist/tex/latex/base/size10.clo))) (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texmf-dist/tex/latex/cmap/cmap.sty Package cmap Warning: pdftex not detected - exiting. ) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty [...] LaTeX Warning: Reference `glasgow_exts:ghc-flag--XIncoherentInstances' on page 285 undefined on input line 26759. ! Missing \endcsname inserted. <to be read again> \let l.26762 \begin{Verbatim}[commandchars=\\\{\}] ? }}} Please consider adding `-halt-on-error` in rules/sphinx.mk. Attached is a patch for master. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12233> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12000: static pointer in ghci
by GHC 01 Jul '16

01 Jul '16

#12000: static pointer in ghci -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 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: -------------------------------------+------------------------------------- {{{ $ ghci -fobject-code -ignore-dot-ghci -XStaticPointers GHCi, version 8.1.20160428: http://www.haskell.org/ghc/ :? for help Prelude> a = static id Prelude> a <interactive>:2:1: error: Variable not in scope: a Prelude> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12000> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11165: Testsuite framework failures are too easy to ignore and too hard to find
by GHC 01 Jul '16

01 Jul '16

#11165: Testsuite framework failures are too easy to ignore and too hard to find -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | 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 Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The testsuite driver really should do a better job of drawing the user's attention to framework failures. The only evidence in the testsuite summary that something went wrong is a non-zero "framework failures" count. If you notice that this count is non-zero then you need to sift manually through the initial log output produced by the driver and find the culprit. It's just generally terrible. Testsuite failures are failures, we should at least treat them as such and include them in the `TEST=...` message in the testsuite summary so they can be easily reproduced. Ideally we would also save the exception that caused the failure and show it in the summary as well. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11165> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #12343: base/tests/topHandler03.run failures
by GHC 01 Jul '16

01 Jul '16

#12343: base/tests/topHandler03.run failures -------------------------------------+------------------------------------- Reporter: niteria | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 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: -------------------------------------+------------------------------------- This fails on my machine, but appears to work on harbormaster. This is what I get: {{{ =====> topHandler03(normal) 1 of 1 [0, 0, 0] cd "../../libraries/base/tests/topHandler03.run" && "/data/users/bnitka /ghc-kill-ufmToList-validate/inplace/test spaces/ghc-stage2" -o topHandler03 topHandler03.hs -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn- missed-specialisations -fshow-warning-groups cd "../../libraries/base/tests/topHandler03.run" && ./topHandler03 Actual stderr output differs from expected: --- ../../libraries/base/tests/topHandler03.run/topHandler03.stderr.normalised 2016-06-30 10:18:07.313602229 -0700 +++ ../../libraries/base/tests/topHandler03.run/topHandler03.run.stderr.normalised 2016-06-30 10:18:07.314602263 -0700 @@ -1 +1 @@ -Terminated +/bin/sh: line 1: 2294693 Terminated ./topHandler03 *** unexpected failure for topHandler03(normal) }}} It used to work, I believe it worked few days ago. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12343> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12353: USA Call 2 @Microsoft outlook @((1.8.4.4.5.5.1.9.7.5.7))@Microsoft outlook customer helpline, Microsoft outlook Customer support n.u.m.b.e.r
by GHC 30 Jun '16

30 Jun '16

#12353: USA Call 2 @Microsoft outlook @((1.8.4.4.5.5.1.9.7.5.7))@Microsoft outlook customer helpline, Microsoft outlook Customer support n.u.m.b.e.r -------------------------------------+------------------------------------- Reporter: p.seoczar | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- outlook {{{#!hs f x = ... -- some haskell code }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12353> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12352: trdtg
by GHC 30 Jun '16

30 Jun '16

#12352: trdtg -------------------------------------+------------------------------------- Reporter: | Owner: prin11cejune30 | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- dfgerrt -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12352> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0