Eric Kow
Eric Kow
Hmm, come to think of it, I don't have any examples that I couldn't address by actually fixing something in the relevant Cabal files. I'll have to dig one up...
OH! It's not about switching items, it's about stepping forward in the debugger!
_Imported from trac issue 18. Created by kowey on 1970-01-01T01:20:48, last modified: 1970-01-01T01:20:48_
Renamed from monad to environment. I don't care how it's implemented, I just want a less error-prone way to do unification. The standard approach of unification variables pointing into a...
Phew, the way we're doing unification really is dreadful. And an environment doesn't sound so hard either.
OK, have a rough idea what to do maybe. So problem is bugs caused by forgetting to replace, or not replacing on parent structure Possible solution: anything with unification variables...
_Imported from trac issue 2. Created by kowey on 1970-01-01T01:20:32, last modified: 1970-01-01T01:20:46_
Should search for any more recent automata libraries out there.
_Imported from trac issue 51. Created by kowey on 1970-01-01T01:21:51, last modified: 1970-01-01T01:21:51_
_Imported from trac issue 49. Created by kowey on 1970-01-01T01:21:02, last modified: 1970-01-01T01:21:02_