34 lines
872 B
Racket
34 lines
872 B
Racket
#lang typed/racket
|
|
|
|
(provide isexp?
|
|
Sexp/Non
|
|
try-any->isexp
|
|
any->isexp/non
|
|
CoreSexp
|
|
isyntax?
|
|
isyntax-e?
|
|
ISyntax
|
|
ISyntax-E
|
|
ISyntaxOf
|
|
ISyntaxOf-E
|
|
ISyntax/Non
|
|
ISyntax/Non-E
|
|
ISyntax/Non-Stx
|
|
any->isyntax/non
|
|
syntax->isyntax/non
|
|
any->isyntax/non-e
|
|
try-any->isyntax
|
|
try-syntax->isyntax
|
|
try-any->isyntax-e
|
|
NonSexp NonSexp? NonSexp-v NonSexpOf
|
|
NonSyntax NonSyntax? NonSyntax-v NonSyntaxOf
|
|
Some Some? Some-v
|
|
pairof?)
|
|
|
|
(require "typed-syntax/typed-syntax-convert.rkt"
|
|
"typed-syntax/typed-syntax-convert2.rkt"
|
|
"typed-syntax/typed-syntax-predicate.rkt"
|
|
"typed-syntax/typed-prefab-declarations.rkt"
|
|
"typed-syntax/typed-pairof-predicate.rkt")
|
|
|