CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Type Simplifier: A simple type simplifier

lang/lisp/code/ext/types/
A simple type simplifier originally developed to work around a coerce bug in Allegro CL. [(coerce 0 '(AND T FLOAT) raises an error]
Origin:   

   E-mail to Mark Kantrowitz.

Version: 19-NOV-93 22:07:56 CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Fernando D. Mato Mira Computer Graphics Lab Swiss Federal Institute of Technology (EPFL) CH-1015 Lausanne, Switzerland Tel: +41 (21) 693-5248 Fax: +41 (21) 693-5328 Keywords: Authors!Mato Mira, Lisp!Extensions, Type Simplification References: ?
Last Web update on Mon Feb 13 10:29:41 1995
AI.Repository@cs.cmu.edu