January 2016 - ghc-tickets

[GHC] #11436: ValueError: invalid literal for int() with base 10: '#11238'
by GHC 15 Jan '16

15 Jan '16

#11436: ValueError: invalid literal for int() with base 10: '#11238' -------------------------------------+------------------------------------- Reporter: trommler | Owner: hvr Type: bug | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- ==== How to Reproduce ==== While doing a POST operation on `/ticket/9498`, Trac issued an internal error. I changed the ticket number in field BlockedBy and trac does not like the hash mark. The ticket is updated nevertheless and the hash marks on the ticket numbers in the Blocking field are gone too. Links to the tickets are no longer present. Request parameters: {{{ {u'__FORM_TOKEN': u'2c077745a0bf5115b3e543fe', u'action': u'leave', u'comment': u'', u'field_architecture': u'Unknown/Multiple', u'field_blockedby': u'#11238', u'field_blocking': u'#9237', u'field_cc': u'trommler, simonmar', u'field_component': u'Compiler (Linking)', u'field_description': u"Greetings,\r\n\r\nGHC tries to load unversioned dynamic libraries instead of versioned (i.e. libfoo.so instead of libfoo.so.1.2.3).\r\nThis is a problem, since Distributions like Debian (I don't know about other distributions) don't include unversioned .SOs in their runtime packages and the unversioned are only available in the -dev packages as a symlink to the verioned ones.\r\nThis means FFI libraries depend on the -dev packages, even though they don't really need them.\r\nIt would be nice if GHC would try to load the versioned libraries as well.\r\n\r\nRegards\r\nSven", u'field_differential': u'', u'field_failure': u'Other', u'field_keywords': u'Debian', u'field_milestone': u'', u'field_os': u'Linux', u'field_priority': u'normal', u'field_related': u'', u'field_summary': u'GHC links against unversioned .so files', u'field_testcase': u'', u'field_type': u'feature request', u'field_version': u'7.6.3', u'field_wikipage': u'', 'id': u'9498', u'preview': u'Preview', u'replyto': u'', u'sfp_email': u'', u'sfph_mail': u'', u'start_time': u'1452879954402108', u'view_time': u'1452879954402108'} }}} User agent: `Mozilla/5.0 (Macintosh; Intel Mac OS X 10_11_2) AppleWebKit/601.3.9 (KHTML, like Gecko) Version/9.0.2 Safari/601.3.9` ==== System Information ==== ''System information not available'' ==== Enabled Plugins ==== ''Plugin information not available'' ==== Python Traceback ==== {{{ Traceback (most recent call last): File "/usr/local/lib/python2.7/dist- packages/Trac-1.0.9-py2.7.egg/trac/web/main.py", line 554, in _dispatch_request dispatcher.dispatch(req) File "/usr/local/lib/python2.7/dist- packages/Trac-1.0.9-py2.7.egg/trac/web/main.py", line 267, in dispatch iterable=chrome.use_chunked_encoding) File "/usr/local/lib/python2.7/dist- packages/Trac-1.0.9-py2.7.egg/trac/web/chrome.py", line 1075, in render_template stream |= self._filter_stream(req, method, filename, stream, data) File "/usr/local/lib/python2.7/dist- packages/Genshi-0.6-py2.7.egg/genshi/core.py", line 132, in __or__ return Stream(_ensure(function(self)), serializer=self.serializer) File "/usr/local/lib/python2.7/dist- packages/Trac-1.0.9-py2.7.egg/trac/web/chrome.py", line 1319, in inner data) File "build/bdist.linux-x86_64/egg/mastertickets/web_ui.py", line 140, in filter_stream field['rendered'] = self._link_tickets(req, data['ticket'][f]) File "build/bdist.linux-x86_64/egg/mastertickets/web_ui.py", line 313, in _link_tickets ticket = Ticket(self.env, tid) File "/usr/local/lib/python2.7/dist- packages/Trac-1.0.9-py2.7.egg/trac/ticket/model.py", line 69, in __init__ tkt_id = int(tkt_id) ValueError: invalid literal for int() with base 10: '#11238' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11436> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11345: Template Haskell's handling of infix GADT constructors is broken
by GHC 15 Jan '16

