diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-08 07:35:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-08 07:35:22 +0000 |
| commit | 52b3f7dee38b7a15e1b017e6a41ac63cbf6e95e8 (patch) | |
| tree | 9f6023cdfd57bf982486d866ba32252d304b659e /src/ChangeLog | |
| parent | dec92cd40550e8532d36502dd75d6f9d639d7f7c (diff) | |
| download | open-axiom-52b3f7dee38b7a15e1b017e6a41ac63cbf6e95e8.tar.gz | |
2008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/g-opt.boot ($simpleVMoperators): New.
(isSimpleVMForm): Likewise.
(isFloatableVMForm): Likewise.
(optLET): Likewise. Expand backend let-forms.
* interp/c-util.boot (foldSpadcall): Look into LET and COND forms.
(replaceSimpleFunctions): Likewise.
(mutateCONDFormWithUnaryFunction): New.
(mutateLETFormWithUnaryFunction): Likewise.
* interp/compiler.boot (tryCourtesyCoercion): Split from coerce.
(compRetractAlternative): Simplify. Now try courtesy coercions
before retraction.
(compRecoverAlternative): New.
(compMatch): Simplify. Implement type recovery too.
2008-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/compiler.boot (compRetractAlternative): New.
(compMatch): Likewise. Use it to implement pattern macthing
for retractable domains.
* interp/parse.boot (parseAtAt): New.
* interp/postpar.boot (postAtAt): Likewise.
(postAlternatives): Likewise.
(postMatch): Likewise.
* interp/metalex.lisp (Keywords): Remove `otherwise' as keyword.
* interp/fnewmeta.lisp (|PARSE-Match|): New local parser.
* interp/newaux.lisp (@@): New token. Align wih interpreter.
(otherwise): Remove binding specification.
(case): Now also a Nud token.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 39 |
1 files changed, 35 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 8dacf4d6..ec9c0b71 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,9 +1,40 @@ -2008-12-06 Alfredo Portes <doyenatccny@gmail.com> +2008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - * lib/cfuns-c.c (oa_getpid): New function to - support getting process id in Windows. + * interp/g-opt.boot ($simpleVMoperators): New. + (isSimpleVMForm): Likewise. + (isFloatableVMForm): Likewise. + (optLET): Likewise. Expand backend let-forms. + * interp/c-util.boot (foldSpadcall): Look into LET and COND forms. + (replaceSimpleFunctions): Likewise. + (mutateCONDFormWithUnaryFunction): New. + (mutateLETFormWithUnaryFunction): Likewise. + * interp/compiler.boot (tryCourtesyCoercion): Split from coerce. + (compRetractAlternative): Simplify. Now try courtesy coercions + before retraction. + (compRecoverAlternative): New. + (compMatch): Simplify. Implement type recovery too. + +2008-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (compRetractAlternative): New. + (compMatch): Likewise. Use it to implement pattern matching + for retractable domains. + * interp/parse.boot (parseAtAt): New. + * interp/postpar.boot (postAtAt): Likewise. + (postAlternatives): Likewise. + (postMatch): Likewise. + * interp/metalex.lisp (Keywords): Remove `otherwise' as keyword. + * interp/fnewmeta.lisp (|PARSE-Match|): New local parser. + * interp/newaux.lisp (@@): New token. Align wih interpreter. + (otherwise): Remove binding specification. + (case): Now also a Nud token. + +2008-12-06 Alfredo Portes <doyenatccny@gmail.com> + + * lib/cfuns-c.c (oa_getpid): New function to support getting + process id in Windows. * include/cfuns.h: Define it. - * lib/fnct_key.c: Use it. + * lib/fnct_key.c: Use it. * lib/sockio-c.c: Likewise. * lib/util.c: Likewise. * clef/edible.c: Likewise. |