clean up unused definition
This commit is contained in:
parent
0037a0277f
commit
0ea39a1177
|
@ -198,13 +198,6 @@
|
|||
(syntax-parse stx
|
||||
[(define-new-subtype ty:id (constructor:id rep-ty:expr))
|
||||
#:with gen-id (generate-temporary #'ty)
|
||||
#:with stx-err-fun
|
||||
#'(lambda (stx)
|
||||
(raise-syntax-error
|
||||
'type-check
|
||||
"type name used out of context"
|
||||
stx
|
||||
(and (stx-pair? stx) (stx-car stx))))
|
||||
#`(begin
|
||||
(define-type-alias ty (Distinction ty gen-id rep-ty))
|
||||
#,(ignore
|
||||
|
|
Loading…
Reference in New Issue
Block a user