January 2016 - ghc-tickets

Re: [GHC] #5945: Lambda lifting
by GHC 05 Jan '16

05 Jan '16

#5945: Lambda lifting -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.4.1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #11284 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => duplicate Comment: There is an unmerged branch that implements late lambda-lifting. See [[LateLamLift]] and #9476. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5945#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10579: full module names of names not in scope have gone missing in ghci
by GHC 05 Jan '16

05 Jan '16

#10579: full module names of names not in scope have gone missing in ghci -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Compare {{{ rwbarton@morphism:/tmp$ ghci-7.10.1 GHCi, version 7.10.1: http://www.haskell.org/ghc/ :? for help Prelude> :t GHC.Read.readPrec GHC.Read.readPrec :: Read a => Text.ParserCombinators.ReadPrec.ReadPrec a }}} with {{{ rwbarton@morphism:/tmp$ ~/ghc/inplace/bin/ghc-stage2 --interactive GHCi, version 7.11.20150624: http://www.haskell.org/ghc/ :? for help Prelude> :t GHC.Read.readPrec GHC.Read.readPrec :: Read a => ReadPrec a }}} The `Text.ParserCombinators.ReadPrec.` bit can be quite helpful, was it suppressed intentionally? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10579> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11173: Infix declarations for record fields with DuplicateRecordFields are broken
by GHC 05 Jan '16

05 Jan '16

#11173: Infix declarations for record fields with DuplicateRecordFields are broken -------------------------------------+------------------------------------- Reporter: kanetw | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program compiles fine {{{#!hs module Good where newtype A = A { foo :: Int } infixl 5 `foo` }}} but this one doesn't {{{#!hs {-# LANGUAGE DuplicateRecordFields #-} module Bad where newtype A = A { foo :: Int } infixl 5 `foo` }}} giving an error {{{ The fixity signature for ‘foo’ lacks an accompanying binding (The fixity signature must be given where ‘foo’ is declared) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11173> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11167: Fixity of field-deconstructors incorrect
by GHC 05 Jan '16

05 Jan '16

#11167: Fixity of field-deconstructors incorrect -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 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 example below {{{#!hs module Foo where data SomeException newtype ContT r m a = ContT {runContT :: (a -> m r) -> m r} runContT' :: ContT r m a -> (a -> m r) -> m r runContT' = runContT catch_ :: IO a -> (SomeException -> IO a) -> IO a catch_ = undefined -- has type error foo :: IO () foo = (undefined :: ContT () IO a) `runContT` (undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ()) -- typechecks foo' :: IO () foo' = (undefined :: ContT () IO a) `runContT'` (undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ()) }}} works with GHC 7.10 but breaks with GHC HEAD currently with: {{{ foo.hs:15:47: error: • Couldn't match expected type ‘a0 -> IO ()’ with actual type ‘IO ()’ • In the second argument of ‘runContT’, namely ‘(undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ())’ In the expression: runContT (undefined :: ContT () IO a) (undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ()) In an equation for ‘foo’: foo = runContT (undefined :: ContT () IO a) (undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ()) foo.hs:15:48: error: • Couldn't match expected type ‘IO ()’ with actual type ‘a1 -> IO ()’ • In the first argument of ‘catch_’, namely ‘(undefined :: a -> IO ())’ In the second argument of ‘runContT’, namely ‘(undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ())’ In the expression: runContT (undefined :: ContT () IO a) (undefined :: a -> IO ()) `catch_` (undefined :: SomeException -> IO ()) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11167> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #11103: DuplicateRecordFields + TemplateHaskell
by GHC 05 Jan '16

05 Jan '16

#11103: DuplicateRecordFields + TemplateHaskell -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Template | Version: 7.11 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: -------------------------------------+------------------------------------- The [wiki:Records/OverloadedRecordFields/DuplicateRecordFields DuplicateRecordFields] extension works by mangling the Names of field selector functions, and treating fields specially in the renamer. Thus if you define {{{ data T = MkT { foo :: Int } }}} then GHC will actually generate a selector called `$sel:foo:MkT`, but will resolve `foo` to refer to this selector. In general we want this name-mangling to be internal only, but at the moment it is visible when using Template Haskell, because the TH AST doesn't have a way to represent the distinction between the selector name and the field label. For example, if you reify `''T` above and then pretty-print it you will currently get {{{ data T = MkT { $sel:foo:MkT :: Int } }}} which is obviously bad. I'm not sure how best to address this. We could represent the name as `mkNameG_v pkg mod "foo"`, which will look okay when inspected, but if it is subsequently reified it might be ambiguous. Should we add a new `NameFlavour`? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11103> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10643: GHC cannot import submodules when run from subfolder
by GHC 05 Jan '16

05 Jan '16

