- ghc-tickets - Haskell.org

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 23 Mar '17

23 Mar '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by awson): 1. Binutils 2.28 includes only non-essential part of my patch, the part that is important wasn't put there, so you need the whole patch; 2. Recent GHC string literals handling changes had required yet another tweak to binutils which I didn't bother to publish because of apparent lack of interest. Nonetheless, I attach the patch which, I believe, should do the thing for you. It is made against the current HEAD, but I think it works against 2.28 too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 23 Mar '17

23 Mar '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by awson): * Attachment "latest.patch" added. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 23 Mar '17

23 Mar '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Phyx-): @Awson. I have `-Wa,-mbig-objs` setup in every call, and I'm using binutils 2.28 which should have your patched included and I'm using a linker script to merge the sections back together. But I'm still getting an invalid exec format error from Windows when I try to run the exe. My assumption is that `-gc-sections` is removing a section it shouldn't be. Before I dive too much into this, did I miss a step? Since you seem to have a working version. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7275: Give more detailed information about PINNED data in a heap profile
by GHC 23 Mar '17

23 Mar '17

#7275: Give more detailed information about PINNED data in a heap profile -------------------------------------+------------------------------------- Reporter: edsko | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by varosi): Is there a chance that issue to enter GHC 8.2? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7275#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13415: Instance declarations don't recognize named wildcards
by GHC 22 Mar '17

22 Mar '17

#13415: Instance declarations don't recognize named wildcards -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: #13324 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- While exploring a fix for #13324, I was blocked pretty quickly by this limitation: instance declarations don't properly recognize named wildcards. Here is an example to demonstrate: {{{#!hs {-# LANGUAGE NamedWildCards #-} module Bug where instance _x => Show (Maybe a) }}} {{{ Bug.hs:4:10: error: • Illegal constraint: _x (Use ConstraintKinds to permit this) • In the context: _x While checking an instance declaration In the instance declaration for ‘Show (Maybe a)’ | 4 | instance _x => Show (Maybe a) | ^^^^^^^^^^^^^^^^^^^^ }}} GHC doesn't recognize that `_x` is just a type variable, not a named wildcard. I believe fixing this is just a matter of changing the ASTs for instance declarations to use `LHsSigWcType` instead of `LHsSigType`. Patch incoming. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13415> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #13467: ghc: panic! (the 'impossible' happened), initTc: unsolved constraints
by GHC 22 Mar '17

22 Mar '17

#13467: ghc: panic! (the 'impossible' happened), initTc: unsolved constraints ----------------------------------------+--------------------------------- Reporter: jhjonsson | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 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: ----------------------------------------+--------------------------------- NB! I'm no expert on the compiler and have not used GHC/GHCi very much. I have istaller the Haskell Platform and then run GHCi from within Aquamacs (emacs) using tthe Haskell mode already available there. I should say that everything worked fine and I could both load and run code. But then this happend when I started with the type Char and the functions ord and chr, so maybe the error has to do with them(?) Please change the subject to something relevant; I really have no clue what has happened here. Just like to help. /Håkan --- This is the error message: "GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Prelude> :load "/Users/hj/Downloads/d7012e-vt17/test.hs" [1 of 1] Compiling Main ( /Users/hj/Downloads/d7012e- vt17/test.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-apple-darwin): initTc: unsolved constraints WC {wc_insol = [W] –_a2n2 :: t_a2n1[tau:1] (CHoleCan: –)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > " --- This is my Haskell code (putting together examples for a first lecture on declarative languages/functional languages): module Main (main) where import Data.Char (ord,chr) square :: Int -> Int square n = n * n primes :: [Int] primes = filterPrime [2..] where filterPrime (p:xs) = p : filterPrime [x | x <- xs, x `mod` p /= 0] -- take :: Int -> [a] -> [a] double :: Int -> Int double n = 2*n dubSq1 :: Int -> Int dubSq1 n = double (square n) dubSq2 :: Int -> Int dubSq2 = double . square -- Bool nAnd :: Bool -> Bool -> Bool nAnd x y = not (x && y) nAnd2 :: Bool -> Bool -> Bool nAnd2 True True = False nAnd2 False False = False nAnd2 x y = True -- if, the, else max2 :: Int -> Int -> Int max2 x y = if x >= y then x else y -- Int max3 :: Int -> Int -> Int -> Int max3 a b c = max2 (max2 a b) c f :: Int -> Int f 1 = 0 f n = if n `mod` 2 == 0 then n `div` 2 else 3*n + 1 isDigit :: Char -> Bool isDigit ch = ('0' <= ch) && (ch <= '9') isLower :: Char -> Bool isLower ch = ('a' <= ch) && (ch <= 'z') -- no åäö in ASCII offset :: Int offset = ord 'A' – ord 'a' toUpper :: Char -> Char toUpper ch = chr (ord ch + offset) f' 1 = 0 f' n | n `mod` 2 == 0 = n `div` 2 | otherwise = 3*n + 1 life_length x | x == 1 = 0 | otherwise = 1 + life_length(f' x) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13467> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)
by GHC 22 Mar '17

