January 2016 - ghc-tickets

[GHC] #8586: internal error: evacuate(static): strange closure type 5189
by GHC 22 Jan '16

22 Jan '16

#8586: internal error: evacuate(static): strange closure type 5189 ----------------------------+------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: crash | Operating System: Windows Architecture: x86 | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+------------------------------- I cannot reproduce this reliably, but it happened once. Here’s what I did: * Install Yesod * Scaffold a blank Yesod project with no DB * Run GHCi * :l Foundation.hs * :info AForm Output: {{{ newtype AForm m a = AForm {unAForm :: (HandlerSite m, [Text]) -> Maybe (Env, FileEnv) -> Ints -> m (FormResult a, [FieldView (HandlerSite m)] -> [FieldView (HandlerSite m)], Ints, Enctype)} -- Defined in `Yesod.Form.Types' instance Monad m => Functor (AForm m) -- Defined in `Yesod.Form.Types' instance (Monad m, Monoid a) => Monoid (AForm m a) -- Defined in `Yesod.Form.Types' instance MonadTransghc.exe: internal error: evacuate(static): strange closure type 5189 (GHC version 7.6.3 for i386_unknown_mingw32) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information. }}} (P.S. I chose 'x86' for the Architecture because it’s running as 32-bit, but I’m actually using 64-bit Windows.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8586> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8605: Alternative, guard-like syntax for view patterns
by GHC 22 Jan '16

22 Jan '16

#8605: Alternative, guard-like syntax for view patterns ------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Implement the alternative syntax for view patterns described on the ViewPatternsAlternative wiki page -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8605> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #5654: Profiling semantics bug
by GHC 22 Jan '16

22 Jan '16

#5654: Profiling semantics bug -------------------------------------+------------------------------------- Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: low | Milestone: 8.0.1 Component: Profiling | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | profiling/should_run/scc004 Blocked By: | Blocking: Related Tickets: #10007 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata): In Phab:D1618, which removes `IND_PERM`, simonmar wrote that the functionality removed there might be needed to fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5654#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10950: Sphinx "RecursionError: maximum recursion depth exceeded while pickling an object"
by GHC 22 Jan '16

22 Jan '16

#10950: Sphinx "RecursionError: maximum recursion depth exceeded while pickling an object" -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | -------------------------------------+------------------------------------- During a recent validate with Sphinx (sphinx-build) 1.3.1 (as packaged by Arch Linux), I got this failure: {{{ reading sources... [ 33%] glasgow_exts Exception occurred: File "/usr/lib/python3.5/site-packages/sphinx/environment.py", line 863, in read_doc pickle.dump(doctree, f, pickle.HIGHEST_PROTOCOL) RecursionError: maximum recursion depth exceeded while pickling an object The full traceback has been saved in /tmp/sphinx-err-11x82xjc.log, if you want to report the issue to the developers. Please also report this if it was a user error, so that a better error message can be provided next time. A bug report can be filed in the tracker at <https://github.com/sphinx- doc/sphinx/issues>. Thanks! docs/users_guide/ghc.mk:30: recipe for target 'docs/users_guide/ghc.1' failed make[1]: *** [docs/users_guide/ghc.1] Error 1 Makefile:121: recipe for target 'all' failed make: *** [all] Error 2 }}} The contents of the referenced log: {{{ # Sphinx version: 1.3.1 # Python version: 3.5.0 (CPython) # Docutils version: 0.12 release # Jinja2 version: 2.8 # Last messages: # reading sources... [ 6%] bugs # reading sources... [ 9%] codegens # reading sources... [ 12%] debugging # reading sources... [ 15%] editing-guide # reading sources... [ 18%] extending_ghc # reading sources... [ 21%] ffi-chap # reading sources... [ 24%] flags # reading sources... [ 27%] ghc # reading sources... [ 30%] ghci # reading sources... [ 33%] glasgow_exts # Loaded extensions: # sphinx.ext.extlinks (1.3.1) from /usr/lib/python3.5/site- packages/sphinx/ext/extlinks.py # alabaster (0.7.6) from /usr/lib/python3.5/site- packages/alabaster/__init__.py Traceback (most recent call last): File "/usr/lib/python3.5/site-packages/sphinx/cmdline.py", line 245, in main app.build(opts.force_all, filenames) File "/usr/lib/python3.5/site-packages/sphinx/application.py", line 264, in build self.builder.build_update() File "/usr/lib/python3.5/site-packages/sphinx/builders/__init__.py", line 240, in build_update self.build(['__all__'], to_build) File "/usr/lib/python3.5/site-packages/sphinx/builders/__init__.py", line 259, in build self.doctreedir, self.app)) File "/usr/lib/python3.5/site-packages/sphinx/environment.py", line 618, in update self._read_serial(docnames, app) File "/usr/lib/python3.5/site-packages/sphinx/environment.py", line 638, in _read_serial self.read_doc(docname, app) File "/usr/lib/python3.5/site-packages/sphinx/environment.py", line 863, in read_doc pickle.dump(doctree, f, pickle.HIGHEST_PROTOCOL) RecursionError: maximum recursion depth exceeded while pickling an object }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10950> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #8907: Un-zonked kind variable passes through type checker
by GHC 22 Jan '16

