suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
heterogeneous-let
trivial/trivial
History
Georges Dupéron 6103097fe5 Quick hack to support heterogeneous let forms.
2016-09-11 13:55:45 +02:00
..
define Quick hack to support heterogeneous let forms. 2016-09-11 13:55:45 +02:00
format ** move package to submodule 2016-03-19 22:52:28 -04:00
function ** move package to submodule 2016-03-19 22:52:28 -04:00
list [list] docs, and hide map: for now 2016-05-02 22:40:44 -04:00
math [math] add quotient 2016-06-27 16:00:01 -04:00
private ** turn off logging 2016-07-26 13:56:53 -04:00
regexp ** move package to submodule 2016-03-19 22:52:28 -04:00
scribblings [list] docs, and hide map: for now 2016-05-02 22:40:44 -04:00
untyped [private] rx: always order clusters by left-paren position 2016-06-27 16:00:02 -04:00
vector ** move package to submodule 2016-03-19 22:52:28 -04:00
define.rkt Quick hack to support heterogeneous let forms. 2016-09-11 13:55:45 +02:00
format.rkt ** move package to submodule 2016-03-19 22:52:28 -04:00
function.rkt ** move package to submodule 2016-03-19 22:52:28 -04:00
info.rkt [private] rename command-line.rkt 2016-06-27 16:00:01 -04:00
list.rkt [list] docs, and hide map: for now 2016-05-02 22:40:44 -04:00
main.rkt [list] docs, and hide map: for now 2016-05-02 22:40:44 -04:00
math.rkt [math] add quotient 2016-06-27 16:00:01 -04:00
no-colon.rkt ** move package to submodule 2016-03-19 22:52:28 -04:00
parameters.rkt ** add/expose parameter for logging 'hits' 2016-06-27 16:00:01 -04:00
README.md ** nb: hard to do type-directed elaborations 2016-05-22 18:52:53 -04:00
regexp.rkt ** move package to submodule 2016-03-19 22:52:28 -04:00
untyped.rkt [checkpoint] 2016-06-27 16:00:02 -04:00
vector.rkt ** move package to submodule 2016-03-19 22:52:28 -04:00

README.md

Project Structure

  • private/ Contains the implementation
  • scribblings/ Documentation sources
  • info.rkt Racket package metadata
  • main.rkt Package front-end, use with (require trivial)
  • no-colon.rkt Alternate front-end, use with (require trivial/no-colon)
  • *.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!