March 2014 - ghc-tickets

[GHC] #8915: Instance context not respected in pattern match
by GHC 19 Mar '14

19 Mar '14

#8915: Instance context not respected in pattern match ------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- (I'll only excerpt here, see attached testcase for full program) I have an instance {{{ class Foo (f :: Maybe Symbol) instance KnownSymbol a => Foo (Just a) }}} and a constructor constrained `Baz` with it: {{{ data Bar (f :: Maybe Symbol) where Baz :: Foo (Just a) => Bar (Just a) }}} But the `KnownSymbol` constraint is not liberated when pattern matching on `Baz`: {{{ test :: Bar (Just a) -> Bar (Just b) -> Bool test a@Baz b@Baz = case prox a `sameSymbol` prox b of Just Refl -> True _ -> False where prox :: Bar (Just a) -> Proxy a prox Baz = Proxy }}} I get this error: {{{ instance-test.hs:14:32: Could not deduce (KnownSymbol a2) arising from a use of ‘sameSymbol’ from the context ('Just a ~ 'Just a1, Foo ('Just a1)) bound by a pattern with constructor Baz :: forall (a :: Symbol). Foo ('Just a) => Bar ('Just a), in an equation for ‘test’ at instance-test.hs:14:8-10 or from ('Just b ~ 'Just a2, Foo ('Just a2)) bound by a pattern with constructor Baz :: forall (a :: Symbol). Foo ('Just a) => Bar ('Just a), in an equation for ‘test’ at instance-test.hs:14:14-16 }}} By my reasoning `Foo ('Just a2)` should imply `KnownSymbol a2`, why is GHC missing it? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8915> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2283: WIndows: loading objects that refer to DLL symbols
by GHC 19 Mar '14

19 Mar '14

#2283: WIndows: loading objects that refer to DLL symbols ---------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.8.1-rc2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7097 #7568 ---------------------------------+------------------------------------ Changes (by thoughtpolice): * version: 6.8.2 => 7.8.1-rc2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8911: Panic on incorrect record declaration
by GHC 19 Mar '14

19 Mar '14

#8911: Panic on incorrect record declaration -----------------------------------+--------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: record | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- {{{ $ echo 'data X = X { x :: { x :: Int } }' >test.hs; ghc test.hs [1 of 1] Compiling Main ( test.hs, test.o ) ghc.exe: panic! (the 'impossible' happened) (GHC version 7.6.3 for i386-unknown-mingw32): tc_hs_type: record Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8911> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2283: WIndows: loading objects that refer to DLL symbols
by GHC 19 Mar '14

19 Mar '14

#2283: WIndows: loading objects that refer to DLL symbols ---------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7097 #7568 ---------------------------------+------------------------------------ Comment (by awson): I've slightly improved the patch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8908: ghc: panic! (the 'impossible' happened)
by GHC 18 Mar '14

18 Mar '14

#8908: ghc: panic! (the 'impossible' happened) ------------------------------------+--------------------------------- Reporter: sledged | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for x86_64-unknown-linux): compiler/rename/RnSource.lhs:429:14-81: Irrefutable pattern failed for pattern Data.Maybe.Just (inst_tyvars, _, SrcLoc.L _ cls, _) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8908> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #5467: Template Haskell: support for Haddock comments
by GHC 18 Mar '14

18 Mar '14

#5467: Template Haskell: support for Haddock comments -------------------------------------+------------------------------------ Reporter: reinerp | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Template Haskell | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by Rothiph): * cc: mikesteele81@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5467#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2283: WIndows: loading objects that refer to DLL symbols
by GHC 18 Mar '14

18 Mar '14

#2283: WIndows: loading objects that refer to DLL symbols ---------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7097 #7568 ---------------------------------+------------------------------------ Comment (by awson): This patch is not a replacement for old patch. It should be applied to the current HEAD and 7.8. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8891: Data.Time.Clock documentation error (?)
by GHC 18 Mar '14

18 Mar '14

#8891: Data.Time.Clock documentation error (?) ------------------------------------+------------------------------------- Reporter: b7j0c | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Documentation | 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: | ------------------------------------+------------------------------------- http://hackage.haskell.org/package/time-1.4.2/docs/Data-Time-Clock.html includes a "Show" instance for UTCTime...but it doesn't seem to have a Show instance declaration (?) thanks brad -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8891> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2283: WIndows: loading objects that refer to DLL symbols
by GHC 18 Mar '14

18 Mar '14

#2283: WIndows: loading objects that refer to DLL symbols ---------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7097 #7568 ---------------------------------+------------------------------------ Changes (by awson): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2283: WIndows: loading objects that refer to DLL symbols
by GHC 18 Mar '14

18 Mar '14

#2283: WIndows: loading objects that refer to DLL symbols ---------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 6.8.2 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7097 #7568 ---------------------------------+------------------------------------ Changes (by awson): * priority: high => highest * status: closed => new * resolution: fixed => * architecture: x86 => Unknown/Multiple Comment: That fix above was insufficient. It resolved linking of decorated function, but any attempt of some foreign code to call it lead to segfault because such foreign code want to call it *indirectly*, while we give it a direct address. This patch fixes things finally. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2283#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0