22 Jan '16

#8907: Un-zonked kind variable passes through type checker -------------------------------------------+------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.1-rc2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- I have this module: {{{ {-# LANGUAGE PolyKinds #-} module Bug where data Poly a }}} Now, I say this: {{{ > ghc Bug.hs -fforce-recomp -dppr-debug -fprint-explicit-foralls -ddump-tc }}} The following is produced: {{{ [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) TYPE SIGNATURES TYPE CONSTRUCTORS main:Bug.Poly{tc rn2} :: k{tv ao6} [sk] -> ghc-prim:GHC.Prim.*{(w) tc 34d} data Poly{tc} (k::ghc-prim:GHC.Prim.BOX{(w) tc 347}) (a::k) No C type associated Roles: [nominal, phantom] RecFlag NonRecursive, Not promotable = FamilyInstance: none COERCION AXIOMS Dependent modules: [] Dependent packages: [base, ghc-prim, integer-gmp] ==================== Typechecker ==================== }}} My concern is the `[sk]` that appears after the kind variable `k_ao6`. It would appear that a ''skolem'' type variable passes out of the type- checker and is used as the binder for polymorphic kind of `Poly`. Should this get zonked somewhere? My guess is that there is no way to get this apparent misbehavior to trigger some real failure, given that the variable will be substituted away before much else happens. Yet, when I saw a skolem appear in a similar position after modifying the type-checker, I was sure I had done something wrong somewhere. So, is this intended or accidental behavior? If accidental, should we be scared? If we needn't be scared, I'm happy to close this as wontfix, but a Note would probably be helpful somewhere. Apologies if that Note is already written and I missed it! The same behavior is present in 7.8.1 RC 2 and in HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8907> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8666: integer-gmp fails to compile on Debian Squeeze
by GHC 22 Jan '16

22 Jan '16

#8666: integer-gmp fails to compile on Debian Squeeze -----------------------------------+--------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries | Version: 7.7 (other) | Operating System: Linux Keywords: | Type of failure: Compile-time crash Architecture: x86_64 (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- I get an error when compiling recent HEAD on Debian Squeeze: {{{ "inplace/bin/ghc-stage1" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H64m -O0 -fasm -package-name integer-gmp-0.5.1.0 -hide-all- packages -i -ilibraries/integer-gmp/. -ilibraries/integer-gmp/dist- install/build -ilibraries/integer-gmp/dist-install/build/autogen -Ilibraries/integer-gmp/dist-install/build -Ilibraries/integer-gmp/dist- install/build/autogen -Ilibraries/integer-gmp/. -optP-include -optPlibraries/integer-gmp/dist-install/build/autogen/cabal_macros.h -package ghc-prim-0.3.1.0 -Wall -package-name integer-gmp -XHaskell2010 -O -fasm -no-user-package-db -rtsopts -Ilibraries/integer- gmp/mkGmpDerivedConstants/dist -odir libraries/integer-gmp/dist- install/build -hidir libraries/integer-gmp/dist-install/build -stubdir libraries/integer-gmp/dist-install/build -fno-use-rpaths -optl-Wl,-rpath -optl-Wl,'$ORIGIN/../ghc-prim-0.3.1.0' -optl-Wl,-rpath -optl- Wl,'$ORIGIN/../rts-1.0' -optl-Wl,-zorigin libraries/integer-gmp/dist- install/build/GHC/Integer.dyn_o libraries/integer-gmp/dist- install/build/GHC/Integer/GMP/Internals.dyn_o libraries/integer-gmp/dist- install/build/GHC/Integer/GMP/Prim.dyn_o libraries/integer-gmp/dist- install/build/GHC/Integer/Logarithms.dyn_o libraries/integer-gmp/dist- install/build/GHC/Integer/Logarithms/Internals.dyn_o libraries/integer-gmp /dist-install/build/GHC/Integer/Type.dyn_o libraries/integer-gmp/dist- install/build/cbits/gmp-wrappers.dyn_o libraries/integer-gmp/dist- install/build/cbits/cbits.dyn_o libraries/integer-gmp/gmp/objs/*.o -shared -dynamic -dynload deploy -no-auto-link-packages -o libraries /integer-gmp/dist-install/build/libHSinteger- gmp-0.5.1.0-ghc7.7.20140113.so Warning: -rtsopts and -with-rtsopts have no effect with -shared. Call hs_init_ghc() from your main() function to set these options. /usr/bin/ld: libraries/integer-gmp/gmp/objs/aors.o: relocation R_X86_64_32 against `__gmpz_sub' can not be used when making a shared object; recompile with -fPIC libraries/integer-gmp/gmp/objs/aors.o: could not read symbols: Bad value collect2: ld returned 1 exit status make[1]: *** [libraries/integer-gmp/dist-install/build/libHSinteger- gmp-0.5.1.0-ghc7.7.20140113.so] Error 1 make: *** [all] Error 2 }}} I can build in-tree `libgmp` by extracting it and running `./configure make`. Following Austin's and Herbert's suggestions I tried adding `-fPIC` to command line options but with no result - see attachements. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8666> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #8782: Using GADT's to maintain invariant in GHC libraries
by GHC 22 Jan '16

