3 Jan
2007
3 Jan
'07
5:07 p.m.
Hi Reto, On Thu, Dec 21, 2006 at 10:11:22PM -0800, Reto Kramer wrote:
I've tried to thread the two states (StateA and StateB) using a chain of StateT ... StateT ..., but couldn't really make that work.
That is how I would write it; I have attached code for your example.
It seems rather arbitrary in this case which state to make the inner/ outer one
The choice is indeed arbitrary.
and depending on this ordering the "lifts" have to go with one or the other set of store calls.
If you don't mind turning on overlapping and undecidable instances then you don't need to manually lift things at all. Thanks Ian