Delete useless definition
This commit is contained in:
parent
653939ffa7
commit
cefa13c4d7
|
@ -1265,8 +1265,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
|
||||||
#`(define formals.erased body ... last-body*)
|
#`(define formals.erased body ... last-body*)
|
||||||
#'-lambda
|
#'-lambda
|
||||||
#t #t))
|
#t #t))
|
||||||
(define type-ann
|
|
||||||
(and (attribute return.type)))
|
|
||||||
;; insert in type variables if necessary
|
;; insert in type variables if necessary
|
||||||
(define rhs*
|
(define rhs*
|
||||||
(syntax-parse rhs
|
(syntax-parse rhs
|
||||||
|
|
Loading…
Reference in New Issue
Block a user