From 7ecc848176a480c378caf28d8271bc5f32000d07 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Mon, 8 Sep 2014 21:02:06 -0400 Subject: [PATCH] add comments about (Syntaxof Syntax-E) (cherry picked from commit 3d88e7c6630806275bcfdab33d379c43a59094d8) --- .../typed-racket-lib/typed-racket/rep/type-rep.rkt | 2 ++ .../typed-racket-lib/typed-racket/types/abbrev.rkt | 1 + 2 files changed, 3 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt index 65b02a9ffc..e01ed3c029 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt @@ -473,7 +473,9 @@ [#:frees (λ (f) (f parent))]) +;; Syntax ;; t : Type +;; t is the type of the result of syntax-e, not the result of syntax->datum (def-type Syntax ([t Type/c]) [#:key 'syntax]) ;; A Row used in type instantiation diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt index fcda24d1f5..82351c8d50 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt @@ -149,6 +149,7 @@ (define/decl -FlVector (make-Base 'FlVector #'flvector? flvector?)) (define/decl -ExtFlVector (make-Base 'ExtFlVector #'extflvector? extflvector?)) (define/decl -FxVector (make-Base 'FxVector #'fxvector? fxvector?)) +;; in the type (-Syntax t), t is the type of the result of syntax-e, not syntax->datum (define -Syntax make-Syntax) (define/decl In-Syntax (-mu e