June 2015 - ghc-tickets

[GHC] #9945: export list for System.Posix.Internals breaking the build on Windows
by GHC 10 Jun '15

10 Jun '15

#9945: export list for System.Posix.Internals breaking the build on Windows -------------------------------------+------------------------------------- Reporter: MartinF | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Windows Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: #9852 Differential Revisions: | -------------------------------------+------------------------------------- The export list in System.Posix.Internals includes some names that, thanks to CPP, aren't defined when building on Windows. It was compiling fine a few days ago, so I think [Phab:D551] was the breaking change. I attach the `make` output from the failing step. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9945> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 22

Re: [GHC] #2437: More accurate package dependencies
by GHC 10 Jun '15

10 Jun '15

#2437: More accurate package dependencies -------------------------------------+------------------------------------- Reporter: simonmar | Owner: niteria Type: task | Status: new Priority: lowest | Milestone: 7.12.1 Component: Package system | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #3560, #8174 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by niteria): * owner: => niteria -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2437#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10505: more specific types in the generated *_stub.h files
by GHC 10 Jun '15

10 Jun '15

#10505: more specific types in the generated *_stub.h files -------------------------------------+------------------------------------- Reporter: imz | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.6.1 Component: Compiler | Operating System: Linux (FFI) | Type of failure: Other Keywords: | Blocked By: Architecture: | Related Tickets: #2979, #8222 Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Having a declaration like: {{{#!hs foreign export ccall "respond" respond :: CWString -> IO CWString }}} all the types in the corresponding `_stub.h` are `HsPtr`. Wouldn't it be possible to write more specific types reflecting my expectations, i.e., `wchar_t *`? It would be nice in order to signal automatically to the C code which uses the Haskell functions that the types of the Haskell functions changed. In simple cases, one could simply include the stub.h, and get automatically an error if the C code doesn't match the new types. I've tried using a CTYPE pragma (cf. #2979 , #8222 ) on a newtype to get such results: {{{#!hs newtype {-# CTYPE "wchar_t *" #-} CWString' = CWString' CWString foreign export ccall "respond" respond :: CWString' -> IO CWString }}} but that still produces `HsPtr`. (Well, I see, the CTYPE pragma was mostly intended for imports rather than exports.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10505> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 10 Jun '15

10 Jun '15

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by s9gf4ult): Your example is much more complex, why so many parameters in `HetCons` and functional dependencies? Pattern matching overload is interesting idea. Pattern `(x:xs)` should be considered by compiler as `HCons x xs` for `HList`, but compiler knowns about `HList` just after type inference and see pattern `(x:xs)` after parsing and desugaring, so pattern `(x:xs)` must be replaced with `HCons x xs` after type inference somehow. I am not very familiar with GHC internals anyway. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7428: GHC compile times are seriously non-linear in program size
by GHC 10 Jun '15

10 Jun '15

#7428: GHC compile times are seriously non-linear in program size -------------------------------------+------------------------------------- Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by gidyn): * cc: gidyn (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7428#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 10 Jun '15

