Re: [Hugs] #65: depth cutoff reports the wrong constraint

2007-04-20 Thread Hugs
#65: depth cutoff reports the wrong constraint --+- Reporter: ross | Owner: nobody Type: defect | Status: closed Priority: major| Milestone: Component: type system |

[Hugs] #65: depth cutoff reports the wrong constraint

2007-04-20 Thread Hugs
#65: depth cutoff reports the wrong constraint -+-- Reporter: ross | Owner: nobody Type: defect | Status: new Priority: major| Milestone: Component: type system |