15 Jan '16

#11345: Template Haskell's handling of infix GADT constructors is broken -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 8.1 Haskell | 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: -------------------------------------+------------------------------------- There are several infelicities in the way that Template Haskell treats GADT constructors that are declared to be infix. To illustrate: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE TemplateHaskell #-} module Main (main) where import Language.Haskell.TH infixr 7 :***: data GADT a where Prefix :: Int -> Int -> GADT Int (:***:) :: Int -> Int -> GADT Int $(return []) main :: IO () main = do putStrLn $(reify ''GADT >>= stringE . pprint) putStrLn "" putStrLn $(reify ''GADT >>= stringE . show) }}} This doesn't print out quite what you'd expect: {{{ data Main.GADT (a_0 :: *) = Main.Prefix :: GHC.Types.Int -> GHC.Types.Int -> Main.GADT GHC.Types.Int | GHC.Types.Int Main.:***: GHC.Types.Int TyConI (DataD [] Main.GADT [KindedTV a_1627394505 StarT] Nothing [GadtC [Main.Prefix] [(Bang NoSourceUnpackedness NoSourceStrictness,ConT GHC.Types.Int),(Bang NoSourceUnpackedness NoSourceStrictness,ConT GHC.Types.Int) Main.GADT [ConT GHC.Types.Int],InfixC (Bang NoSourceUnpackedness NoSourceStrictness,ConT GHC.Types.Int) Main.:***: (Bang NoSourceUnpackedness NoSourceStrictness,ConT GHC.Types.Int) []) }}} TH thinks that `GADT` is a Haskell98 data declaration when `pprint`-ing it because `(:***:)` is converted to an `InfixC` (see [http://git.haskell.org/ghc.git/blob/04f3524f787b2cbd3f460e058c753529d3f2f7a… /template-haskell/Language/Haskell/TH/Ppr.hs#l362 here] for the relevant code). This causes the output to be a strange hodgepodge of Haskell98 and GADT syntax. Another issue is that even though I can reify `GADT`, I can't splice it back in! Compiling this: {{{#!hs {-# LANGUAGE GADTs #-} {-# LANGUAGE TemplateHaskell #-} module Main (main) where import Language.Haskell.TH $(do gadtName <- newName "GADT" prefixName <- newName "Prefix" infixName <- newName ":***:" a <- newName "a" return [DataD [] gadtName [KindedTV a StarT] Nothing [GadtC [prefixName] [(Bang NoSourceUnpackedness NoSourceStrictness,ConT ''Int),(Bang NoSourceUnpackedness NoSourceStrictness,ConT ''Int)] gadtName [ConT ''Int],InfixC (Bang NoSourceUnpackedness NoSourceStrictness,ConT ''Int) infixName (Bang NoSourceUnpackedness NoSourceStrictness,ConT ''Int)] []]) $(return []) main :: IO () main = do putStrLn $(reify ''GADT >>= stringE . pprint) putStrLn "" putStrLn $(reify ''GADT >>= stringE . show) }}} Results in an error: {{{ InfixGADT.hs:12:3: error: Cannot mix GADT constructors with Haskell 98 constructors When splicing a TH declaration: data GADT_0 (a_1 :: *) = Prefix_2 :: GHC.Types.Int -> GHC.Types.Int -> GADT_0 GHC.Types.Int | GHC.Types.Int :***:_3 GHC.Types.Int }}} [http://git.haskell.org/ghc.git/blob/04f3524f787b2cbd3f460e058c753529d3f2f7a… This code] is responsible. We have an issue where `InfixC` can be either Haskell98 or GADT syntax depending on the context, but in that particular context, there's not a good way to determine it. I can think of three solutions: 1. Add an `InfixGadtC` constructor. This adds more clutter to `Con`, but is the most straightforward fix. 2. Subsume infix GADT constructors under `GadtC`/`RecGadtC` (depending on if it has records), and treat `InfixC` as always being Haskell98. This wouldn't require any API changes, but it does leave a bit of asymmetry between the Haskell98 and GADT constructors, since there would be three of the former but two of the latter. 3. A radical approach (which subsumes option 2) would be to deprecate `InfixC`, subsume it under `NormalC`/`RecC`, and add an `InfixC` pattern synonym for compatibility. `InfixC` does seem extraneous anyway since you can just use `reifyFixity` to determine if a constructor is infix. That way, you have two Haskell98 and two GADT constructors (but you'd also have to deprecate `InfixC`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11345> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #11423: GHC 8.0-rc1's linker does not work in OSX
by GHC 15 Jan '16

