I thought about those approaches a little, and I forsee some problems, like
the one about teasing apart different uses of the string float32. It feels
like a risky approach but maybe it can work... I'm not sure the current
approach is any better... Hmm.
On Mar 29, 2013 11:08 AM, "Matthew Rocklin" <notifications@github.com>
wrote:

> In logpy/unify.py:
>
> >      if isvar(v):
> > -        return assoc(s, v, u)
> > +        return v.assoc(s, u)
>
> Yeah. I'm keeping that in mind. Did you have thoughts on the context
> manager or patternify ideas in the other thread? (probably should respond
> there, not start discussion here). Did they make sense? Do you see any
> major issues with them?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/logpy/logpy/pull/21/files#r3586796>
> .
>