November 2017 - ghc-tickets

[GHC] #14476: Keep source locations in Core (optionally)
by GHC 17 Nov '17

17 Nov '17

#14476: Keep source locations in Core (optionally) -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.3 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: -------------------------------------+------------------------------------- The people working on liquid haskell have to maintain their own copy of the desugarer because of one little change they have to do: Add lots and lots of `CC`s to keep source spans around. Their current patch is {{{ diff --git a/src/Language/Haskell/Liquid/Desugar/DsExpr.hs b/src/Language/Haskell/Liquid/Desugar/DsExpr.hs index 396095e9a..9ba60c56f 100644 --- a/src/Language/Haskell/Liquid/Desugar/DsExpr.hs +++ b/src/Language/Haskell/Liquid/Desugar/DsExpr.hs @@ -221,14 +221,13 @@ dsUnliftedBind bind body = pprPanic "dsLet: unlifted" (ppr bind $$ ppr body) dsLExpr :: LHsExpr Id -> DsM CoreExpr dsLExpr (L loc e) - = putSrcSpanDs loc $ - do { core_expr <- dsExpr e - -- uncomment this check to test the hsExprType function in TcHsSyn - -- ; MASSERT2( exprType core_expr `eqType` hsExprType e - -- , ppr e <+> dcolon <+> ppr (hsExprType e) $$ - -- ppr core_expr <+> dcolon <+> ppr (exprType core_expr) ) - ; return core_expr } + = do ce <- putSrcSpanDs loc $ dsExpr e + m <- getModule + return $ Tick (srcSpanTick m loc) ce +srcSpanTick :: Module -> SrcSpan -> Tickish a +srcSpanTick m loc + = ProfNote (AllCafsCC m loc) False True -- | Variant of 'dsLExpr' that ensures that the result is not levity -- polymorphic. This should be used when the resulting expression will -- be an argument to some other function. }}} It would make their live easier if they could just use GHC’s desugarer, and it might open the path to making Liquid Haskell a proper GHC plugin instead of a separate program, which could facilitate adoption. Would it be ok to add a flag to GHC that enables this behaviour? Or is there another way of doing this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14476> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #14480: Clean up tyConTYPE
by GHC 17 Nov '17

17 Nov '17

#14480: Clean up tyConTYPE -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Core | Version: 8.2.1 Libraries | Keywords: Typeable | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Phab:4085 builds a `TyCon` representing `TYPE` by hand in `Data.Typeable.Internal`. This is pretty disgusting, but it was the only way I managed to smash the last of the mysterious loops. It would be very nice to find a cleaner way, but we want to get that merged. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14480> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14477: the 'impossible' happened, initTc: unsolved constraints
by GHC 16 Nov '17

16 Nov '17

#14477: the 'impossible' happened, initTc: unsolved constraints --------------------------------------+--------------------------------- Reporter: bmusin | Owner: (none) Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14477> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #14474: reify RHS of "value" variable
by GHC 16 Nov '17

16 Nov '17

#14474: reify RHS of "value" variable -------------------------------------+------------------------------------- Reporter: dailectic | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Template | Version: 8.2.1 Haskell | 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: -------------------------------------+------------------------------------- According to the [https://hackage.haskell.org/package/template- haskell-2.12.0.0/docs/Language-Haskell-TH-Syntax.html#t:Info documentation], when reifying value variables "returning the RHS has not yet been implemented because of lack of interest". I'd like to formally request interest since I don't see a ticket here (may have missed it). My motivating example is to make source available for documentation and better error messages. Something like: {{{#!hs printSource :: Name -> Q Exp printSource n = do VarI _ _ (Just dec) <- reify n lift $ pprint dec foo x = x * 2 fooSource = $(printSource 'foo) -- === "\x_0 -> x_0 GHC.Num.* 2" }}} How significant of a change is this? I could take a pass at it if pointed to the relevant bits, having not contributed to GHC before. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14474> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #14472: error __STDC_VERSION__ does not advertise C99 or later
by GHC 16 Nov '17

16 Nov '17

#14472: error __STDC_VERSION__ does not advertise C99 or later -------------------------------------+------------------------------------- Reporter: kaldiroglu | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: GHC rejects (amd64) | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hi, I am using Mac OS highSierra 10.13.1 and downloaded and installed Haskell Platform 8.2.1 Full 64bit-signed.pkg. Then as a first program I created a file called Selam.hs that includes followng one line: "main = putStrLn "Hello, world!"" When I compiled the code using ghc -o Selam Selam.hs at the linking phase I am having "error __STDC_VERSION__ does not advertise C99 or later" error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14472> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #452: +RTS -xc and SIGINT handler gives seg fault
by GHC 15 Nov '17

15 Nov '17

