November 2014 - ghc-tickets

[GHC] #9081: Template Haskell gets confused with scoped kind variables in a class declaration
by GHC 04 Nov '14

04 Nov '14

#9081: Template Haskell gets confused with scoped kind variables in a class declaration ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds, TypeFamilies #-} module Bug where import Data.Proxy $( [d| class kproxy ~ 'KProxy => C (kproxy :: KProxy a) where type TF (x :: a) :: Bool |]) }}} I get {{{ /Users/rae/temp/Bug.hs:7:4: Kind variable also used as type variable: ‘a_asJA’ In the declaration for class C_asJy /Users/rae/temp/Bug.hs:7:4: The exact Name ‘kproxy_asJB’ 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 }}} The code in the TH quote compiles fine on its own. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9081> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9747: Odd failure to deduce a constraint
by GHC 04 Nov '14

04 Nov '14

#9747: Odd failure to deduce a constraint -------------------------------------+------------------------------------- Reporter: acowley | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: TypeFamilies | Operating System: ConstraintKinds | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Using a type family to build a compound constraint that includes several constraints produced by applying another type family results in a type checker error like, {{{ Could not deduce (ConFun l a, ConFun l b) arising from a use of ‘bar’ from the context (ConFun l a, ConFun l b) bound by the type signature for baz :: (ConFun l a, ConFun l b) => Proxy l -> HList '[a, b] -> () }}} An example program is given at, https://gist.github.com/acowley/a001bd092599b5914bad -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9747> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 03 Nov '14

03 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => patch * differential: => Phab:D433 * milestone: ⊥ => 7.10.1 Comment: Now that splices are run from the renamer, this was relatively easy. However, the resulting code is far from elegant, and I would love some help in making it better. See the Phab:D433 for more info on the inelegant code. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7819: FreeBSD without system libffi: Shared object "libffi.so.6" not found
by GHC 03 Nov '14

03 Nov '14

#7819: FreeBSD without system libffi: Shared object "libffi.so.6" not found -------------------------------------+------------------------------------- Reporter: igloo | Owner: pgj Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Build | Version: 7.6.2 System | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: FreeBSD | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): In commit bcc5c953f80c53732172345639f30974b9862043 {{{ Re-enable DYNAMIC_GHC_PROGRAMS for FreeBSD. All actively supported releases (8.4-RELEASE, 9.2-RELEASE and the upcoming 10.0-RELEASE) now support resolution of $ORIGIN properly. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7819#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9712: package "primitive" fails to install under msys2-i686 (Windows)
by GHC 03 Nov '14

03 Nov '14

#9712: package "primitive" fails to install under msys2-i686 (Windows) ---------------------------+--------------------------------------- Reporter: gintas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: None | Version: 7.9 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ---------------------------+--------------------------------------- If you follow the instructions for a 32-bit installation at https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Windows, installation of alex fails. Not sure if this is an issue with alex or with the environment. Transcript: $ cabal install alex Resolving dependencies... Downloading primitive-0.5.4.0... Configuring primitive-0.5.4.0... Failed to install primitive-0.5.4.0 Build log ( C:\Users\Gintas\AppData\Roaming\cabal\logs\primitive-0.5.4.0.log ): [1 of 1] Compiling Main ( C:\Users\Gintas\Downloads\msys32\tmp\primitive-0.5.4.0-2404\primitive-0.5.4.0\dist\setup\setup.hs, C:\Users\Gintas\Downloads\msys32\tmp\primitive-0.5.4.0-2404\primitive-0.5.4.0\dist\setup\Main.o ) Linking C:\Users\Gintas\Downloads\msys32\tmp\primitive-0.5.4.0-2404\primitive-0.5.4.0\dist\setup\setup.exe ... Configuring primitive-0.5.4.0... setup-Simple-Cabal-1.18.1.3-i386-windows-ghc-7.8.3.exe: Missing dependency on a foreign library: * Missing (or bad) header file: primitive-memops.h This problem can usually be solved by installing the system package that provides this library (you may need the "-dev" version). If the library is already installed but in a non-standard location then you can use the flags --extra-include-dirs= and --extra-lib-dirs= to specify where it is. If the header file does exist, it may contain errors that are caught by the C compiler at the preprocessing stage. In this case you can re-run configure with the verbosity flag -v3 to see the error messages. The primitive-memops.h file seems to be part of "primitive" itself. Passing in -v3 does not print anything interesting. $ cabal --version cabal-install version 1.20.0.3 using version 1.20.0.1 of the Cabal library $ cabal get primitive && cd primitive-* && cabal configure && cabal build Unpacking to primitive-0.5.4.0\ Resolving dependencies... Configuring primitive-0.5.4.0... Building primitive-0.5.4.0... Preprocessing library primitive-0.5.4.0... [ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data\Primitive\Internal\Compat.hs, dist\build\Data\Primitive\Internal\Compat.o ) [ 2 of 10] Compiling Data.Primitive.MachDeps ( Data\Primitive\MachDeps.hs, dist\build\Data\Primitive\MachDeps.o ) [ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data\Primitive\Internal\Operations.hs, dist\build\Data\Primitive\Internal\Operations.o ) [ 4 of 10] Compiling Control.Monad.Primitive ( Control\Monad\Primitive.hs, dist\build\Control\Monad\Primitive.o ) [ 5 of 10] Compiling Data.Primitive.Types ( Data\Primitive\Types.hs, dist\build\Data\Primitive\Types.o ) [ 6 of 10] Compiling Data.Primitive.Array ( Data\Primitive\Array.hs, dist\build\Data\Primitive\Array.o ) Data\Primitive\Array.hs:32:1: Warning: The import of `Control.Monad.ST' is redundant except perhaps to import instances from `Control.Monad.ST' To import instances alone, use: import Control.Monad.ST() [ 7 of 10] Compiling Data.Primitive.ByteArray ( Data\Primitive\ByteArray.hs, dist\build\Data\Primitive\ByteArray.o ) [ 8 of 10] Compiling Data.Primitive.Addr ( Data\Primitive\Addr.hs, dist\build\Data\Primitive\Addr.o ) [ 9 of 10] Compiling Data.Primitive ( Data\Primitive.hs, dist\build\Data\Primitive.o ) [10 of 10] Compiling Data.Primitive.MutVar ( Data\Primitive\MutVar.hs, dist\build\Data\Primitive\MutVar.o ) In-place registering primitive-0.5.4.0... Any idea what's missing here? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9712> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #3376: hpc and CPP don't mix on Windows
by GHC 03 Nov '14

