Commit 3e979842 authored by pfdietz's avatar pfdietz

Add tests for DECLAIM

parent 3642f0bf
;-*- Mode: Lisp -*-
;;;; Author: Paul Dietz
;;;; Created: Sat May 21 07:44:07 2005
;;;; Contains: Tests of DECLAIM
(in-package :cl-test)
(deftest declaim.1
(progn (declaim) nil)
nil)
(deftest declaim.2
(progn (eval `(declaim (optimize))) nil)
nil)
(deftest declaim.3
(progn (eval `(declaim (inline))) nil)
nil)
(deftest declaim.4
(progn (eval `(declaim (notinline))) nil)
nil)
(deftest declaim.5
(progn (eval `(declaim (type t))) nil)
nil)
(deftest declaim.6
(progn (eval `(declaim (special))) nil)
nil)
(deftest declaim.7
(progn (eval `(declaim (integer))) nil)
nil)
(deftest declaim.8
(progn (eval `(declaim (declaration))) nil)
nil)
(deftest declaim.9
(let ((sym (gensym)))
(eval `(declaim (declaration ,sym)))
(eval `(declaim (,sym)))
nil)
nil)
(deftest declaim.10
(let ((sym (gensym)))
(eval `(declaim (optimize) (special ,sym) (inline) (special)))
(eval `(flet ((%f () ,sym))
(let ((,sym :good)) (%f)))))
:good)
......@@ -12,4 +12,5 @@
(load "the.lsp")
(load "symbol-macrolet.lsp")
(load "proclaim.lsp")
(load "declaim.lsp")
(load "locally.lsp")
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment