function is a type specifier!!!

ID	Created	Type	mocl Version	Dev OS	Target	Status
#72	by informatimago on 2015-03-01 (2156 days ago)	defect	14.08	Mac OS X	n/a	open

Description

Summary:

Steps to Reproduce:

Compile:

(declaim (ftype function message))
(defun message ()
  'hi)


Expected Results:

Compile a nice function, knowing that message is a function.

FTYPE takes a type specifier:
http://www.lispworks.com/documentation/HyperSpec/Body/d_ftype.htm#ftype


FUNCTION is a type specifier:
http://www.lispworks.com/documentation/HyperSpec/Body/t_fn.htm

therefore a conforming implementation should not complain about 
(declaim (ftype function message))!



Actual Results:

n=bug-ftype            ; echo --- ; mkdir -p /tmp/${n}/src ; mocl --verbose --warn --android /tmp/${n} ${n}.lisp
---
mocl 14.08 Copyright (C) 2013-2014 Wukix, Inc. (https://wukix.com)
[Source Analysis]
/Users/pjb/src/mocl/bug-ftype.lisp
Error: The value FUNCTION is not of type LIST.
make: [check-bugs] Error 1 (ignored)

Notes:

Comments

(no comments)