15 Jan '16

#11423: GHC 8.0-rc1's linker does not work in OSX ----------------------------------------+--------------------------------- Reporter: danilo2 | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 8.0.1-rc1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- Hello! When I try to run `cabal install data-default` (it is just a very small library) I get the following output using GHC 8.0-rc1: {{{ cabal install data-default Resolving dependencies... Notice: installing into a sandbox located at /Users/<user>/dev/hs/env/default8/.cabal-sandbox Configuring data-default-class-0.0.1... Configuring dlist-0.7.1.2... Configuring old-locale-1.0.0.7... Failed to install data-default-class-0.0.1 Build log ( /Users/<user>/dev/hs/env/default8/.cabal-sandbox/logs/data- default-class-0.0.1.log ): Failed to install dlist-0.7.1.2 Build log ( /Users/<user>/dev/hs/env/default8/.cabal- sandbox/logs/dlist-0.7.1.2.log ): Failed to install old-locale-1.0.0.7 Build log ( /Users/<user>/dev/hs/env/default8/.cabal-sandbox/logs/old- locale-1.0.0.7.log ): cabal: Error: some packages failed to install: data-default-0.5.3 depends on old-locale-1.0.0.7 which failed to install. data-default-class-0.0.1 failed during the configure step. The exception was: user error ('/opt/ghc/8.0-rc1/bin/ghc' exited with an error: ld: library not found for -lgmp clang: error: linker command failed with exit code 1 (use -v to see invocation) `gcc' failed in phase `Linker'. (Exit code: 1) ) data-default-instances-base-0.0.1 depends on data-default-class-0.0.1 which failed to install. data-default-instances-containers-0.0.1 depends on data-default- class-0.0.1 which failed to install. data-default-instances-dlist-0.0.1 depends on dlist-0.7.1.2 which failed to install. data-default-instances-old-locale-0.0.1 depends on old-locale-1.0.0.7 which failed to install. dlist-0.7.1.2 failed during the configure step. The exception was: user error ('/opt/ghc/8.0-rc1/bin/ghc' exited with an error: ld: library not found for -lgmp clang: error: linker command failed with exit code 1 (use -v to see invocation) `gcc' failed in phase `Linker'. (Exit code: 1) ) old-locale-1.0.0.7 failed during the configure step. The exception was: user error ('/opt/ghc/8.0-rc1/bin/ghc' exited with an error: ld: library not found for -lgmp clang: error: linker command failed with exit code 1 (use -v to see invocation) `gcc' failed in phase `Linker'. (Exit code: 1) ) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11423> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11420: Incorrect links
by GHC 15 Jan '16

15 Jan '16

#11420: Incorrect links -------------------------------------+------------------------------------- Reporter: Ivan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The links to the source tarballs on the page https://www.haskell.org/ghc/download_ghc_7_10_3 are incorrect. Instead of links to the source tarballs, the links to the sources of windows-extra are provided. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11420> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation
by GHC 15 Jan '16

15 Jan '16

#7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation -------------------------------+-------------------------------------- Reporter: Doug310 | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.8.1-rc1 Resolution: | Keywords: gmp Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------+-------------------------------------- Comment (by bgamari): hvr, what is the status of this? Phab:D339 has been merged and we now always use `integer-gmp2` but we appear to build against `gmp-6.0.0-3` on Windows. Perhaps we should bump this so we can close this issue? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7655#comment:45> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11015: Add note describing unit ids, unit keys, package ids, and package keys,
by GHC 15 Jan '16

