Move disjunction linearization, propagate conditional value in alternative branch.
authorJoe Marshall <jmarshall@alum.mit.edu>
Wed, 3 Mar 2010 16:19:50 +0000 (08:19 -0800)
committerJoe Marshall <jmarshall@alum.mit.edu>
Wed, 3 Mar 2010 16:19:50 +0000 (08:19 -0800)
commit5f51af6eeead732ed442cb2310f4f6be3b284608
tree03dca8f58f04a6b962dd867edb3a8d572110c916
parentd906852841dc1f1c846b9f78470afb9657d4a64c
Move disjunction linearization, propagate conditional value in alternative branch.
src/sf/object.scm
src/sf/sf.pkg
src/sf/subst.scm