July 2016 - ghc-tickets

[GHC] #11617: DYLD_LIBRARY_PATH ignored on Mac OS X 10.11.x
by GHC 07 Jul '16

07 Jul '16

#11617: DYLD_LIBRARY_PATH ignored on Mac OS X 10.11.x --------------------------------------+--------------------------------- Reporter: borsboom | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: hsc2hs | Version: 7.10.3 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- This was first reported on the Stack issue tracker at https://github.com/commercialhaskell/stack/issues/1161, but I've traced it to the fact that GHC uses shell script wrappers for many common commands, including `ghc`, `ghci`, and `hsc2hs`. Background: Mac OS X 10.11 introduced System Integrity Protection, which treats parts of the filesystem specially to prevent tampering with the system. Among those protections is that executables in `/bin`, such as `/bin/sh`, have the DYLD_LIBRARY_PATH variable stripped from the environment before being invoked. Since `ghc`, `hsc2hs`, and others are shell scripts that use `#!/bin/sh`, it means DYLD_LIBRARY_PATH is stripped from the environment when invoking them. I was able to work around this issue by copying `/bin/sh` to my home directory and then modifying the `#!` path in the `hsc2hs` to use the copy. I'm not sure what the best way to move forward is. Some possibilities I can think of: * Have installer tools for OS X (such as Stack, ghcformacosx, and Homebrew) apply the workaround themselves, although that leaves out anyone who installs directly from an official bindist or builds from source, and is a duplication of effort. * Have `make install` on OS X copy `/bin/sh` and "fix" the wrappers itself. * Replace the shell script wrappers with something written in Haskell that reads the paths from a configuration file. Note: I set the component to `hsc2hs` since that's where I encountered the problem, but I wouldn't be surprised if it also effected other cases (like `ghci`, and `ghc` with Template Haskell). I also hesitated to categorize this a "bug" since it's OS X's weird behaviour, and not actually something I feel GHC is doing wrong, causing this problem. But I doubt OS X is going to change, although it is possible (but not recommended) to disable SIP by booting into recovery mode and running `csrutil disable`, after which these protections are no longer in place. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11617> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #5728: Warnings from -fwarn-incomplete-record-updates even with all constructors matched
by GHC 06 Jul '16

06 Jul '16

#5728: Warnings from -fwarn-incomplete-record-updates even with all constructors matched -------------------------------------+------------------------------------- Reporter: mjo | Owner: Type: bug | Status: closed Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.1 Resolution: duplicate | Keywords: warnings 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: | -------------------------------------+------------------------------------- Comment (by mjo): For what it's worth, this is still present in 8.0.1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5728#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12228: Make newtype polykinded
by GHC 06 Jul '16

06 Jul '16

#12228: Make newtype polykinded -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | 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 hate having to give up so much top type safety when I use unlifted types. It seems to me that I should be able to use `newtype` to create new types of kind `#` as well as `*`: {{{#!hs newtype MyWord# = MyWord# Word# newtype GoodStuff# a = GoodStuff (# Int#, a #) }}} In an ideal world, such types would be in Core (so RULES could see them), but I'd be very happy even to just have them in Haskell. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12228> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12222: ghc panic kindFunResult with template haskell 'isInstance'
by GHC 06 Jul '16

06 Jul '16

#12222: ghc panic kindFunResult with template haskell 'isInstance' -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.10.3 Haskell | Keywords: kindFunResult | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs --TH.hs {-# OPTIONS_GHC -Wall #-} {-# LANGUAGE TemplateHaskell #-} module TH ( SomeClass , doThStuff ) where import Control.Monad ( void ) import Language.Haskell.TH class SomeClass a where doThStuff :: Name -> Q [Dec] doThStuff name = reify name >>= go go :: Info -> Q [Dec] go (TyConI (DataD [] _ _ [(NormalC _ [(_,typ)])] _)) = do void (isInstance ''SomeClass [typ]) -- THIS LINE CRASHES GHC return [] go _ = fail "wrong info" }}} {{{#!hs -- Bug.hs {-# OPTIONS_GHC -Wall #-} {-# LANGUAGE TemplateHaskell #-} module Bug ( Bar(..) ) where import TH data Foo a = Foo a instance SomeClass (Foo a) data Bar f = Bar (Foo (f Int)) doThStuff ''Bar }}} I get this error: {{{ $ runghc -ddump-splices Bug.hs Bug.hs:1:1: Exception when trying to run compile-time code: ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-unknown-linux): kindFunResult Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Code: doThStuff ''Bar }}} If I comment out either `instance SomeClass (Foo a)` or `void (isInstance ''SomeClass [typ])`, the crash does not occur. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12222> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12366: Use TypeOperators for pattern synonyms?
by GHC 05 Jul '16

05 Jul '16

#12366: Use TypeOperators for pattern synonyms? -------------------------------------+------------------------------------- Reporter: dubiousjim | Owner: Type: feature | Status: new request | Priority: low | Milestone: Component: Compiler | Version: 8.0.1 (Parser) | 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: -------------------------------------+------------------------------------- With the language setting `-XTypeOperators`, I can use ''varsym'' expressions, like `<|`, as type constructors. I would expect that we would then also be able to use them as pattern synonyms; but we can't. This is a request for that to become possible. {{{#!hs {-# LANGUAGE TypeOperators, PatternSynonyms #-} module Main where pattern (<|) x xs = Just (x, xs) main = case Just (1, [2,3]) of { Nothing -> putStrLn "Nothing"; y <| ys -> print y } }}} gives a parse error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12366> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 05 Jul '16

05 Jul '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: 12262 Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Changes (by meteficha): * cc: felipe.lessa@… (removed) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:226> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[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

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 05 Jul '16

05 Jul '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: 12262 Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"1b058d4a0f4b12bf15d186409cfff8a2b93fd3a9/ghc" 1b058d4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1b058d4a0f4b12bf15d186409cfff8a2b93fd3a9" Remove varEnvElts varEnvElts can introduce unnecessary nondeterminism and we can finally remove it, so that no one will use it by accident. If someone wants to use varEnvElts they should either use DVarEnv or use nonDetEltsUFM and document why it doesn't introduce nondeterminism. GHC Trac: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:225> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 05 Jul '16

05 Jul '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: 12262 Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"18b782e3209764c318da46b378b517749af14685/ghc" 18b782e3/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="18b782e3209764c318da46b378b517749af14685" Kill varEnvElts in zonkEnvIds This localizes the nondeterminism that varEnvElts could have introduced, so that it's obvious that it's benign. Test Plan: ./validate Reviewers: simonpj, austin, bgamari Subscribers: thomie, simonmar Differential Revision: https://phabricator.haskell.org/D2390 GHC Trac Issues: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:224> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 05 Jul '16

05 Jul '16

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: 11362 | Blocking: 12262 Related Tickets: #10424 | Differential Rev(s): Phab:D910, | Phab:D1073, Phab:D1133, Phab:D1192, | Phab:D1268, Phab:D1360, Phab:D1373, Wiki Page: | Phab:D1396, Phab:D1457, Phab:D1468, DeterministicBuilds | Phab:D1487, Phab:D1504, Phab:D1508 -------------------------------------+------------------------------------- Comment (by Bartosz Nitka <niteria@…>): In [changeset:"27fc75b2fea014006964eafe53b3ae17e058d75b/ghc" 27fc75b2/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="27fc75b2fea014006964eafe53b3ae17e058d75b" Document codegen nondeterminism We don't care about bit-for-bit reproducibility, so I'm just documenting this as a possible source. GHC Trac: #4012 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:223> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0