15 Jan '16

#11015: Add note describing unit ids, unit keys, package ids, and package keys, -------------------------------------+------------------------------------- Reporter: bgamari | Owner: ezyang Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 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: -------------------------------------+------------------------------------- It would be great if there were a nice comprehensive Note (perhaps in `Module.hs`) describing the various identifiers which we have for modules, packages, units, etc. These might include, * `Package` * `PkgName` * `PkgKey` * `PkgId` * `UnitId` * `UnitKey` * Component? After writing this I found [[Commentary/Packages/Concepts]] but it would be great if this information found its way into a nice, central Note. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11015> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #11388: Bad Windows PE handling in GHC runtime linker
by GHC 14 Jan '16

14 Jan '16

#11388: Bad Windows PE handling in GHC runtime linker -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: System (Linker) | Keywords: | Operating System: Windows Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Playing with `-fsplit-sections` on Windows I've found a pile of ancient (it was borrowed from Hugs interpreter code and I don't even know when was it created), absolutely redundant and plain wrong code in RTS linker. Technically it is a bug, but it doesn't break things when used with current Windows binutils with no special linker scripts involved. OTOH, it slows down runtime linker on Windows noticeably and thus can be considered as a performance bug. I've attached the patch which fixes this. The nice side-effect for existing users is that GHCi now loads compiled object code much faster on Windows. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11388> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11426: API Annotations: Detached parens annotations for infix function
by GHC 14 Jan '16

14 Jan '16

#11426: API Annotations: Detached parens annotations for infix function -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 (Parser) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect API Unknown/Multiple | annotation Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The code {{{#!hs module ParenFunBind where (foo x) y = x + y }}} results in the annotations for the `(` and `)` not being attached to anything in the final `ParsedSource` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11426> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11417: Missing context in Generics example
by GHC 14 Jan '16

14 Jan '16

#11417: Missing context in Generics example -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Core | Version: 7.10.3 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The Haddocks for `GHC.Generics` give an example of a default implementation using Generics: {{{#!hs class Encode a where encode :: a -> [Bool] default encode :: (Generic a) => a -> [Bool] encode x = encode' (from x) }}} The default signature is missing some context. It should read {{{#!hs default encode :: (Generic a, Encode' (Rep a)) => a -> [Bool] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11417> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11391: TypeError is fragile
by GHC 14 Jan '16

14 Jan '16

#11391: TypeError is fragile -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Consider this use of the new `TypeError` feature, {{{#!hs {-# LANGUAGE TypeInType, TypeFamilies, UndecidableInstances #-} {-# LANGUAGE UndecidableInstances #-} import Data.Kind import GHC.TypeLits (TypeError, ErrorMessage(..)) type family Resolve (t :: Type -> Type) :: Type -> Type where Resolve _ = TypeError (Text "ERROR") }}} ==== The okay case ==== Given something like, {{{#!hs testOK :: Resolve [] Int testOK = [] }}} we find that things work as expected, {{{ • ERROR • In the expression: [] :: Resolve [] Int In an equation for ‘testOK’: testOK = [] :: Resolve [] Int }}} This is what we would expect. ==== The bad case ==== However, it is very easy to fool GHC into not yielding the desired error message. For instance, {{{#!hs testNOTOK1 :: Resolve [] Int testNOTOK1 = () }}} gives us this a unification error, {{{ • Couldn't match type ‘()’ with ‘(TypeError ...)’ Expected type: Resolve [] Int Actual type: () }}} This clearly isn't what we expected. ==== The tricky case ==== Another way we can fool the typechecker is to make it attempt instance resolution on our `TypeError`, {{{#!hs testNOTOK2 :: Resolve [] Int testNOTOK2 = 1 }}} Which results in, {{{ • No instance for (Num (TypeError ...)) arising from the literal ‘1’ • In the expression: 1 In an equation for ‘testNOTOK2’: testNOTOK2 = 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11391> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10