suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Provide stuff

Browse Source
This commit is contained in:
Georges Dupéron 2017-01-10 23:04:17 +01:00
parent 2fa55c0d3f
commit 3b59681010
3 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
comments/syntax-properties-typed.rkt
View File

@ -7,6 +7,8 @@
extract-first-comments extract-first-comments
extract-comments-after) extract-comments-after)
(require "typed-syntax.rkt")
(define-type First-Comments (define-type First-Comments
(Rec R (Pairof (U #f (Pairof (Syntaxof 'saved-props+srcloc) (Rec R (Pairof (U #f (Pairof (Syntaxof 'saved-props+srcloc)
R)) R))

2
comments/typed-syntax-convert2.rkt
View File

@ -17,6 +17,8 @@
ISyntax-E ISyntax-E
(struct-out NonSyntax) (struct-out NonSyntax)
;(struct-out NonSexp) ; already exported in typed-syntax-convert.rkt ;(struct-out NonSexp) ; already exported in typed-syntax-convert.rkt
NonSyntaxOf
NonSexpOf
any->isyntax any->isyntax
syntax->isyntax syntax->isyntax
any->isyntax-e) any->isyntax-e)

12
comments/typed-syntax.rkt
View File

@ -3,8 +3,18 @@
(provide isexp? (provide isexp?
try-any->isexp try-any->isexp
any->isexp+non-sexp any->isexp+non-sexp
CoreSexp) CoreSexp
ISyntaxOf
ISyntaxOf-E
ISyntax
ISyntax-E
NonSyntaxOf
NonSexpOf
any->isyntax ;; TODO: make wrappers for these, which discard the second value
syntax->isyntax
any->isyntax-e)
(require "typed-syntax-convert.rkt" (require "typed-syntax-convert.rkt"
"typed-syntax-convert2.rkt"
"typed-syntax-predicate.rkt") "typed-syntax-predicate.rkt")