Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-20 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: new

Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-20 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: closed

Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-13 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: new

Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-13 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: pcapriotti Type: bug | Status: new

Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-08 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope --+- Reporter: parcs| Owner: Type: bug | Status: new

Re: [GHC] #7117: Data family constructors defined in GHCi are not in scope

2012-08-03 Thread GHC
#7117: Data family constructors defined in GHCi are not in scope -+-- Reporter: parcs| Owner: Type: bug | Status: patch