suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refactor TR's no-check-helper module

Browse Source
This commit is contained in:
Asumu Takikawa 2014-04-29 22:34:59 -04:00
parent 6e8ad86524
commit f60908c7aa
1 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/typed-racket-pkgs/typed-racket-lib/typed/private/no-check-helper.rkt
View File

@ -1,5 +1,7 @@
#lang racket/base
;; This module provides compatibility macros for no-check mode
(require
(except-in typed-racket/base-env/prims
require/typed require/opaque-type require-typed-struct)
@ -24,22 +26,14 @@
#:attributes (nm ty)
(pattern [nm:opt-rename ty]))
(define-syntax-class struct-clause
;#:literals (struct)
#:attributes (nm (body 1) (opts 1))
(pattern [(~or #:struct (~datum struct)) nm:opt-rename (body ...)
opts:struct-option ...]))
(define-syntax-class opaque-clause
;#:literals (opaque)
#:attributes (ty pred opt)
(pattern [#:opaque ty:id pred:id]
(pattern [(~or #:opaque (~datum opaque)) ty:id pred:id]
#:with opt #'())
(pattern [#:opaque ty:id pred:id #:name-exists]
#:with opt #'(#:name-exists))
(pattern [opaque ty:id pred:id]
#:fail-unless (eq? 'opaque (syntax-e #'opaque)) #f
#:with opt #'())
(pattern [opaque ty:id pred:id #:name-exists]
#:fail-unless (eq? 'opaque (syntax-e #'opaque)) #f
(pattern [(~or #:opaque (~datum opaque)) ty:id pred:id #:name-exists]
#:with opt #'(#:name-exists)))
(define-splicing-syntax-class struct-option
(pattern (~seq #:constructor-name cname:id))