- ghc-tickets - Haskell.org

Re: [GHC] #7723: iOS patch no 12: Itimer.c doesn't work on iOS
by GHC 21 Jan '18

21 Jan '18

#7723: iOS patch no 12: Itimer.c doesn't work on iOS --------------------------------------+------------------------------ Reporter: StephenBlackheath | Owner: (none) Type: bug | Status: closed Priority: low | Milestone: 8.4.1 Component: Runtime System | Version: 7.7 Resolution: fixed | Keywords: Operating System: Other | Architecture: arm Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | --------------------------------------+------------------------------ Changes (by bgamari): * status: infoneeded => closed * cc: angerman (added) * resolution: => fixed * milestone: => 8.4.1 Comment: I'm going to assume that this is resolved or otherwise abandoned. Moritz, do re-open this if I am mistaken. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7723#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11091: Fix MonadFail warnings
by GHC 21 Jan '18

21 Jan '18

#11091: Fix MonadFail warnings -------------------------------------+------------------------------------- Reporter: quchen | Owner: Type: task | Status: new Priority: low | Milestone: 8.2.1 Component: Compiler | Version: 7.11 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: -------------------------------------+------------------------------------- #10751 implements the MonadFail warning mechanism. Using `-fwarn-missing-monadfail-instance`, GHC's internal warnings created by the patch can be shown and fixed. A second pass with `-XMonadFailDesugaring` then provides a hard check on whether any issues remain, by switching on the new desugaring mechanism properly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11091> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] Batch modify: #5291, #5302, #7723, #9249, #9981, #10582, #10930, ...
by GHC 21 Jan '18

21 Jan '18

Batch modification to #5291, #5302, #7723, #9249, #9981, #10582, #10930, #11091, #11958, #13039, #13064, #13182, #13779 by bgamari: milestone to Comment: These tasks won't happen for 8.4 and have been sitting at low priority for quite some time. Consequently I am un-milestoning them. Don't let this stop you, the interested reader, from picking one up, however. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=5291%2C5302%2C7723%2C9249%2C9981%2…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs
by GHC 21 Jan '18

21 Jan '18

#2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs -------------------------------------+------------------------------------- Reporter: clemens | Owner: thoughtpolice Type: task | Status: new Priority: low | Milestone: 8.6.1 Component: Compiler (NCG) | Version: 6.11 Resolution: | Keywords: codegen Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.4.1 => 8.6.1 Comment: I tried to remove this hack again but the affected linker versions are still too prevalent. I suspect we'll have to wait a few more years for this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2725#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2988: Improve float-in
by GHC 21 Jan '18

21 Jan '18

#2988: Improve float-in -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.4.1 => Comment: Simon, I seem to recall one of your somewhat recent simplifier patches did something like this. Is it possible this is now fixed? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2988#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14653: Text missing in ghc-prim's documentation
by GHC 20 Jan '18

20 Jan '18

#14653: Text missing in ghc-prim's documentation -------------------------------------+------------------------------------- Reporter: gallais | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: libraries | Version: 8.2.2 (other) | Keywords: ghc-prim | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The comment for `reallyUnsafePtrEquality#` visible on [https://hackage.haskell.org/package/ghc-prim-0.5.1.1/docs/GHC- Prim.html#v:reallyUnsafePtrEquality-35- hackage] gives the impression that the function returns `1#` when the two points are not equal. Looking [https://hackage.haskell.org/package/ghc- prim-0.5.1.1/docs/src/GHC.Prim.html#reallyUnsafePtrEquality%23 at the source code], the intended comment is the complete opposite. It seems that haddock ate everything between hashes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14653> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #14652: Allow different executable names on windows
by GHC 20 Jan '18

20 Jan '18

#14652: Allow different executable names on windows -------------------------------------+------------------------------------- Reporter: AndreasK | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: Keywords: | Operating System: Windows Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Currently renaming the executable on windows leads to a ghc panic is it enforces that they are named ghc/ghc-stage[123]. This isn't enforced Linux and I don't see a good reason why we should do so on Windows. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14652> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #14273: Typed holes are oblivious to type class constraints
by GHC 20 Jan '18

20 Jan '18

