check-nargs= --> protocol
This commit is contained in:
parent
3e397f65c5
commit
8805f7b7cc
|
@ -7,7 +7,7 @@
|
||||||
|
|
||||||
(define annotate-procedure
|
(define annotate-procedure
|
||||||
(lap annotate-procedure ()
|
(lap annotate-procedure ()
|
||||||
0 (check-nargs= 2)
|
0 (protocol 2)
|
||||||
2 (make-env 2)
|
2 (make-env 2)
|
||||||
4 (local0 2)
|
4 (local0 2)
|
||||||
6 (stored-object-ref closure 0)
|
6 (stored-object-ref closure 0)
|
||||||
|
@ -24,7 +24,7 @@
|
||||||
|
|
||||||
(define procedure-annotation
|
(define procedure-annotation
|
||||||
(lap procedure-anotation ()
|
(lap procedure-anotation ()
|
||||||
0 (check-nargs= 1)
|
0 (protocol 1)
|
||||||
2 (make-env 1)
|
2 (make-env 1)
|
||||||
4 (literal '2)
|
4 (literal '2)
|
||||||
6 (push)
|
6 (push)
|
||||||
|
|
Loading…
Reference in New Issue