Joe Groff
|
fae924ece3
|
docs for typed
|
2009-10-16 23:36:09 -05:00 |
|
Joe Groff
|
977668c7dd
|
banish typed prettyprinting to its own vocab
|
2009-10-16 22:16:31 -05:00 |
|
Joe Groff
|
551b1aca8f
|
hide typed's private parts
|
2009-10-16 22:03:14 -05:00 |
Slava Pestov
|
fb79aec97e
|
typed: fix deployment
|
2009-10-16 21:22:01 -05:00 |
|
Joe Groff
|
99c0bcc683
|
ensure the typed subword gets xref-ed by the compiler
|
2009-10-13 21:20:05 -05:00 |
|
Joe Groff
|
c0d173ae9b
|
change TYPED: to put its magic inside macros and specialize the stack effect of the internal typed word so that it can follow tuple redefinitions
|
2009-10-13 20:11:17 -05:00 |
|
Joe Groff
|
d5b4202f6a
|
unbox read-only tuple arguments and box read-only tuple results to TYPED: words in the inlined wrapper code to avoid allocation of unboxable tuples
|
2009-10-13 17:25:32 -05:00 |
|
Joe Groff
|
cb646db54a
|
add a "test-mr." word to compiler.cfg.debugger equivalent to "test-mr mr."
|
2009-09-30 11:34:19 -05:00 |
|
Joe Groff
|
0b8f2e1470
|
give pretty names to typed gensyms, and report them as subwords of the driver word
|
2009-09-29 22:53:42 -05:00 |
|
Joe Groff
|
a4c134a1f3
|
typed: add TYPED:: word for typed local definitions, and throw in some unit tests
|
2009-09-29 12:55:37 -05:00 |
|
Joe Groff
|
302b0a3a10
|
typed.debugger vocab with words to run optimizer. and test-mr on the underlying typed word of TYPED: definitions
|
2009-09-29 12:41:05 -05:00 |
|
Joe Groff
|
37a13b2c45
|
for typed words, put the specialized definition in a gensym, and check the input types and declare the output types in the inlined outer word so the checks can be cleared by the compiler when possible
|
2009-09-02 18:45:08 -05:00 |
|
Joe Groff
|
2338938abe
|
vocab metadata for typed
|
2009-09-02 12:21:58 -05:00 |
|
Joe Groff
|
e4158d46fb
|
coerce and check output types on typed words; set "input-classes" and "default-output-classes" props on typed words
|
2009-09-02 12:13:47 -05:00 |
|
Joe Groff
|
aeba336601
|
separate stack effect typing from hints. put it in a "typed" vocab, and have a TYPED: word that adds the type checking directly to the word
|
2009-09-02 11:45:30 -05:00 |