- ghc-tickets - Haskell.org

[GHC] #8789: includes/stg/SMP.h: use 'NOSMP' instead of never defined 'WITHSMP'
by GHC 13 May '15

13 May '15

#8789: includes/stg/SMP.h: use 'NOSMP' instead of never defined 'WITHSMP' ------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Looks like WITHSMP is not generated anywere, thus don't know how it worked before. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8789> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10177: Typeable solver regression
by GHC 13 May '15

13 May '15

#10177: Typeable solver regression -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.10.1-rc3 (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: | -------------------------------------+------------------------------------- This bug is known and fixed in master. Simon and Austin and Iavor are all aware of it. This ticket exists to ensure that the fix doesn't get lost. This code breaks under the Typeable solver in 7.10.1-rc3 and is fixed in master. The relevant commit in master is 3a0019e3672097761e7ce09c811018f774febfd2 : Improve `Typeable` solver. {{{ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE FlexibleContexts #-} module Bug where import Data.Typeable newtype V n a = V [a] class Typeable a => C a instance (Typeable (V n), Typeable a) => C (V n a) -- Bug.hs:13:10: -- Could not deduce (Typeable (V n a)) -- arising from the superclasses of an instance declaration -- from the context (Typeable (V n), Typeable a) -- bound by the instance declaration at Bug.hs:13:10-50 -- In the instance declaration for ‘C (V n a)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10177> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 12 May '15

12 May '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by literon): Just +1-ing to express my support for full binary determinism. Reproducible builds are important for efficiency and verification purposes in the distributed and containerized world. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:82> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10407: git head no longer builds with ghc < 7.10
by GHC 12 May '15

12 May '15

#10407: git head no longer builds with ghc < 7.10 -------------------------------------+------------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Building git head after commit 4fffbc34c0 with ghc-7.8 or ghc-7.6 I get: {{{ compiler/typecheck/TcInteract.hs:2034:13: Not in scope: ‘<$>’ Perhaps you meant one of these: ‘TcM.<$>’ (imported from TcRnMonad), ‘<+>’ (imported from Outputable), ‘TcM.<*>’ (imported from TcRnMonad) compiler/typecheck/TcInteract.hs:2034:29: Not in scope: ‘<$>’ Perhaps you meant one of these: ‘TcM.<$>’ (imported from TcRnMonad), ‘<+>’ (imported from Outputable), ‘TcM.<*>’ (imported from TcRnMonad) }}} The `<$>` operator is only available by default in ghc 7.10 and later. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10407> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 12 May '15

12 May '15

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Core Libraries | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D395 -------------------------------------+------------------------------------- Comment (by zilinc): At least from my own perspective, I think removing versionTags to retain some properties is rational (well to be honest in this particular case I don't even care). And, exactly as Edward said, I just need a replacement. So I simply did as little change as in https://github.com/haskell/cabal/pull/2584 to accomplish that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10307: Api Annotations: RdrHsSyn.mkAtDefault causes annotations to be disconnected.
by GHC 12 May '15

12 May '15

#10307: Api Annotations: RdrHsSyn.mkAtDefault causes annotations to be disconnected. -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The code for `mkAtDefault` is as follows. {{{#!hs mkATDefault (L loc (TyFamInstDecl { tfid_eqn = L _ e })) | TyFamEqn { tfe_tycon = tc, tfe_pats = pats, tfe_rhs = rhs } <- e = do { tvs <- checkTyVars (ptext (sLit "default")) equalsDots tc (hswb_cts pats) ; return (L loc (TyFamEqn { tfe_tycon = tc , tfe_pats = tvs , tfe_rhs = rhs })) } }}} An associated type in a class of the form {{{#!hs type FoldableConstraint t x = () }}} has an `AnnEqual` attached to the location in `tfid_eqn`. Since the location is discarded, this annotation is then disconnected from the AST. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10307> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10309: ApiAnnotations : mkGadtDecl discards annotations for HsFunTy
by GHC 12 May '15

12 May '15

#10309: ApiAnnotations : mkGadtDecl discards annotations for HsFunTy -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown ApiAnnotations | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When `mkGadtDecl` is presented wih a `HsFunTy` it discards the SrcSpan, thus disconnecting any annotations on the `HsFunTy`. {{{#!hs mkGadtDecl names (L ls (HsForAllTy imp Nothing qvars cxt tau)) = return $ mk_gadt_con names where (details, res_ty) -- See Note [Sorting out the result type] = case tau of L _ (HsFunTy (L l (HsRecTy flds)) res_ty) -> (RecCon (L l flds), res_ty) _other -> (PrefixCon [], tau) ... }}} This can be triggered by the following {{{#!hs {-# LANGUAGE GADTs #-} module GADTRecords2 (H1(..)) where -- | h1 data H1 a b where C3 :: (Num a) => { field :: a -- ^ hello docs } -> H1 Int Int }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10309> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10287: ApiAnnotations : BooleanFormula construction discards original
by GHC 12 May '15

12 May '15

#10287: ApiAnnotations : BooleanFormula construction discards original -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The MINIMAL pragma is captured in the parser using a `BooleanFormula`. The constructors (`mkBool`,`mkAnd`,`mkOr`) are smart and try to minimise the boolean formula as it is constructed. This discards the original information, making round tripping impossible. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10287> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10357: ApiAnnotations : pquals production adds AnnVbar in the wrong place
by GHC 12 May '15

12 May '15

#10357: ApiAnnotations : pquals production adds AnnVbar in the wrong place -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown ApiAnnotations | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The `Parser.y` production for `pquals` is {{{ pquals :: { Located [[LStmt RdrName (LHsExpr RdrName)]] } : squals '|' pquals {% addAnnotation (gl $ last $ unLoc $1) AnnVbar (gl $2) >> return (sLL $1 $> (reverse (unLoc $1) : unLoc $3)) } | squals { L (getLoc $1) [reverse (unLoc $1)] } }}} The `squals` are returned in reverse order, so the `AnnVbar` should be attached to the `head` of the list, not the `last`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10357> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10358: ApiAnnotations : PatBind gives wrong SrcSpan for the pattern.
by GHC 12 May '15

12 May '15

#10358: ApiAnnotations : PatBind gives wrong SrcSpan for the pattern. -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown ApiAnnotations | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The production for `decl_no_th` starts {{{ decl_no_th :: { Located (OrdList (LHsDecl RdrName)) } : sigdecl { $1 } | '!' aexp rhs {% do { let { e = sLL $1 $> (SectionR (sL1 $1 (HsVar bang_RDR)) $2) }; pat <- checkPattern empty e; ... }}} The `e` value should be just the pattern, excluding the `rhs`, but the span created includes the `rhs`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10358> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4