September 2015 - ghc-tickets

Re: [GHC] #7830: Error: operand out of range
by GHC 12 Sep '15

12 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by trommler): This looks like code spilling registers onto the stack. But why are the offsets so large? Could you attach the entire assembler file? I tried to reproduce on powerpc64 HEAD but compile failed to typecheck in package uualib. I'll try to reproduce with the commit you mentioned in comment:24. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #365: GHC dies silently with faulty preprocessor
by GHC 12 Sep '15

12 Sep '15

#365: GHC dies silently with faulty preprocessor -------------------------------------+------------------------------------- Reporter: josefs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Oh, Phyx on #ghc says `-pgmF` requires a `.bat` file. Sure enough, then it works: {{{ $ echo 'cat %2 > %3' > preprocess.bat $ chmod +x preprocess.bat $ ghc -F -pgmF ./preprocess.bat hello.hs C:\msys64\tmp\test>cat "hello.hs" 1>"C:\msys64\tmp\ghc1556_0\ghc1556_1.hspp" $ echo $? 0 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/365#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #365: GHC dies silently with faulty preprocessor
by GHC 12 Sep '15

12 Sep '15

#365: GHC dies silently with faulty preprocessor -------------------------------------+------------------------------------- Reporter: josefs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): It seems the `-pgmF` is just plain broken on Windows (msys2). The following fails in the same way as `wibble` above: {{{ $ echo 'cat $2 > $3' > preprocess $ chmod +x preprocess $ ghc -F -pgmF ./preprocess hello.hs $ echo $? $ 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/365#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #365: GHC dies silently with faulty preprocessor
by GHC 12 Sep '15

12 Sep '15

#365: GHC dies silently with faulty preprocessor -------------------------------------+------------------------------------- Reporter: josefs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: closed => new * os: => Windows * failure: => None/Unknown * version: 6.4 => 7.11 * architecture: => Unknown/Multiple * owner: simonmar => * resolution: Fixed => Old description: > {{{ > This is perhaps a minor nuisance but I had to spend > quite some time to track down my bug. When ghc is given > a preprocessor which for some reason cannot execute > then ghc just dies silently without giving any > indication as to what the problem was. It would be nice > with a little message hinting at the problem on stderr. > > Oh, and by the way, the -F flag doesn't have any > documentation. It is only mentioned together with -optF. > }}} New description: {{{ This is perhaps a minor nuisance but I had to spend quite some time to track down my bug. When ghc is given a preprocessor which for some reason cannot execute then ghc just dies silently without giving any indication as to what the problem was. It would be nice with a little message hinting at the problem on stderr. Oh, and by the way, the -F flag doesn't have any documentation. It is only mentioned together with -optF. }}} -- Comment: This is still an issue. {{{ $ echo 'main = return ()' > hello.hs $ touch wibble # The faulty preprocessor. $ chmod +x wibble $ ghc -F -pgmF ./wibble -c hello.hs # Note: no error message. $ echo $? # But the command failed. 1 }}} Compiling with `-v` shows: {{{ *** Haskell pre-processor: "./wibble" "hello.hs" "hello.hs" "C:\msys64\tmp\ghc3020_0\ghc3020_1.hspp" Failed: "./wibble" "hello.hs" "hello.hs" "C:\msys64\tmp\ghc3020_0\ghc3020_1.hspp" ./wibble: runInteractiveProcess: invalid argument (Exec format error) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/365#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7830: Error: operand out of range
by GHC 12 Sep '15

12 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by erikd): The generated code that causes a problem looks like: {{{ stw 31, 36328(1) lwz 31, 67(14) stw 29, 36336(1) lwz 29, 71(14) stw 28, 36344(1) lwz 28, 75(14) stw 26, 36352(1) }}} The problem is, that according to https://www-01.ibm.com/support/knowledgecenter/ssw_aix_71/com.ibm.aix.alang… the offset is a signed 16 bit value and 36336 can'nt be represented in a signed 16 bit value. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 12 Sep '15