#452: +RTS -xc and SIGINT handler gives seg fault --------------------------------+-------------------- Reporter: fergus | Owner: nobody Type: bug | Status: closed Priority: normal | Milestone: Component: Profiling | Version: None Resolution: Fixed | Keywords: Type of failure: None/Unknown | --------------------------------+-------------------- Changes (by Andrey Mokhov <andrey.mokhov@…>): * failure: => None/Unknown Comment: In [changeset:"c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5/ghc" c1fcd9b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5" Squashed 'hadrian/' changes from 5ebb69a..fa3771f fa3771f hadrian: Disable -Wno-undef in files which include ffi.h (#459) f15e851 Do not run configure by default (#458) 5baa8db Fix AppVeyor cache failure (#456) 94dbe9d Fix ghc-cabal build (#455) a679764 Fix CI scripts (#454) 06ec241 Widen bounds on Cabal (#452) git-subtree-dir: hadrian git-subtree-split: fa3771fe6baf5008a8506fec48220f8347ac59af }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/452#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #458: Warning -fwarn-unused-imports does not go away
by GHC 15 Nov '17

15 Nov '17

#458: Warning -fwarn-unused-imports does not go away --------------------------------+-------------------- Reporter: nobody | Owner: nobody Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: None Resolution: Fixed | Keywords: Type of failure: None/Unknown | --------------------------------+-------------------- Changes (by Andrey Mokhov <andrey.mokhov@…>): * failure: => None/Unknown Comment: In [changeset:"c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5/ghc" c1fcd9b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5" Squashed 'hadrian/' changes from 5ebb69a..fa3771f fa3771f hadrian: Disable -Wno-undef in files which include ffi.h (#459) f15e851 Do not run configure by default (#458) 5baa8db Fix AppVeyor cache failure (#456) 94dbe9d Fix ghc-cabal build (#455) a679764 Fix CI scripts (#454) 06ec241 Widen bounds on Cabal (#452) git-subtree-dir: hadrian git-subtree-split: fa3771fe6baf5008a8506fec48220f8347ac59af }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/458#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #456: panic:Unify.unifyTauTyLists
by GHC 15 Nov '17

15 Nov '17

#456: panic:Unify.unifyTauTyLists -------------------------------------------+-------------------- Reporter: volkersf | Owner: nobody Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 6.4 Resolution: Duplicate | Keywords: Type of failure: None/Unknown | -------------------------------------------+-------------------- Changes (by Andrey Mokhov <andrey.mokhov@…>): * failure: => None/Unknown Comment: In [changeset:"c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5/ghc" c1fcd9b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5" Squashed 'hadrian/' changes from 5ebb69a..fa3771f fa3771f hadrian: Disable -Wno-undef in files which include ffi.h (#459) f15e851 Do not run configure by default (#458) 5baa8db Fix AppVeyor cache failure (#456) 94dbe9d Fix ghc-cabal build (#455) a679764 Fix CI scripts (#454) 06ec241 Widen bounds on Cabal (#452) git-subtree-dir: hadrian git-subtree-split: fa3771fe6baf5008a8506fec48220f8347ac59af }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/456#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #455: mkProtoBCO: stack use won't fit in 16 bits 79141
by GHC 15 Nov '17

15 Nov '17

#455: mkProtoBCO: stack use won't fit in 16 bits 79141 -------------------------------------+--------------------------------- Reporter: simonmar | Owner: igloo Type: bug | Status: closed Priority: normal | Milestone: 6.6.1 Component: GHCi | Version: 6.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Test Case: ghci003 -------------------------------------+--------------------------------- Changes (by Andrey Mokhov <andrey.mokhov@…>): * failure: => None/Unknown Comment: In [changeset:"c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5/ghc" c1fcd9b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5" Squashed 'hadrian/' changes from 5ebb69a..fa3771f fa3771f hadrian: Disable -Wno-undef in files which include ffi.h (#459) f15e851 Do not run configure by default (#458) 5baa8db Fix AppVeyor cache failure (#456) 94dbe9d Fix ghc-cabal build (#455) a679764 Fix CI scripts (#454) 06ec241 Widen bounds on Cabal (#452) git-subtree-dir: hadrian git-subtree-split: fa3771fe6baf5008a8506fec48220f8347ac59af }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/455#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #454: hPutBuf doesn't respect LineBuffering
by GHC 15 Nov '17

15 Nov '17

#454: hPutBuf doesn't respect LineBuffering -------------------------------------+--------------------------------- Reporter: simonmar | Owner: (none) Type: bug | Status: closed Priority: low | Milestone: 6.12.1 Component: libraries/base | Version: 6.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Test Case: -------------------------------------+--------------------------------- Changes (by Andrey Mokhov <andrey.mokhov@…>): * failure: => None/Unknown Comment: In [changeset:"c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5/ghc" c1fcd9b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1fcd9b3f60e8420dd228cd4e3efeb9cfa793aa5" Squashed 'hadrian/' changes from 5ebb69a..fa3771f fa3771f hadrian: Disable -Wno-undef in files which include ffi.h (#459) f15e851 Do not run configure by default (#458) 5baa8db Fix AppVeyor cache failure (#456) 94dbe9d Fix ghc-cabal build (#455) a679764 Fix CI scripts (#454) 06ec241 Widen bounds on Cabal (#452) git-subtree-dir: hadrian git-subtree-split: fa3771fe6baf5008a8506fec48220f8347ac59af }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/454#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0