22 Jan '16

#8782: Using GADT's to maintain invariant in GHC libraries ------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I rewrote `compiler/utils/OrdList.lhs` using a GADT to preserve some invariants stated only in comments — an excellent chance for `ghc` to eat its own proverbial dog food I feel :) The type signatures remain the same so it should be a drop-in replacement but it does use some GHC features that are too recent (closed type families in particular, the `IsList` instance can be removed) making it ineligible for inclusion I believe. hvr on `#ghc` suggested that I submit a patch anyway and that it could be implemented at a later date (they said `ghc` must be able to be compiled by the last two previous major versions), if this is useful then I will translate `Bag.hls` which has the same invariants but more complicated functions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8782> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #9407: Program produces different output when compiled with -O
by GHC 22 Jan '16

22 Jan '16

#9407: Program produces different output when compiled with -O -------------------------------------+------------------------------------- Reporter: arotenberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: Incorrect Difficulty: Unknown | result at runtime Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When compiled and run as {{{ ghc Subtlety.hs Subtlety }}} the attached program generates the correct output of {{{ Just (Vec3 0.0 0.0 1.0) }}} but when compiled and run using {{{ ghc -O Subtlety.hs Subtlety }}} the program's output is {{{ Just (Vec3 0.0 0.9805806756909202 0.19611613513818404) }}} Furthermore, subtle changes to the source code (like removing the strictness on the `Vec3` type's fields) can alter the behavior of the compiled program. I am using GHC 7.8.3 x86-64 from Haskell Platform 2014.2.0.0 RC2 on Windows 8. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9407> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #11460: OverloadedStrings cause error in annotation
by GHC 21 Jan '16

21 Jan '16

#11460: OverloadedStrings cause error in annotation -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Linux Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following code {{{#!hs {-# LANGUAGE OverloadedStrings #-} {-# ANN module "HLint: ignore Eta reduce" #-} main = putStrLn "hello" }}} results in {{{ /tmp/Foo.hs:3:1: No instance for (Data.Data.Data a0) arising from an annotation The type variable ‘a0’ is ambiguous Note: there are several potential instances: instance (Data.Data.Data a, Data.Data.Data b) => Data.Data.Data (Either a b) -- Defined in ‘Data.Data’ instance Data.Data.Data t => Data.Data.Data (Data.Proxy.Proxy t) -- Defined in ‘Data.Data’ instance (GHC.Types.Coercible a b, Data.Data.Data a, Data.Data.Data b) => Data.Data.Data (Data.Type.Coercion.Coercion a b) -- Defined in ‘Data.Data’ ...plus 31 others In the annotation: {-# ANN module "HLint: ignore Eta reduce" #-} /tmp/Foo.hs:3:16: No instance for (Data.String.IsString a0) arising from the literal ‘"HLint: ignore Eta reduce"’ The type variable ‘a0’ is ambiguous Note: there is a potential instance available: instance Data.String.IsString [Char] -- Defined in ‘Data.String’ In the annotation: {-# ANN module "HLint: ignore Eta reduce" #-} }}} when using GHC 7.10.3, and similar for GHC 8 RC -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11460> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8830: internal error: Misaligned section: 18206e5b on Windows
by GHC 21 Jan '16

21 Jan '16

#8830: internal error: Misaligned section: 18206e5b on Windows ----------------------------+------------------------------- Reporter: joeyhess | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+------------------------------- Loading package gnutls-0.1.5 ... ghc.exe: internal error: Misaligned section: 18206e5b (GHC version 7.6.3 for i386_unknown_mingw32) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information. Only occurs when loading the module in as part of a build involving TH. A non-TH-using program using this library links successfully. I have installed a gnutls built for Windows, from http://josefsson.org/gnutls4win/. Different versions have different section offsets, but all the versions I've tried fail like this. I've also gotten the same error linking gnuidn, instead of gnutls, with gnuidn from ftp://ftp.gnu.org/gnu/libidn/libidn-1.28-win32.zip This makes me think this may be a general ghci on windows bug, rather than a misbuilt library. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8830> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5