#10643: GHC cannot import submodules when run from subfolder -------------------------------------+------------------------------------- Reporter: FPtje | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: subfolder | Operating System: Unknown/Multiple import submodule cd | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I'm taking a huge risk in looking like an idiot, but it's worth trying to attack the elephant in the room. The first response I expect is ''"This is expected behaviour!"''. This is what intuition says, but I disagree. It's a simple problem and the fix should be easy, unless there's some advanced import mechanism that would conflict with the solution that I don't know about. That is exactly where I'm taking the risk in reporting this issue. The problem is simple: 1. Create a folder called "Yes". 2. Create Yes/A.hs with the following code: {{{#!hs module Yes.A where import Yes.B }}} 3. Create Yes/B.hs with the following code: {{{#!hs module Yes.B where }}} 4. Open a terminal in the folder that contains "Yes" and run: {{{ $ ghc Yes/A.hs }}} '''This works fine'''. Now try the following: {{{ $ cd Yes Yes/ $ ghc A.hs }}} You'll be greeted with the beautiful error: {{{ A.hs:3:8: Could not find module ‘Yes.B’ Use -v to see a list of the files searched for. }}} A screenshot is worth the above thousand words: http://i.imgur.com/8AxRa0K.png '''This is silly'''. Running with the -v option shows that ghc is not looking for Yes/B.hs, but Yes/Yes/B.hs. I can understand ''why'' it looks there, but not why ghc isn't just this ''tiny'' bit more intelligent in knowing where to look. After all, the module name tells ghc ''exactly'' in which subfolder it is located: {{{#!hs module Yes.A where -- This module is very likely to be in Yes/, because otherwise a name inconsistency error is thrown. }}} '''Proposed solution:''' The module name tells ghc exactly where it is located. If Yes.A imports Yes.B, then you know that they're in the same subfolder. Simple as that. Instead of ignoring that information and looking for Yes/Yes/B.hs, it should simply look for Yes/B.hs. Relative to ghc (which is run from Yes/) this would be ./B.hs. This solution is scalable. Imagine a module Ding.Dong.Biddly.Bong that imports Ding.Dong.Doodle.Bell. Running "ghc Bong.hs" from Ding/Dong/Biddly/ should '''not''' make it look for "Ding/Dong/Biddly/Ding/Dong/Doodle/Bell.hs", but for Ding/Dong/Doodle/Bell.hs. Relative to ghc (run from Ding/Dong/Biddly/), this would be ../Doodle/Bell.hs. So yeah, right now ghc is arbitrarily restricted to run from the root of the source directory. This '''looks''' like intended behaviour until you realise that the silly bug mentioned here is probably the only thing that prevents ghc from running from ''any'' subfolder. Of course there are the -i and :set options for ghc that allows one to work around this, but one should not be expected to jump through all the -iFile hoops to be allowed to run ghc from any arbitrary subdirectory of the source folder. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10643> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #3140: (Windows?) GHCi doesn't load hierachical modules
by GHC 05 Jan '16

05 Jan '16

#3140: (Windows?) GHCi doesn't load hierachical modules ------------------------------------+------------------------------ Reporter: Orphi | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 8.0.1 Component: GHCi | Version: 6.10.1 Resolution: duplicate | Keywords: Operating System: Windows | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #10643 | Differential Rev(s): Wiki Page: | ------------------------------------+------------------------------ Changes (by thomie): * status: new => closed * failure: => None/Unknown * resolution: => duplicate * related: => #10643 Comment: This was brought up again recently in #10643, which has more discussion, so I'll close this one as a duplicate. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3140#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10984: the ghc-7.8.4 source distribution contents (README, etc.)
by GHC 05 Jan '16

05 Jan '16

#10984: the ghc-7.8.4 source distribution contents (README, etc.) -------------------------------------+------------------------------------- Reporter: lspitzner | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- ghc-7.8.4-src.tar.xz from https://www.haskell.org/ghc/download_ghc_7_8_4 does not include a README or INSTALL file. Its ANNOUNCE file talks of ghc-7.8.2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10984> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11290: T6031: *** Core Lint errors : in result of Common sub-expression ***
by GHC 04 Jan '16

04 Jan '16

