April 2013 - ghc-tickets

Re: [GHC] #7205: Re-introduce left/right coercion decomposition
by GHC 04 Apr '13

04 Apr '13

#7205: Re-introduce left/right coercion decomposition -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: gadt/T7205 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by morabbin): That should #6018; apologies. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7205#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 04 Apr '13

04 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Comment(by morabbin): Noting for completeness: possibly related to #7205 and #5591. Why I'm interested: I'm modeling the Java type system in Haskell (overload resolution in particular) a la chak and Andrew's Salsa, using type families and type functions heavily. Their code worked under earlier versions of GHC, but not under 7.4 and beyond. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7205: Re-introduce left/right coercion decomposition
by GHC 04 Apr '13

04 Apr '13

#7205: Re-introduce left/right coercion decomposition -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: gadt/T7205 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by morabbin): See #6108; is this related? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7205#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 04 Apr '13

04 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Changes (by byorgey): * cc: byorgey@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5591: Type constructor variables not injective
by GHC 04 Apr '13

04 Apr '13

#5591: Type constructor variables not injective ---------------------------------------------------------+------------------ Reporter: daniel.is.fischer | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.2.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: indexed-ypes/should_compile/T5591a, T5591b | Blockedby: Blocking: | Related: ---------------------------------------------------------+------------------ Changes (by morabbin): * cc: andy.adamsmoran@… (added) Comment: Is this related to #6018? Brent's [http://stackoverflow.com/questions/7866375/why-does-ghc-think-that-this- type-variable-is-not-injective/ stack overflow] comment seems to imply it is. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5591#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4259: Relax restrictions on type family instance overlap
by GHC 04 Apr '13

04 Apr '13

#4259: Relax restrictions on type family instance overlap ----------------------------------------+----------------------------------- Reporter: lilac | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 6.12.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by morabbin): * cc: andy.adamsmoran@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4259#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7798: test_bindist reports ".../libffi-6.dll (No such file or directory)"
by GHC 04 Apr '13

04 Apr '13

#7798: test_bindist reports ".../libffi-6.dll (No such file or directory)" -----------------------------+---------------------------------------------- Reporter: thorkilnaur | Owner: Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Since http://darcs.haskell.org/ghcBuilder/builders/tn23/873.html, the tn23 builder {{{ $ uname -a Darwin thorkil-naurs-intel-mac-mini.local 9.8.0 Darwin Kernel Version 9.8.0: Wed Jul 15 16:55:01 PDT 2009; root:xnu-1228.15.4~1/RELEASE_I386 i386 $ }}} has failed with (http://darcs.haskell.org/ghcBuilder/builders/tn23/876/16.html) {{{ ranlib: file: /Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/bindisttest/install dir/lib/ghc-7.7.20130328/rts-1.0/libCffi_thr_p.a(ffi64.o) has no symbols install: rts/dist/build/libCffi_debug-ghc7.7.20130328.dylib: No such file or directory install: rts/dist/build/libCffi_thr-ghc7.7.20130328.dylib: No such file or directory install: rts/dist/build/libCffi_thr_debug-ghc7.7.20130328.dylib: No such file or directory install: rts/dist/build/libCffi_l-ghc7.7.20130328.dylib: No such file or directory install: rts/dist/build/libCffi_thr_l-ghc7.7.20130328.dylib: No such file or directory install: rts/dist/build/libffi-6.dll: No such file or directory strip: can't open file: /Users/thorkilnaur/tn/builders/GHCBuilder/tn23/builder/tempbuild/build/bindisttest/install dir/lib/ghc-7.7.20130328/rts-1.0/libffi-6.dll (No such file or directory) make[3]: *** [install_packages] Error 1 make[2]: *** [install] Error 2 make[1]: *** [test_bindist] Error 2 make: *** [test_bindist] Error 2 }}} The am-deb7-64 builder seems to have a similar problem (http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/356/16.html) Best regards Thorkil -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7798> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #6018: Injective type families
by GHC 03 Apr '13

03 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Changes (by morabbin): * cc: andy.adamsmoran@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7589: LLVM 3.2 Support
by GHC 03 Apr '13

03 Apr '13

#7589: LLVM 3.2 Support -----------------------------+---------------------------------------------- Reporter: dterei | Owner: dterei Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- LLVM 3.2 is out as of mid December. We need to update the backend to support it. There seems to be a number of new bugs due to the change. With LLVM 3.1 we get the following testsuite failures: {{{ OVERALL SUMMARY for test run started at Mon Jan 14 21:42:32 PST 2013 3552 total tests, which gave rise to 13164 test cases, of which 0 caused framework failures 11606 were skipped 1515 expected passes 23 had missing libraries 15 expected failures 0 unexpected passes 5 unexpected failures Unexpected failures: * codeGen/should_run cgrun044 [exit code non-0] (optllvm) * concurrent/should_run 367_letnoescape [bad exit code] (optllvm) * numeric/should_run arith005 [bad stdout] (optllvm) typecheck/should_compile tc226 [exit code non-0] (optllvm) typecheck/should_compile tc235 [exit code non-0] (optllvm) }}} Where the failures marked with '*' are unique to the LLVM backend. With LLVM 3.2 we get the following: {{{ OVERALL SUMMARY for test run started at Tue Jan 15 16:02:01 PST 2013 3552 total tests, which gave rise to 13164 test cases, of which 0 caused framework failures 11606 were skipped 1512 expected passes 23 had missing libraries 15 expected failures 0 unexpected passes 8 unexpected failures Unexpected failures: ** codeGen/should_compile 1916 [exit code non-0] (optllvm) ** codeGen/should_run cgrun028 [exit code non-0] (optllvm) * codeGen/should_run cgrun044 [exit code non-0] (optllvm) * concurrent/should_run 367_letnoescape [bad exit code] (optllvm) * numeric/should_run arith005 [bad stdout] (optllvm) ** numeric/should_run numrun012 [exit code non-0] (optllvm) typecheck/should_compile tc226 [exit code non-0] (optllvm) typecheck/should_compile tc235 [exit code non-0] (optllvm) }}} Where failures marked with '*' are unique to the LLVM backend and failures marked with '**' are unique to LLVM 3.2 relative to 3.1. I believe bootstrapping with LLVM also fails now. However, that may be due to the change to the new-code-generator, and not of LLVM 3.1 -> 3.2. I'll create a separate ticket for that. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7589> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #7805: Panic: promoteType with higher-rank datatype
by GHC 03 Apr '13

03 Apr '13

#7805: Panic: promoteType with higher-rank datatype -------------------------------+-------------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: DataKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- The following code causes the panic in HEAD: {{{ {-# LANGUAGE DataKinds, RankNTypes, TypeFamilies #-} data HigherRank = HR (forall a. a -> a) type family F (x :: HigherRank) type instance F (HR x) = Bool }}} Here is the panic text: {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130329 for x86_64-apple-darwin): promoteType }}} This panic does not happen with GHC 7.6.1. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7805> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3