#14273: Typed holes are oblivious to type class constraints -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This example is taken from Chris Allen's blog post [http://bitemyapp.com//posts/2017-09-23-please-stop-using-typed-holes.html here]: {{{#!hs pleaseShow :: Show a => Bool -> a -> Maybe String pleaseShow False _ = Nothing pleaseShow True a = Just (show _a) }}} On a recent GHC HEAD build, compiling this outputs: {{{ Bug.hs:3:32: error: • Found hole: _a :: a0 Where: ‘a0’ is an ambiguous type variable Or perhaps ‘_a’ is mis-spelled, or not in scope • In the first argument of ‘show’, namely ‘_a’ In the first argument of ‘Just’, namely ‘(show _a)’ In the expression: Just (show _a) • Relevant bindings include a :: a (bound at Bug.hs:3:17) pleaseShow :: Bool -> a -> Maybe String (bound at Bug.hs:2:1) Valid substitutions include (++) :: forall a. [a] -> [a] -> [a] (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Base’)) fail :: forall (m :: * -> *). Monad m => forall a. String -> m a (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Base’)) return :: forall (m :: * -> *). Monad m => forall a. a -> m a (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Base’)) errorWithoutStackTrace :: forall (a :: TYPE r). [Char] -> a (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Err’)) seq :: forall a b. a -> b -> b (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Prim’)) (<>) :: forall a. Semigroup a => a -> a -> a (imported from ‘Prelude’ at Bug.hs:1:1 (and originally defined in ‘GHC.Base’)) (Some substitutions suppressed; use -fmax-valid-substitutions=N or -fno-max-valid-substitutions) | 3 | pleaseShow True a = Just (show _a) | ^^ }}} There are a couple very unsavory things about this error: 1. GHC makes no attempt to inform me that `a0` is a `Show` instance! This is the primary gripe in the blog post, and it's worth emphasizing, since without the `Show` constraint, `a0` just looks like any other random type variable. Speaking of which... 2. The list of valid substitutions is incorrect! It suggests several things which have function types, such as `(++)` and `fail`, but `(->)` does not have a `Show` instance! This list ought to be pruned based on the current type class constraints in scope. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14273> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 24

[GHC] #14682: Atrocious parenthesization in -ddump-deriv output
by GHC 20 Jan '18

20 Jan '18