03 Nov '14

#3376: hpc and CPP don't mix on Windows -------------------------------------+------------------------------------- Reporter: igloo | Owner: andy@… Type: bug | Status: closed Priority: lowest | Milestone: 7.10.1 Component: Code | Version: 6.10.4 Coverage | Keywords: Resolution: worksforme | Architecture: Unknown/Multiple Operating System: Windows | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by gintas): * status: new => closed * resolution: => worksforme Comment: This is probably obsolete, seems to work here with GHC 7.8.1 (Haskell Platform 2014.02). {{{ $ ghc -fhpc --make CommonHPC -cpp [1 of 2] Compiling Common ( Common.hs, Common.o ) [flags changed] [2 of 2] Compiling Main ( CommonHPC.hs, CommonHPC.o ) [flags changed] Linking CommonHPC.exe ... $ ./CommonHPC 24 120 24 120 $ cat CommonHPC.exe.tix Tix [ TixModule "Main" 172773183 18 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1], TixModule "Common" 2159774738 8 [2,9,9,9,9,9,9,11]] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3376#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7484: Template Haskell allows building invalid record fields/names
by GHC 03 Nov '14

03 Nov '14

#7484: Template Haskell allows building invalid record fields/names -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => patch * differential: => Phab:D431 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8482: Permission denied when copying file to current directory with copyFile
by GHC 03 Nov '14

03 Nov '14

#8482: Permission denied when copying file to current directory with copyFile -------------------------------------+------------------------------------- Reporter: Henk-Jan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.6.3 libraries/directory | Operating System: Windows Keywords: copyFile | Type of failure: Incorrect result permission denied | at runtime Architecture: x86 | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- While the MS-DOS command {{{ C:\tmp\b>copy c:\tmp\a\x }}} runs successfully, the Haskell equivalent {{{ copyFile "c:\\tmp\\a\\x" "" }}} results in {{{ copyFile.hs: .\.copyFile584.tmp: copyFile: does not exist (Het systeem kan het opgegeven pad niet vinden.) }}} The Dutch explanation says: "The system can not find the specified path" {{{ copyFile "c:\\tmp\\a\\x" "." }}} results in {{{ copyFile.hs: .\.copyFile3960.tmp: copyFile: permission denied (Toegang geweigerd.) }}} The Dutch explanation says: "Access denied" -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8482> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7944: GHC goes into an apparently infinite loop at -O2
by GHC 03 Nov '14

03 Nov '14

#7944: GHC goes into an apparently infinite loop at -O2 -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: #5550 #8852 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by MikolajKonarski): * version: 7.6.3 => 7.9 * os: MacOS X => Unknown/Multiple * related: 5550 => #5550 #8852 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7944#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9359: Deriving clause failure with polymorphic kinds
by GHC 03 Nov '14

03 Nov '14

#9359: Deriving clause failure with polymorphic kinds -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Consider {{{ {-# Language GADTs, PolyKinds, TypeFamilies, DataKinds #-} module Fam where data Cmp a where Sup :: Cmp a V :: a -> Cmp a deriving (Show, Eq) data family CmpInterval (a :: Cmp k) (b :: Cmp k) :: * data instance CmpInterval (V c) Sup = Starting c deriving( Show ) }}} GHC 7.8.3 gives {{{ Fam.hs:12:13: Can't make a derived instance of ‘Show (CmpInterval ('V c) 'Sup)’: No family instance for ‘CmpInterval ('V c) 'Sup’ In the data instance declaration for ‘CmpInterval’ }}} which is obviously wrong. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9359> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6