IDEA

@@ -0,0 +1,2 @@
+IDEA: to reduce the problem of "fake" immutable vectors etc. leaking out into the generated code, also change the representation of syntax objects. That way, errors will be caught really fast if anythin leaks.
+      Though this could also cause errors of its own in other places :-(

info.rkt

@@ -4,7 +4,7 @@
                "rackunit-lib"
                "typed-racket-lib"
                "typed-racket-more"
-               "typed-map"))
+               "typed-map-lib"))
 (define build-deps '("scribble-lib"
                      "racket-doc"
                      "typed-racket-doc"))

typed-syntax.rkt

@@ -13,6 +13,7 @@
          ISyntaxOf-E
          ISyntax/Non
          ISyntax/Non-E
+         ISyntax/Non-Stx
          any->isyntax/non
          syntax->isyntax/non
          any->isyntax/non-e

typed-syntax/typed-syntax-convert2.rkt

@@ -10,6 +10,7 @@
          ISyntax-E
          ISyntax/Non
          ISyntax/Non-E
+         ISyntax/Non-Stx
          any->isyntax/non
          syntax->isyntax/non
          any->isyntax/non-e
@@ -72,6 +73,7 @@
 
 (define-type ISyntax/Non (ISyntaxOf (NonSyntaxOf Any) (NonSexpOf Any)))
 (define-type ISyntax/Non-E (ISyntaxOf-E (NonSyntaxOf Any) (NonSexpOf Any)))
+(define-type ISyntax/Non-Stx (Syntaxof ISyntax/Non-E))
 
 (define-type ISyntax (ISyntaxOf Nothing Nothing))
 (define-type ISyntax-E (ISyntaxOf-E Nothing Nothing))