10 Jan
2007
10 Jan
'07
12:01 a.m.
Did I say TICs? Assuming that you want to "tuple up" many constraints, I should have said TIPs of course. The SYB3 code distribution actually exercises some related chaining of contexts; cf. PairCtx. However, what's missing is the "obliviousness dimension" for irrelevant constraints. So you may want something like: class Sat ctx a => SatMember ctx ctx' a Let us know whether something like this works. Ralf