| Moved *unknowns* from implication.ss to pval.ss. Shortcut pred-implies? and preds-disjoint? to be reflexive and anti-reflexive, respectively. |
|
More...
|
about 19 years ago
|
| Don't raise an error when converting an unknown pval to a datum, convert it to an error string instead. |
|
More...
|
about 19 years ago
|
| Added partial procedure definitions for call-with-values and values. Fixed the partial evaluation of let-values to partially apply call-with-values. This allows predicates with multiple-valued let-values (e.g. anything using MzLib's `send' macro) to be reduced enough for predicate implication to work. |
|
More...
|
about 19 years ago
|
| Use syntax/cx+loc instead of just syntax/loc. |
|
More...
|
about 19 years ago
|
| Added syntax/cx+loc. Minor speedup in fstx->stx. |
|
More...
|
about 19 years ago
|
| Copy certificates of enclosing expressions into free variable syntax objects. |
|
More...
|
about 19 years ago
|
| Added trace-all-msgs? parameter. |
|
More...
|
about 19 years ago
|
| Expanded violation report. Check for within no branch. |
|
More...
|
about 19 years ago
|
| Use shallow memoization unless deep memoization is needed. |
|
More...
|
about 19 years ago
|
| Removed hash-table-length, use hash-table-count. |
|
More...
|
about 19 years ago
|
| Allow tracing to be turned on or off dynamically with a parameter. |
|
More...
|
about 19 years ago
|
| PLT Scheme v299 exceptions need immutable strings. |
|
More...
|
about 19 years ago
|
| Updated exception stuff for MzScheme v299. |
|
More...
|
about 19 years ago
|
| Renamed test.ss to peval-test.ss. |
|
More...
|
over 19 years ago
|
| Moved print-handler from socrates-lib.ss to print-handler.ss. |
|
More...
|
over 19 years ago
|
| Test a bug in eq?. |
|
More...
|
over 19 years ago
|
| Abstracted CPS map into map-k. |
|
More...
|
over 19 years ago
|
| Abstracted some common code into prim-apply. |
|
More...
|
over 19 years ago
|
| Fixed a bug in the partial definition of assq. |
|
More...
|
over 19 years ago
|
| Added prim-tautology?. |
|
More...
|
over 19 years ago
|
| Renamed pvar -> punknown. |
|
More...
|
over 19 years ago
|
| Renamed closure -> pclosure, closure-case -> pcase. |
|
More...
|
over 19 years ago
|
| Use make-app when residualizing a prim apply since args is already a list. |
|
More...
|
over 19 years ago
|
| Don't memoize make-papp/flist, because it depends on current assumptions. |
|
More...
|
over 19 years ago
|
| Fixed require comments. |
|
More...
|
over 19 years ago
|
| Test recheck-assumptions and apply. |
|
More...
|
over 19 years ago
|
| Only check assumptions when residualizing an application, not every papply. |
|
More...
|
over 19 years ago
|
| Moved assumption stuff from peval.ss to patom-implication.ss. |
|
More...
|
over 19 years ago
|
| Moved plist stuff from pproc.ss to peval.ss. |
|
More...
|
over 19 years ago
|
| Partial procedures return #f instead of residualizing. |
|
More...
|
over 19 years ago
|