10 Jun '15

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by carter): hrm, thats an intersting take the analogous design I was playing with was {{{#!hs class HetCons (f:: k -> * ) (f':: m -> * ) (h :: * ) (tl:: k) (res :: m) | f-> f', f'-> f ,f h tl -> res , f h res -> tl, f res tl -> h , f' res -> h , f tl res -> h , f' tl res -> h where hcons :: h -> f tl -> f' res class HetNil nil where -- (f:: k -> * ) (a :: k) where hnil :: nil }}} i have a few example instances in https://github.com/cartazio/HetList/blob/master/HetList.hs, and type inference would work out pretty nicely. one idea that i dont think we've articulated or explored properly is understanding how to use pattern synonym machinery to overload pattern matching list syntax or something! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 09 Jun '15

09 Jun '15

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by s9gf4ult): Hello. I propose little different solution. I dont think we should put methods `isNil` and `uncons` inside of this proposal, because they do not relate with lists construction. Here is full example of my proposal: {{{#!hs {-# LANGUAGE FlexibleInstances , TypeOperators , TypeFamilies , DataKinds , GADTs #-} import GHC.TypeLits -- | Types which can be constructed with 'cons' should instantiate this class Cons a where type Head a :: * type Tail a :: * cons :: Head a -> Tail a -> a -- | And types which is a empty list should instantiate this class Nil a where nil :: a --------------------------------- -- Simple homogenous lists -- --------------------------------- instance Cons [a] where type Head [a] = a type Tail [a] = [a] cons elem b = elem:b instance Nil [a] where nil = [] -- | synoym for '[10, 20, 42]' justList :: [Int] justList = cons 10 $ cons 20 $ cons 42 $ nil ------------------------------- -- Simple heterogenous lists -- ------------------------------- -- | Simple heterogenous list data HList (typs :: [*]) where HNil :: HList '[] HCons :: typ -> HList typs -> HList (typ ': typs) instance Cons (HList (t ': ts)) where type Head (HList (t ': ts)) = t type Tail (HList (t ': ts)) = HList ts cons = HCons instance Nil (HList '[]) where nil = HNil -- | synonym of '[10, 20, "hello"]' hlist :: HList '[Int, Integer, String] hlist = cons 10 $ cons 20 $ cons "hello" nil --------------------------------------------------------------------------- -- More complex heterogenous list with constraints for it's elements -- --------------------------------------------------------------------------- -- | Checks that element contained in type list type family Elem (typ :: *) (typs :: [*]) :: Bool where Elem typ '[] = 'False Elem typ (typ ': typs) = 'True Elem typ1 (typ2 ': typs) = Elem typ1 typs -- | Heterogenous list with uniq elements data UniqHList (typs :: [*]) where UHNil :: UniqHList '[] UHCons :: ('False ~ (Elem typ typs)) => typ -> UniqHList typs -> UniqHList (typ ': typs) -- | Look at instance constraint, it is the same constraint as in -- 'UHCons' constructor instance ('False ~ (Elem t ts)) => Cons (UniqHList (t ': ts)) where type Head (UniqHList (t ': ts)) = t type Tail (UniqHList (t ': ts)) = UniqHList ts cons = UHCons instance Nil (UniqHList '[]) where nil = UHNil -- | This should be written as '[10, "string", 42.2, 20]' uniqHlist :: UniqHList '[Integer, String, Double, Int] uniqHlist = cons 10 $ cons "string" $ cons 42.2 $ cons 20 nil --------------------------------------- -- Vectors parametrized with length -- --------------------------------------- data Vector (len :: Nat) a where VNil :: Vector 0 a VCons :: a -> Vector len a -> Vector (len + 1) a -- | Look at the constraint again. It is a little hackish because GHC -- can not infer that __len ~ ((len - 1) + 1)__ instance (len ~ ((len - 1) + 1)) => Cons (Vector len a) where type Head (Vector len a) = a type Tail (Vector len a) = Vector (len - 1) a cons = VCons instance Nil (Vector 0 a) where nil = VNil vector :: Vector 3 Int vector = cons 1 $ cons 2 $ cons 3 $ nil }}} It is compilable and contains instances for some complex cases. The method `cons` shoud be considered as `(:)` and `nil` should become `[]`. What do you think? Cheers! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9663: Windows build process should give better message if you forgot to clone tarballs
by GHC 09 Jun '15

09 Jun '15

#9663: Windows build process should give better message if you forgot to clone tarballs -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.9 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- If you forget to clone ghc-tarballs into the directory when building on Windows, configure will report that it can't find a working C compiler. It would be nice if there was a better error message here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9663> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9101: Build 7.8.2 from sources on Windows/msys2
by GHC 09 Jun '15

09 Jun '15

#9101: Build 7.8.2 from sources on Windows/msys2 ------------------------------------+--------------------------------- Reporter: cchantep | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- Hi, Trying to build GHC 7.8.2 from sources on Windows 7, from msys2 shell, required binaries such as gcc, ld, ar are forced to those in inplace directories (windows-extra), even system/env provide such tools (e.g. using pacman package manager in msys2): https://ghc.haskell.org/trac/ghc/browser/ghc/configure.ac#L274 . It leads to issues as tools in inplace are quite old. Particularly it can be critical about linking: GHC will be working with old ld, but you can have built/linked libraries using the more recent ld. Then, what's built using system tool can't be used throught GHC (ld version conflict). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9101> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10259: HPC code coverage fails
by GHC 09 Jun '15

09 Jun '15

#10259: HPC code coverage fails -------------------------------------+------------------------------------- Reporter: | Owner: LukeHoersten | Status: new Type: bug | Milestone: Priority: normal | Version: 7.10.1 Component: Compiler | Operating System: MacOS X Keywords: hpc | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- in a completely clean sandbox environment: cabal install --dependencies-only --enable-tests --enable-coverage --enable-benchmarks cabal build test --dependencies-only --enable-tests --enable-coverage --enable-benchmarks cabal test project --test-options=--html=dist/tasty/index.html Command: cabal test project --test-options=--html=dist/tasty/index.html Exit code: 1 Stderr: hpc: can not find text_IINWRW1LxFGIctooOLjJAI/Data.Text.Unsafe in ["./.hpc","./dist/hpc/vanilla/mix/project-0.1.0.0","./dist/hpc/vanilla/mix /project-test"] $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.10.1 $ cabal --version cabal-install version 1.22.2.0 using version 1.22.2.0 of the Cabal library $ clang --version Apple LLVM version 6.0 (clang-600.0.57) (based on LLVM 3.5svn) Target: x86_64-apple-darwin14.3.0 Thread model: posix OS X version 10.10.3 Installed from home-brew and Haskell for Mac OS X both have the same problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10259> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5