diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-23 19:31:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-23 19:31:23 +0000 |
| commit | adae08d08eb4bc36aee21b26073071756d920108 (patch) | |
| tree | eaa339c181f9b75219d9d0050fc4253370732ec8 /src/interp/ptrees.boot | |
| parent | c1552b8106125bc8209d4ea6635198f05b2e1e08 (diff) | |
| download | open-axiom-adae08d08eb4bc36aee21b26073071756d920108.tar.gz | |
* boot/tokens.boot: gensym is now candidate for renaming.
* boot/ast.boot: Replace GENSYM with gensym.
* interp/buildom.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/macex.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/ptrees.boot: Likewise.
* interp/server.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/sys-constants.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
Diffstat (limited to 'src/interp/ptrees.boot')
| -rw-r--r-- | src/interp/ptrees.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ptrees.boot b/src/interp/ptrees.boot index 06ff0b65..7549f80d 100644 --- a/src/interp/ptrees.boot +++ b/src/interp/ptrees.boot @@ -673,7 +673,7 @@ pfTaggedToTyped x== rt:=if pfTagged? x then pfTaggedExpr x else pfNothing() form:= if pfTagged? x then pfTaggedTag x else x not pfId? form => - a:=pfId GENSYM() + a:=pfId gensym() pfTyped(pfSuch(a, pfInfApplication (pfId "=", a,form)),rt) pfTyped(form,rt) |