22 Mar '17

#1409: Allow recursively dependent modules transparently (without .hs-boot or anything) -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.2 Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9256 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Tritlo): * cc: Tritlo (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1409#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13463: Deriving Functor / Foldable / Traversable for co-pattern type
by GHC 22 Mar '17

22 Mar '17

#13463: Deriving Functor / Foldable / Traversable for co-pattern type -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- This is probably asking too much, but could GHC derive `Functor`, `Foldable` ... for this [https://www.reddit.com/r/haskell/comments/4aju8f/simple_example_of_emulatin… co-pattern] data type? {{{#!hs data ListTag :: Type -> Type -> Type where HeadTag :: ListTag a a TailTag :: ListTag a (Stream a) newtype Stream a = S (forall res. ListTag a res -> res) instance Functor Stream where fmap :: (a -> a') -> (Stream a -> Stream a') fmap f (S stream) = S $ \case HeadTag -> f (stream HeadTag) TailTag -> fmap f (stream TailTag) instance Foldable Stream where foldMap :: Monoid m => (a -> m) -> (Stream a -> m) foldMap f (S stream) = f (stream HeadTag) <> foldMap f (stream TailTag) }}} I'm guessing it's not worth it in any case, but is it uniquely determined? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13463> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13343: Levity polymorphism-related GHC panic: expectJust zonkTcTyVarToVar
by GHC 22 Mar '17

22 Mar '17

#13343: Levity polymorphism-related GHC panic: expectJust zonkTcTyVarToVar -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: Unknown/Multiple LevityPolymorphism | Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Reproducible with GHC 8.0.2 and HEAD: {{{#!hs {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeInType #-} module Bug where import GHC.Exts type Bad = forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1 }}} {{{ [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20170223 for x86_64-unknown-linux): expectJust zonkTcTyVarToVar CallStack (from HasCallStack): error, called at compiler/utils/Maybes.hs:53:27 in ghc:Maybes expectJust, called at compiler/typecheck/TcType.hs:1576:21 in ghc:TcType }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13343> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #12709: GHC panic
by GHC 22 Mar '17

22 Mar '17

#12709: GHC panic -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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 get {{{ $ ./ghc-stage2 -ignore-dot-ghci --interactive /tmp/tEZm.hs GHCi, version 8.1.20160930: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/tEZm.hs, interpreted ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20160930 for x86_64-unknown-linux): kindPrimRep.go rep_a13E Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1076:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1080:37 in ghc:Outputable pprPanic, called at compiler/simplStg/RepType.hs:369:9 in ghc:RepType kindPrimRep, called at compiler/simplStg/RepType.hs:337:18 in ghc:RepType typePrimRep, called at compiler/ghci/ByteCodeGen.hs:1541:15 in ghc:ByteCodeGen Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > }}} running {{{#!hs {-# Language MagicHash, PolyKinds, ViewPatterns, TypeInType, RebindableSyntax, NoImplicitPrelude #-} import GHC.Types import Prelude hiding (Num (..)) import qualified Prelude as P import GHC.Prim data BoxUnbox = BUB Int Int# class Num (a :: TYPE rep) where (+) :: a -> a -> a fromInteger :: Integer -> a instance Num Int where (+) = (P.+) fromInteger = P.fromInteger instance Num Int# where (+) = (+#) fromInteger (fromInteger -> I# n) = n a :: BoxUnbox a = let u :: Num (a :: TYPE rep) => a u = 1 + 2 + 3 + 4 in BUB u u }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12709> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7