12 Sep '15

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: | TypeFamilies, Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T6018, | T6018fail, T6018rnfail, T6018th, | T6018failclosed1, T6018failclosed2, | T6018ghci, T6018ghcifail, | T6018ghcirnfail Blocked By: | Blocking: Related Tickets: #4259, #10832, | Differential Revisions: Phab:D202 #10833 | -------------------------------------+------------------------------------- Changes (by jstolarek): * testcase: T6018, T6018fail, T6018rnfail, T6018th, T6018failclosed1, T6018failclosed2, T6018failclosed3, T6018failclosed4, T6018failclosed5, T6018failclosed6, T6018failclosed7, T6018failclosed8, T6018failclosed9, T6018failclosed10, T6018failclosed11, T6018failclosed12, T6018ghci, T6018ghcifail, T6018ghcirnfail => T6018, T6018fail, T6018rnfail, T6018th, T6018failclosed1, T6018failclosed2, T6018ghci, T6018ghcifail, T6018ghcirnfail -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:117> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 11 Sep '15

11 Sep '15

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: | TypeFamilies, Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T6018, | T6018fail, T6018rnfail, T6018th, | T6018failclosed1, T6018failclosed2, | T6018failclosed3, T6018failclosed4, | T6018failclosed5, T6018failclosed6, | T6018failclosed7, T6018failclosed8, | T6018failclosed9, | T6018failclosed10, | T6018failclosed11, | T6018failclosed12, T6018ghci, | T6018ghcifail, T6018ghcirnfail Blocked By: | Blocking: Related Tickets: #4259, #10832, | Differential Revisions: Phab:D202 #10833 | -------------------------------------+------------------------------------- Comment (by Jan Stolarek <jan.stolarek@…>): In [changeset:"f30a49250a0c96e9fb1b86d541657029a9aa8d51/ghc" f30a4925/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="f30a49250a0c96e9fb1b86d541657029a9aa8d51" Testsuite cleanup As a result of fixing #10836 it is now possible to merge 11 different tests for #6018 into one }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:116> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7830: Error: operand out of range
by GHC 11 Sep '15

11 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by erikd): According to git bisect, the commit that broke PowerPC was: {{{ commit 5d57087e314bd484dbe14958f9b422be3ac6641a Author: Thomas Miedema <thomasmiedema(a)gmail.com> Date: Wed Aug 5 11:31:21 2015 +0200 Pretty: fix a broken invariant (#10735) }}} but since that doesn't touch any of the PowerPC specific code, the PowerPC code gen problem is simply a by-product of this patch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10856: Record update doesn't emit new constraints
by GHC 11 Sep '15

11 Sep '15

#10856: Record update doesn't emit new constraints -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: 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 Revisions: | -------------------------------------+------------------------------------- I believe this should compile: {{{ {-# LANGUAGE ExistentialQuantification #-} data Rec a b = Show a => Mk { a :: a, b :: b } update :: Show c => c -> Rec a b -> Rec c b update c r = r { a = c } }}} But it fails with {{{ /Users/rae/temp/Bug.hs:6:14: Couldn't match type ‘a’ with ‘c’ ‘a’ is a rigid type variable bound by the type signature for update :: Show c => c -> Rec a b -> Rec c b at /Users/rae/temp/Bug.hs:5:11 ‘c’ is a rigid type variable bound by the type signature for update :: Show c => c -> Rec a b -> Rec c b at /Users/rae/temp/Bug.hs:5:11 Expected type: Rec c b Actual type: Rec a b Relevant bindings include r :: Rec a b (bound at /Users/rae/temp/Bug.hs:6:10) c :: c (bound at /Users/rae/temp/Bug.hs:6:8) update :: c -> Rec a b -> Rec c b (bound at /Users/rae/temp/Bug.hs:6:1) In the expression: r In the expression: r {a = c} }}} I believe the problem has to do with the `fixed_tvs`, the tyvars that are most certainly shared between the initial and result types. The `getFixedTyVars` function always includes tyvars mentioned in constraints. But this is unnecessary. Once the `fixed_tvs` are cleaned up, then we'll also have to make sure to instantiate the constraints necessary to prove that the new constraints are satisfied. We should be careful '''not''' to emit any unchanged constraints, because these are provided by the GADT pattern-match that the desugarer produces. There will probably have to be an update to the `RecordUpd` constructor of `HsExpr` to have a place to put the new dictionaries. NB: This is very related to implementation trouble in Phab:D1152, and I imagine that patch will evolve to fix this infelicity. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10856> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7830: Error: operand out of range
by GHC 11 Sep '15

11 Sep '15

#7830: Error: operand out of range -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.8.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Installing GHC | Test Case: failed | Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by nomeata): > Currently running a git bisect. Great, keep us up-to-date. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7830#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0