From 31ee1c8941dc40107d92f7e3be5fc36a7f851dba Mon Sep 17 00:00:00 2001
From: Ben Greenman <benjaminlgreenman@gmail.com>
Date: Sun, 22 May 2016 18:52:53 -0400
Subject: [PATCH] ** nb: hard to do type-directed elaborations

---
 trivial/README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/trivial/README.md b/trivial/README.md
index d096beb..eef246f 100644
--- a/trivial/README.md
+++ b/trivial/README.md
@@ -9,3 +9,9 @@ Project Structure
 - `*.rkt` Front-ends for specific libraries
 - `*/` Front-ends for the no-colon versions of specific libraries, like `(require format/no-colon)`
 
+
+Note: transformations do not have access to type information because Typed
+ Racket seems to keep type information in an external table.
+
+Could try to import the table, but its probably not populated at the time.
+If only types were stored as interned syntax properties!