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 |