Re: [GHC] #1765: :def should redefine too (ghci commands)

2007-11-10 Thread GHC
#1765: :def should redefine too (ghci commands) -+-- Reporter: guest| Owner: igloo Type: merge| Status: closed Priority: normal | Milestone: 6.8.2 Component: GHCi |

Re: [GHC] #1765: :def should redefine too (ghci commands)

2007-11-07 Thread GHC
#1765: :def should redefine too (ghci commands) -+-- Reporter: guest| Owner: igloo Type: merge| Status: new Priority: normal | Milestone: 6.8.2 Component: GHCi |

Re: [GHC] #1765: :def should redefine too (ghci commands)

2007-11-05 Thread GHC
#1765: :def should redefine too (ghci commands) -+-- Reporter: guest| Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.8 bran

Re: [GHC] #1765: :def should redefine too (ghci commands)

2007-10-09 Thread GHC
#1765: :def should redefine too (ghci commands) +--- Reporter: guest|Owner: Type: feature request | Status: new Priority: normal |Milestone:

[GHC] #1765: :def should redefine too (ghci commands)

2007-10-09 Thread GHC
#1765: :def should redefine too (ghci commands) --+- Reporter: guest| Owner: Type: feature request | Status: new Priority: normal | Milestone: Co