Plaster
New
List
Login
text
default
anonymous
2020.10.07 21:49:56
run (defun c (x y) (+ x y)) in sbcl if you inspect it, sbcl will infer the type as (FUNCTION (T T) (VALUES NUMBER &OPTIONAL)) now if you run (defmethod d (x y) (+ x y)) inspect it and check it's %method-function, and it is typed as (FUNCTION (T T) *)
Raw
Annotate
Repaste
Edit