suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

** nb: hard to do type-directed elaborations

Browse Source
This commit is contained in:
Ben Greenman 2016-05-22 18:52:53 -04:00
parent 4ab5ce5c95
commit 31ee1c8941
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
trivial/README.md
View File

@ -9,3 +9,9 @@ Project Structure
- `*.rkt` Front-ends for specific libraries - `*.rkt` Front-ends for specific libraries
- `*/` Front-ends for the no-colon versions of specific libraries, like `(require format/no-colon)` - `*/` 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!