www

commit 5cc39371b87f519b0700c1ef78687239dc6f63f4
parent ee8e7dd7cc01151819c035ea526e271b68044461
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri, 13 Jan 2017 00:59:11 +0100

A few changes to the typed syntax types

Diffstat:
A
IDEA
 | 
3
+++
M
typed-syntax.rkt
 | 
1
+
M
typed-syntax/typed-syntax-convert2.rkt
 | 
2
++

3 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/IDEA b/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 :-(
+\ No newline at end of file
diff --git a/typed-syntax.rkt b/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
diff --git a/typed-syntax/typed-syntax-convert2.rkt b/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))