Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!emory!gatech!usenet.ins.cwru.edu!agate!pasteur!aspen!boyland
From: boyland@sequoia.Berkeley.EDU (John B. Boyland)
Newsgroups: comp.lang.lisp
Subject: Partial evaluator sought
Message-ID: <13521@pasteur.Berkeley.EDU>
Date: 9 May 91 22:24:34 GMT
Sender: news@pasteur.Berkeley.EDU
Reply-To: boyland@sequoia.Berkeley.EDU (John B. Boyland)
Lines: 20

I'm looking for a general purpose Common Lisp partial evaluator;
a function which evaluates pure Lisp code if all values are known:

Examples:

(partial-eval '(let ((x 5)) x))
===
(values 5 t)

(partial-eval '(let ((x 5)) y))
===
(values nil nil)

(the second value indicates success/failure)

I could write one, but it seems like such a standard tool, that
someone must have done it already.

John Boyland
(boyland@sequoia.berkeley.edu)