#14682: Atrocious parenthesization in -ddump-deriv output -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: deriving | Operating System: Unknown/Multiple Architecture: | Type of failure: Debugging Unknown/Multiple | information is incorrect Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The next installment in "RyanGlScott finds parenthesization bugs". This time, we're featuring `-ddump-deriv`. Just look at this garbage: {{{ $ /opt/ghc/8.2.2/bin/ghci GHCi, version 8.2.2: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci λ> import Data.Ix λ> import Language.Haskell.TH.Syntax λ> import Data.Data λ> :set -ddump-deriv -XDeriveLift -XDeriveDataTypeable λ> data Foo = Foo Int Int deriving (Show, Lift, Data, Eq, Ord, Ix) ==================== Derived instances ==================== Derived class instances: instance GHC.Show.Show Ghci1.Foo where GHC.Show.showsPrec a_a6me Ghci1.Foo b1_a6mf b2_a6mg = GHC.Show.showParen (a_a6me GHC.Classes.>= 11) ((GHC.Base..) (GHC.Show.showString "Foo ") ((GHC.Base..) (GHC.Show.showsPrec 11 b1_a6mf) ((GHC.Base..) GHC.Show.showSpace (GHC.Show.showsPrec 11 b2_a6mg)))) GHC.Show.showList = GHC.Show.showList__ (GHC.Show.showsPrec 0) instance Language.Haskell.TH.Syntax.Lift Ghci1.Foo where Language.Haskell.TH.Syntax.lift Ghci1.Foo a1_a6mh a2_a6mi = Language.Haskell.TH.Lib.appE (Language.Haskell.TH.Lib.appE (Language.Haskell.TH.Lib.conE (Language.Haskell.TH.Syntax.mkNameG_d "interactive" "Ghci1" "Foo")) (Language.Haskell.TH.Syntax.lift a1_a6mh)) (Language.Haskell.TH.Syntax.lift a2_a6mi) instance Data.Data.Data Ghci1.Foo where Data.Data.gfoldl k_a6mj z_a6mk Ghci1.Foo a1_a6ml a2_a6mm = ((z_a6mk Ghci1.Foo `k_a6mj` a1_a6ml) `k_a6mj` a2_a6mm) Data.Data.gunfold k_a6mn z_a6mo _ = k_a6mn (k_a6mn (z_a6mo Ghci1.Foo)) Data.Data.toConstr Ghci1.Foo _ _ = Ghci1.$cFoo Data.Data.dataTypeOf _ = Ghci1.$tFoo instance GHC.Classes.Eq Ghci1.Foo where (GHC.Classes.==) (Ghci1.Foo a1_a6mp a2_a6mq) (Ghci1.Foo b1_a6mr b2_a6ms) = (((a1_a6mp GHC.Classes.== b1_a6mr)) GHC.Classes.&& ((a2_a6mq GHC.Classes.== b2_a6ms))) (GHC.Classes./=) a_a6mt b_a6mu = GHC.Classes.not ((GHC.Classes.==) a_a6mt b_a6mu) instance GHC.Classes.Ord Ghci1.Foo where GHC.Classes.compare a_a6mv b_a6mw = case a_a6mv of { Ghci1.Foo a1_a6mx a2_a6my -> case b_a6mw of { Ghci1.Foo b1_a6mz b2_a6mA -> case (GHC.Classes.compare a1_a6mx b1_a6mz) of GHC.Types.LT -> GHC.Types.LT GHC.Types.EQ -> (a2_a6my `GHC.Classes.compare` b2_a6mA) GHC.Types.GT -> GHC.Types.GT } } (GHC.Classes.<) a_a6mB b_a6mC = case a_a6mB of { Ghci1.Foo a1_a6mD a2_a6mE -> case b_a6mC of { Ghci1.Foo b1_a6mF b2_a6mG -> case (GHC.Classes.compare a1_a6mD b1_a6mF) of GHC.Types.LT -> GHC.Types.True GHC.Types.EQ -> (a2_a6mE GHC.Classes.< b2_a6mG) GHC.Types.GT -> GHC.Types.False } } (GHC.Classes.<=) a_a6mH b_a6mI = GHC.Classes.not ((GHC.Classes.<) b_a6mI a_a6mH) (GHC.Classes.>) a_a6mJ b_a6mK = (GHC.Classes.<) b_a6mK a_a6mJ (GHC.Classes.>=) a_a6mL b_a6mM = GHC.Classes.not ((GHC.Classes.<) a_a6mL b_a6mM) instance GHC.Arr.Ix Ghci1.Foo where GHC.Arr.range (Ghci1.Foo a1_a6mN a2_a6mO, Ghci1.Foo b1_a6mP b2_a6mQ) = [Ghci1.Foo c1_a6mR c2_a6mS | c1_a6mR <- GHC.Arr.range (a1_a6mN, b1_a6mP), c2_a6mS <- GHC.Arr.range (a2_a6mO, b2_a6mQ)] GHC.Arr.unsafeIndex (Ghci1.Foo a1_a6mT a2_a6mU, Ghci1.Foo b1_a6mV b2_a6mW) Ghci1.Foo c1_a6mX c2_a6mY = (GHC.Arr.unsafeIndex (a2_a6mU, b2_a6mW) c2_a6mY GHC.Num.+ (GHC.Arr.unsafeRangeSize (a2_a6mU, b2_a6mW) GHC.Num.* GHC.Arr.unsafeIndex (a1_a6mT, b1_a6mV) c1_a6mX)) GHC.Arr.inRange (Ghci1.Foo a1_a6oj a2_a6ok, Ghci1.Foo b1_a6ol b2_a6om) Ghci1.Foo c1_a6on c2_a6oo = (GHC.Arr.inRange (a1_a6oj, b1_a6ol) c1_a6on GHC.Classes.&& GHC.Arr.inRange (a2_a6ok, b2_a6om) c2_a6oo) Ghci1.$con2tag_Hv18APskVh1Gg9kT3PCwD2 :: Ghci1.Foo -> GHC.Prim.Int# Ghci1.$con2tag_Hv18APskVh1Gg9kT3PCwD2 Ghci1.Foo _ _ = 0# Ghci1.$tFoo :: Data.Data.DataType Ghci1.$cFoo :: Data.Data.Constr Ghci1.$tFoo = Data.Data.mkDataType "Foo" [Ghci1.$cFoo] Ghci1.$cFoo = Data.Data.mkConstr Ghci1.$tFoo "Foo" [] Data.Data.Prefix }}} There are several lines where `Foo` must be surrounded with parentheses to typecheck, but aren't. They are: * In the `Show` instance: {{{ GHC.Show.showsPrec a_a8sa Ghci11.Foo b1_a8sb b2_a8sc }}} * In the `Lift` instance: {{{ Language.Haskell.TH.Syntax.lift Ghci11.Foo a1_a8sd a2_a8se }}} * In the `Data` instance: {{{ Data.Data.gfoldl k_a8sf z_a8sg Ghci11.Foo a1_a8sh a2_a8si ... Data.Data.toConstr Ghci11.Foo _ _ = Ghci11.$cFoo }}} * In the auxiliary bindings (technically, these aren't legal definitions in the first place, but it does look jarring): {{{ Ghci11.$con2tag_GrjBmXmdiewCS4g3vLeGMg :: Ghci11.Foo -> GHC.Prim.Int# Ghci11.$con2tag_GrjBmXmdiewCS4g3vLeGMg Ghci11.Foo _ _ = 0# }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14682> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #14624: HEAD panic in ghc:DsForeign: toCType
by GHC 19 Jan '18

