Export exn:msg predicates and accessors. |
|
More...
|
over 19 years ago
|
Renamed test.ss to peval-test.ss. |
|
More...
|
over 19 years ago
|
Export dp-all-previous. |
|
More...
|
over 19 years ago
|
Revised and rearranged Law of Demeter checker code. |
|
More...
|
over 19 years ago
|
Allow improper list of variables in make-after ... returning. |
|
More...
|
over 19 years ago
|
Removed redundant case from formals-vars. |
|
More...
|
over 19 years ago
|
Don't bother converting constants to #t; pval-true? works anyway. |
|
More...
|
over 19 years ago
|
Removed with-vars. |
|
More...
|
over 19 years ago
|
and -> and/bind |
|
More...
|
over 19 years ago
|
Export and/bind instead of replacing the primitive and. |
|
More...
|
over 19 years ago
|
Renamed object-sugar.ss to init-sugar.ss. |
|
More...
|
over 19 years ago
|
Moved object primitives and initialization protocol into object.ss. |
|
More...
|
over 19 years ago
|
Initial revision. |
|
More...
|
over 19 years ago
|
Added "returning <vars>" syntax for make-after and define-after. |
|
More...
|
over 19 years ago
|
Fixed precedence bug (most-recently-defined-first for around branches). |
|
More...
|
over 19 years ago
|
Record free vars in side-effect-only expressions too. |
|
More...
|
over 19 years ago
|
Accept all primitive expression syntax, not just side-effect-free. |
|
More...
|
over 19 years ago
|
Don't assume predicates don't include #f. Generalize eq? handling in disjointness test (use substitution). Don't convert (if X #t Y) into (and X Y) in unexpand-datum. |
|
More...
|
over 19 years ago
|
add-disjoint-set! takes a list instead of a set. Fixed implication and disjointness declarations for = < > <= >=. |
|
More...
|
over 19 years ago
|
Added SRFI 13 (string library). |
|
More...
|
over 19 years ago
|
Removed dp-values, since it usually can't be used in a predicate anyway. |
|
More...
|
over 19 years ago
|
Don't compile test.ss. |
|
More...
|
over 19 years ago
|
Turn off tracing for release-4. |
|
More...
|
over 19 years ago
|
Require peval.ss for pred-implies? and set-pproc!. |
|
More...
|
over 19 years ago
|
Added filter-sugar.ss for composition filter syntactic sugar. |
|
More...
|
over 19 years ago
|
Provide set-pproc!. |
|
More...
|
over 19 years ago
|
Added proc-prim, proc-env-vars, proc-env-value. |
|
More...
|
over 19 years ago
|
Renamed declare-implies to declare-prim-implies. Added a new declare-implies for predicate abstractions. |
|
More...
|
over 19 years ago
|
Ignore active closures in pval-op. |
|
More...
|
over 19 years ago
|
Fixed partial def of dp?. |
|
More...
|
over 19 years ago
|