[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

type lossage?

Compiling defun make-core-byte-component: 

File: /afs/cs.cmu.edu/project/clisp/hackers/wlott/compiler/generic/core.lisp

In: defun make-core-byte-component
  (defun make-core-byte-component (byte-output constants xeps object)
    (declare (type byte-output byte-output)
             (type vector constants)
             (type list xeps)
             (type core-object object)) ..)
Note: Can't tell whether previous fourth argument type
      (or null (or nil fasl-file) core-object) is a core-object.


I though it was supposed to canonicalize union types.

-William