- ghc-tickets - Haskell.org

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 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): 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 10 Jun '15

10 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 10 Jun '15

10 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

[GHC] #10502: Bad interaction of sandboxes and coverage
by GHC 09 Jun '15

09 Jun '15

#10502: Bad interaction of sandboxes and coverage -------------------------------------+------------------------------------- Reporter: qnikst | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Code | Version: 7.10.1 Coverage | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It seems that when using sandboxes with project and coverage (`--enable- coverage`) cabal fails to generate and find .mix files for dependencies. Steps to reproduce: 1. create shared sandbox (not sure that shared sandbox plays it's role here): {{{cabal sandbox init --sandbox=../.shared}}} 2. install all dependencies with enable-coverage {{{cabal install --dependencies-only --enable-coverage --enable-tests}}} 3. install library {{{cabal install --enable-coverage --run-tests}}} Expected results: 1. Library will be built, coverage output will be generated. Actual results: hpc fails to find .mix files: {{{ hpc: can not find netwo_Bdsn6Y1VKLa3MCczwSV70J/Network.Socket.ByteString.MsgHdr in ["./.hpc" ,"./dist/dist-sandbox-f7da581b/hpc/vanilla/mix/network-transport- tcp-0.4.1" ,"./dist/dist-sandbox-f7da581b/hpc/vanilla/mix/TestTCP"] }}} Tested on ghc-7.10.1 in clear official docker container on network- transport-tcp package. Side node: during tests on bigger project I have seen similar failures even on step 2 (e.g. network package fails with similar error message), but I was not able to reproduce it in minimal example. Possibly related report: #10259 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10502> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10443: Regression in forall typechecking
by GHC 09 Jun '15

09 Jun '15

#10443: Regression in forall typechecking -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The following bug showed up when trying to install ghc-mod against the current ghc-7.10 branch Ths code below, from https://github.com/DanielG/ghc- mod/blob/b52c0a5d767282369f2748c5ec070b802ed8e23c/Language/Haskell/GhcMod/Monad/Types.hs#L346 {{{#!hs instance (MonadBaseControl IO m) => MonadBaseControl IO (GhcModT m) where type StM (GhcModT m) a = StM (StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m) ) ) ) a liftBaseWith f = GhcModT . liftBaseWith $ \runInBase -> f $ runInBase . unGhcModT restoreM = GhcModT . restoreM {-# INLINE liftBaseWith #-} {-# INLINE restoreM #-} }}} Which compiles fine with GHC 7.10.1 now has the error {{{ Language/Haskell/GhcMod/Monad/Types.hs:346:13: Couldn't match expected type ‘StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m))) a1 -> IO (StM m (Either GhcModError (a1, GhcModState), GhcModLog))’ with actual type ‘forall a2. StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m))) a2 -> IO (StM (StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m)))) a2)’ Relevant bindings include runInBase :: forall a. StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m))) a -> IO (StM (StateT GhcModState (ErrorT GhcModError (JournalT GhcModLog (ReaderT GhcModEnv m)))) a) (bound at Language/Haskell/GhcMod/Monad/Types.hs:345:48) f :: RunInBase (GhcModT m) IO -> IO a (bound at Language/Haskell/GhcMod/Monad/Types.hs:345:18) liftBaseWith :: (RunInBase (GhcModT m) IO -> IO a) -> GhcModT m a (bound at Language/Haskell/GhcMod/Monad/Types.hs:345:5) In the first argument of ‘(.)’, namely ‘runInBase’ In the second argument of ‘($)’, namely ‘runInBase . unGhcModT’ }}} A laborious git bisect tracked it down to {{{ 681d82c0d44f06f0b958b75778c30b0910df982b is the first bad commit commit 681d82c0d44f06f0b958b75778c30b0910df982b Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Tue Apr 7 14:45:04 2015 +0100 Look inside synonyms for foralls when unifying This fixes Trac #10194 (cherry picked from commit 553c5182156c5e4c15e3bd1c17c6d83a95a6c408) :040000 040000 1f0e62661ed1c48a9cbfab72ca3e38bb9e501412 ef6786fdb952d3446121b27b56f6103533d52356 M compiler :040000 040000 d607f1bff94578b0677df9cba01371dad6b26a32 ac715cec4fd8d43a53ecee132eae2b4c0c65e31a M testsuite }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10443> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10406: ghc-7.10.1-testsuite.tar.xz [4.3MB] contains x86_64 ghc-config executable!
by GHC 09 Jun '15

09 Jun '15

#10406: ghc-7.10.1-testsuite.tar.xz [4.3MB] contains x86_64 ghc-config executable! -------------------------------------+------------------------------------- Reporter: | Owner: juhpetersen | Status: new Type: bug | Milestone: 7.10.2 Priority: normal | Version: 7.10.1 Component: Build | Operating System: Unknown/Multiple System | Type of failure: Building GHC Keywords: | failed Architecture: x86 | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I didn't check ghc-7.10.1-testsuite.tar.bz2 but at least ghc-7.10.1-testsuite.tar.xz contains testsuite/mk/ghc-config which is a 64bit Linux executable. This causes the testsuite to fail on non-x86_64 arches eg i686 Linux, etc since it can't be executed. A workaround is to rm testsuite/mk/ghc-config. It would be good to avoid this for 7.10.2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10406> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

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

09 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: -------------------------------------+------------------------------------- Comment (by thoughtpolice): (For a build that's about 1 minute, FWIW) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7428#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0