/[gcl]/gcl/ansi-tests/types-and-class.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/types-and-class.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.11 by pfdietz, Mon Jan 13 00:16:56 2003 UTC revision 1.12 by pfdietz, Mon Jan 13 23:19:51 2003 UTC
# Line 317  Line 317 
317    (not (macro-function 'deftype))    (not (macro-function 'deftype))
318    nil)    nil)
319    
320    (deftest typep-nil-null
321        (not (not (typep nil 'null)))
322      t)
323    
324    (deftest typep-t-null
325        (typep t 'null)
326      nil)
327    
328  ;;; Special cases of types-6 that are/were causing problems in CMU CL  ;;; Special cases of types-6 that are/were causing problems in CMU CL
329    
330  (deftest keyword-is-subtype-of-atom  (deftest keyword-is-subtype-of-atom
# Line 330  Line 338 
338  (deftest extended-char-is-subtype-of-atom  (deftest extended-char-is-subtype-of-atom
339    (subtypep* 'extended-char 'atom)    (subtypep* 'extended-char 'atom)
340    t t)    t t)
341    
342    ;;; Error checking of type-related functions
343    
344    (deftest subtypep.error.1
345      (classify-error (subtypep))
346      program-error)
347    
348    (deftest subtypep.error.2
349      (classify-error (subtypep t))
350      program-error)
351    
352    (deftest subtypep.error.3
353      (classify-error (subtypep t t nil nil))
354      program-error)
355    
356    (deftest type-of.error.1
357      (classify-error (type-of))
358      program-error)
359    
360    (deftest type-of.error.2
361      (classify-error (type-of nil nil))
362      program-error)
363    
364    (deftest typep.error.1
365      (classify-error (typep))
366      program-error)
367    
368    (deftest typep.error.2
369      (classify-error (typep nil))
370      program-error)
371    
372    (deftest typep.error.3
373      (classify-error (typep nil t nil nil))
374      program-error)
375    
376    (deftest type-error-datum.error.1
377      (classify-error (type-error-datum))
378      program-error)
379    
380    (deftest type-error-datum.error.2
381      (classify-error
382       (let ((c (make-condition 'type-error :datum nil
383                                :expected-type t)))
384         (type-error-datum c nil)))
385      program-error)
386    
387    (deftest type-error-expected-type.error.1
388      (classify-error (type-error-expected-type))
389      program-error)
390    
391    (deftest type-error-expected-type.error.2
392      (classify-error
393       (let ((c (make-condition 'type-error :datum nil
394                                :expected-type t)))
395         (type-error-expected-type c nil)))
396      program-error)
397    

Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26