19 Jan '18

#14624: HEAD panic in ghc:DsForeign: toCType -------------------------------------+------------------------------------- Reporter: tianxiaogu | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program crashes in 8.2.2 and HEAD (8.5.20171228). {{{#!hs {-# LANGUAGE ForeignFunctionInterface, CApiFFI, GHCForeignImportPrim, QuasiQuotes, TemplateHaskell, JavaScriptFFI, MagicHash, UnliftedFFITypes #-} module TH_foreignCallingConventions where import GHC.Prim import Control.Applicative import Language.Haskell.TH import System.IO import Foreign.Ptr $( do let fi cconv safety lbl name ty = ForeignD (ImportF cconv safety lbl name ty) dec1 <- fi CCall Interruptible "&" (mkName "foo") <$> [t| Ptr () |] dec2 <- fi CApi Safe "bar" (mkName "bar") <$> [t| Int# -> Int# |] -- the declarations below would result in warnings or errors when returned dec3 <- fi CApi Unsafe "baz" (mkName "baz") <$> [t| Double -> IO () |] dec4 <- fi StdCall Safe "bay" (mkName "bay") <$> [t| (Int -> Bool) -> IO Int |] dec5 <- fi JavaScript Unsafe "bax" (mkName "bax") <$> [t| Ptr Int -> IO String |] runIO $ mapM_ (putStrLn . pprint) [dec1, dec2, dec3, dec4, dec5] >> hFlush stdout return [dec1, dec2] ) }}} This program is derived by mutating test TH_foreignCallingConventions.hs. {{{#!diff diff --git a/testsuite/tests/th/TH_foreignCallingConventions.hs b/testsuite/tests/th/TH_foreignCallingConventions.hs index ee39510..16789af 100644 --- a/testsuite/tests/th/TH_foreignCallingConventions.hs +++ b/testsuite/tests/th/TH_foreignCallingConventions.hs @@ -13,7 +13,7 @@ import Foreign.Ptr $( do let fi cconv safety lbl name ty = ForeignD (ImportF cconv safety lbl name ty) dec1 <- fi CCall Interruptible "&" (mkName "foo") <$> [t| Ptr () |] - dec2 <- fi Prim Safe "bar" (mkName "bar") <$> [t| Int# -> Int# |] + dec2 <- fi CApi Safe "bar" (mkName "bar") <$> [t| Int# -> Int# |] -- the declarations below would result in warnings or errors when returned dec3 <- fi CApi Unsafe "baz" (mkName "baz") <$> [t| Double -> IO () |] dec4 <- fi StdCall Safe "bay" (mkName "bay") <$> [t| (Int -> Bool) -> IO Int |] }}} Log: {{{ foreign import capi safe "bar" bar :: GHC.Prim.Int# -> GHC.Prim.Int# foreign import capi unsafe "baz" baz :: GHC.Types.Double -> GHC.Types.IO () foreign import stdcall safe "bay" bay :: (GHC.Types.Int -> GHC.Types.Bool) -> GHC.Types.IO GHC.Types.Int foreign import javascript unsafe "bax" bax :: GHC.Ptr.Ptr GHC.Types.Int -> GHC.Types.IO GHC.Base.String ghc: panic! (the 'impossible' happened) (GHC version 8.5.20171228 for x86_64-unknown-linux): toCType Int# Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/deSugar/DsForeign.hs:730:17 in ghc:DsForeign Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14624> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6