Repositories / ecl.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5c25fc1)
ECL accepts FTYPE proclamations for SETF-functions.
authorJuan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Mon, 8 Feb 2010 10:47:30 +0000 (11:47 +0100)
committerJuan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Mon, 8 Feb 2010 10:47:30 +0000 (11:47 +0100)
src/CHANGELOG patch | blob | blame | history
src/cmp/cmpenv.lsp patch | blob | blame | history
src/new-cmp/cmpenv.lsp patch | blob | blame | history

diff --git a/src/CHANGELOG b/src/CHANGELOG
index 6ae3d70..87e09f5 100755 (executable)
--- a/src/CHANGELOG
+++ b/src/CHANGELOG
@@ -37,6 +37,8 @@ ECL 10.2.1:
    in B, then ECL signaled an error in the compiled version of A even after
    this one had required B.lsp.
 
+ - ECL accepts FTYPE proclamations for SETF-functions.
+
 * Visible changes:
 
  - Significant speedup in access to hash tables of up to 30% by writing
diff --git a/src/cmp/cmpenv.lsp b/src/cmp/cmpenv.lsp
index e62f576..2552ca8 100644 (file)
--- a/src/cmp/cmpenv.lsp
+++ b/src/cmp/cmpenv.lsp
@@ -95,7 +95,7 @@
         (t (type-filter (car return-types)))))
 
 (defun add-function-proclamation (fname decl)
-  (if (symbolp fname)
+  (if (si:valid-function-name-p fname)
       (let* ((arg-types '*)
             (return-types '*)
             (l decl))
diff --git a/src/new-cmp/cmpenv.lsp b/src/new-cmp/cmpenv.lsp
index 326c9e6..e6d0be0 100644 (file)
--- a/src/new-cmp/cmpenv.lsp
+++ b/src/new-cmp/cmpenv.lsp
@@ -44,7 +44,7 @@
         (t (c-types:type-filter (car return-types)))))
 
 (defun add-function-proclamation (fname decl)
-  (if (symbolp fname)
+  (if (si:valid-function-name-p fname)
       (let* ((arg-types '*)
             (return-types '*)
             (l decl))
@@ -59,11 +59,11 @@
              (t (warn "The function proclamation ~s ~s is not valid."
                       fname decl)))
        (if (eq arg-types '*)
-           (sys:rem-sysprop fname 'PROCLAIMED-ARG-TYPES)
-           (sys:put-sysprop fname 'PROCLAIMED-ARG-TYPES arg-types))
+           (rem-sysprop fname 'PROCLAIMED-ARG-TYPES)
+           (put-sysprop fname 'PROCLAIMED-ARG-TYPES arg-types))
        (if (eq return-types '*)
-           (sys:rem-sysprop fname 'PROCLAIMED-RETURN-TYPE)
-           (sys:put-sysprop fname 'PROCLAIMED-RETURN-TYPE return-types)))
+           (rem-sysprop fname 'PROCLAIMED-RETURN-TYPE)
+           (put-sysprop fname 'PROCLAIMED-RETURN-TYPE return-types)))
       (warn "The function proclamation ~s ~s is not valid." fname decl)))
 
 (defun add-function-declaration (fname arg-types return-types env)
Embeddable Common Lisp (Official: https://gitlab.com/embeddable-common-lisp/ecl)