#11290: T6031: *** Core Lint errors : in result of Common sub-expression *** -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: deriving/should_compile/T6031 | Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ $ make test TEST=T6031 WAY=optasm TEST_HC=ghc-7.11.20151225 ... =====> T6031(optasm) 1 of 1 [0, 0, 0] cd ./deriving/should_compile && "/opt/ghc/head/bin/ghc-head" --make T6031 -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user- package-db -rtsopts -fno-warn-tabs -fno-warn-missed-specialisations -fno- ghci-history -O -fasm -v0 > T6031.comp.stderr 2>&1 Compile failed (status 256) errors were: *** Core Lint errors : in result of Common sub-expression *** <no location info>: warning: [in body of lambda with binder x_aSX :: Empty] No alternatives for a case scrutinee not known to diverge for sure: lvl_sUb *** Offending Program *** lvl_sTZ :: [Char] [LclId, Str=DmdType] lvl_sTZ = unpackCString# "error"# lvl_sU0 :: [Char] [LclId, Str=DmdType] lvl_sU0 = unpackCString# "main"# lvl_sU1 :: [Char] [LclId, Str=DmdType] lvl_sU1 = unpackCString# "T6031"# lvl_sU2 :: [Char] [LclId, Str=DmdType] lvl_sU2 = unpackCString# "T6031.hs"# lvl_sU3 :: Int [LclId, Str=DmdType] lvl_sU3 = I# 7# lvl_sU4 :: Int [LclId, Str=DmdType] lvl_sU4 = I# 1# lvl_sU5 :: Int [LclId, Str=DmdType] lvl_sU5 = lvl_sU3 lvl_sU6 :: Int [LclId, Str=DmdType] lvl_sU6 = I# 29# lvl_sU7 :: SrcLoc [LclId, Str=DmdType] lvl_sU7 = SrcLoc lvl_sU0 lvl_sU1 lvl_sU2 lvl_sU3 lvl_sU4 lvl_sU3 lvl_sU6 lvl_sU8 :: ([Char], SrcLoc) [LclId, Str=DmdType] lvl_sU8 = (lvl_sTZ, lvl_sU7) lvl_sU9 :: CallStack [LclId, Str=DmdType] lvl_sU9 = PushCallStack lvl_sU8 EmptyCallStack lvl_sUa :: [Char] [LclId, Str=DmdType] lvl_sUa = unpackCString# "Void showsPrec"# $cshowsPrec_aQD :: Int -> Empty -> ShowS [LclId, Str=DmdType b] $cshowsPrec_aQD = error @ 'Lifted @ (Int -> Empty -> ShowS) (lvl_sU9 `cast` (Sym (NTCo:IP[0] <"callStack">_N <CallStack>_N) :: CallStack ~R# (?callStack::CallStack))) lvl_sUa lvl_sUb :: Empty -> ShowS [LclId, Str=DmdType] lvl_sUb = case $cshowsPrec_aQD of wild_00 { } $cshowList_aQR :: [Empty] -> ShowS [LclId, Arity=2, Str=DmdType] $cshowList_aQR = showList__ @ Empty lvl_sUb $cshow_aQN :: Empty -> String [LclId, Arity=1, Str=DmdType <B,A>b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) Tmpl= \ _ [Occ=Dead] -> case $cshowsPrec_aQD of _ [Occ=Dead] { }}] $cshow_aQN = \ _ [Occ=Dead] -> case $cshowsPrec_aQD of wild_00 { } $fShowEmpty [InlPrag=[ALWAYS] CONLIKE] :: Show Empty [LclIdX[DFunId], Str=DmdType m, Unf=DFun: \ -> D:Show TYPE: Empty $cshowsPrec_aQD $cshow_aQN $cshowList_aQR] $fShowEmpty = D:Show @ Empty $cshowsPrec_aQD $cshow_aQN $cshowList_aQR $sshows_sTu :: Empty -> String -> String [LclId, Str=DmdType b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=False, ConLike=False, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False) Tmpl= case $cshowsPrec_aQD of _ [Occ=Dead] { }}] $sshows_sTu = lvl_sUb $s$dmshow_sTv :: Empty -> String [LclId, Arity=1, Str=DmdType <B,A>b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=-1,unsat_ok=True,boring_ok=False) Tmpl= \ _ [Occ=Dead] -> case lvl_sUb of _ [Occ=Dead] { }}] $s$dmshow_sTv = $cshow_aQN a_sT8 :: TrName [LclId, Str=DmdType m1] a_sT8 = TrNameS "main"# a_sT9 :: TrName [LclId, Str=DmdType m1] a_sT9 = TrNameS "T6031"# $trModule :: Module [LclIdX[ReflectionId], Str=DmdType m] $trModule = Module a_sT8 a_sT9 *** End of Offense *** <no location info>: error: Compilation had errors *** unexpected failure for T6031(optasm) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11290> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #10874: Implement `:type-at`, `:all-types`, `:loc-at` in GHCi
by GHC 04 Jan '16

04 Jan '16

#10874: Implement `:type-at`, `:all-types`, `:loc-at` in GHCi -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: feature | Status: new request | Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- We missed the opportunity to merge this for GHC 7.10 but I hope this can make it for GHC 8.0 See https://github.com/chrisdone/ghci-ng/blob/master/README.md for a description of the new GHCi commands I've started rebasing the changes from Chris' ghci-ng repo against GHC HEAD and pushed the work-in-progress state as branch `wip/T10874`. One blocker right now is the use of SYB to traverse the AST which I don't want to drag into GHC as a dependency. So one thing that needs to be done is rewrite those 20 lines of code without relying on SYB. Other than that some minor polishing needs to be done. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10874> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6