Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: new Priority: highest | Milestone: 7.6.1 Component: GHCi |Version: 7.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by simonpj): * priority: high = highest Comment: Paolo to make a test case, and merge to 7.6. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: closed Priority: highest | Milestone: 7.6.1 Component: GHCi |Version: 7.4.2 Resolution: fixed| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by pcapriotti): * status: new = closed * resolution: = fixed Comment: Test was pushed as 38163b919c9b429a003468afe2ac93f9bc9bd3f0. Merged as 8c668678afe42bdc29f01eb49c791c13be3f94dc. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: new Priority: high | Milestone: 7.6.1 Component: GHCi |Version: 7.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by simonpj): * owner: = pcapriotti -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope
--+-
Reporter: parcs| Owner: pcapriotti
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
Component: GHCi |Version: 7.4.2
Resolution: | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Incorrect result at runtime | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: |Related:
--+-
Comment(by p.capriotti@…):
commit 700d287fb11dadfd1e91875e2008c4002cd883a3
{{{
Author: Paolo Capriotti p.caprio...@gmail.com
Date: Mon Aug 13 18:26:34 2012 +0100
Fix environment update for type instance declarations in GHCi (#7117)
Patch by Patrick Palka patr...@parcs.ath.cx
compiler/typecheck/TcInstDcls.lhs |2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.1 Component: GHCi |Version: 7.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: --+- Changes (by simonmar): * priority: normal = high * difficulty: = Unknown * status: patch = new * milestone: = 7.6.1 Comment: Patch looks ok, we'll need a test too. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope
--+-
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal| Component: GHCi
Version: 7.4.2 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby:| Blocking:
Related:|
--+-
The following example explains the problem:
{{{
data family Foo a
data instance Foo Int = FooInt
:t FooInt
interactive:1:1: Not in scope: data constructor `FooInt'
}}}
`FooInt` is defined, but `GHCi` doesn't recognize it.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope
#7117: Data family constructors defined in GHCi are not in scope -+-- Reporter: parcs| Owner: Type: bug | Status: patch Priority: normal | Component: GHCi Version: 7.4.2| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Testcase: Blockedby: | Blocking: Related: | -+-- Changes (by parcs): * status: new = patch * failure: None/Unknown = Incorrect result at runtime -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7117#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
