Re: [GHC] #5777: core lint error with arrow notation and GADTs

2013-01-09 Thread GHC
#5777: core lint error with arrow notation and GADTs -+-- Reporter: benmos| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #5777: core lint error with arrow notation and GADTs

2012-04-13 Thread GHC
#5777: core lint error with arrow notation and GADTs --+- Reporter: benmos | Owner: Type: bug| Status: new Priority: normal |

Re: [GHC] #5777: core lint error with arrow notation and GADTs

2012-01-31 Thread GHC
#5777: core lint error with arrow notation and GADTs --+- Reporter: benmos | Owner: Type: bug| Status: new Priority: normal |

Re: [GHC] #5777: core lint error with arrow notation and GADTs (was: Panic with Arrow Notation and GADTs)

2012-01-15 Thread GHC
#5777: core lint error with arrow notation and GADTs +--- Reporter: benmos | Owner: Type: bug | Status: new Priority: normal |