factor/basis/stack-checker
Doug Coleman cab0369fec classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods. 2011-11-22 15:12:20 -08:00
..
alien Rename c-type to lookup-c-type. Fixes #230. 2011-10-24 14:37:24 -07:00
backend stack-checker: calling 'boa' on a non-tuple would compile as a no-op rather than an error (reported by Joe Groff); clean up some other error reporting code too 2010-07-17 15:57:44 -04:00
branches Eliminate duplicate syntax for stack effects "(" no longer drops and is identical to the old "((", which is now removed. 2011-10-18 13:19:39 -07:00
dependencies classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods. 2011-11-22 15:12:20 -08:00
errors stack-checker.errors.prettyprint: refer to unbalanced-branches quotation in singular when there's only one 2010-06-18 15:36:03 -07:00
inlining tweak declared-effect to wrap the existing known instead of introducing a new value, so we don't confuse the compiler 2010-03-07 18:07:42 -08:00
known-words classes.union: Define a maybe: word that makes a tuple that acts as an anonymous union for a type and f. Updated all the places we define UNION: ?foo foo POSTPONE: f ;. Fixes #416 and lots of headaches. 2011-11-22 01:56:13 -08:00
recursive-state Compiler warnings are no more 2009-04-23 22:17:25 -05:00
row-polymorphism stack-checker.row-polymorphism: check stack effects correctly when a one-sided polymorphic declared effect is matched to a shallow subtype, for example, ( x -- ..a ) to ( -- ); fixes #88 2011-09-09 18:13:17 -07:00
state FFI rewrite part 7: compile callback bodies with the optimizing compiler 2010-07-28 00:49:26 -04:00
transforms Remove unused stack effects from DEFER: declarations. 2011-10-18 14:42:17 -07:00
values reuse @ and _ from fry in placeholders for invalid-quotation-input errors rather than making our own redundant placeholder symbols 2010-03-07 20:08:35 -08:00
visitor FFI rewrite part 7: compile callback bodies with the optimizing compiler 2010-07-28 00:49:26 -04:00
authors.txt
stack-checker-docs.factor In several documentation, remove whitespace before or after the colon or period 2011-02-10 01:51:13 +09:00
stack-checker-tests.factor stack-checker: update tests 2011-10-14 15:35:29 -07:00
stack-checker.factor refactor stack-checker slightly to fix circular dependency 2010-03-05 14:27:36 -08:00
summary.txt
tags.txt