steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/basis/macros/macros.factor

44 lines
1.1 KiB
Factor
Raw Normal View History

Throw a nice error at parse time if an attempt is made to declare a GENERIC: or MACRO: word inline. Such words cannot be inlined, and doing this before previously result in confusing error messages
2010-01-27 03:00:10 -05:00
! Copyright (C) 2007, 2010 Slava Pestov.
Initial import
2007-09-20 18:09:08 -04:00
! See http://factorcode.org/license.txt for BSD license.
macros: some cleanup.
2014-12-16 14:09:47 -05:00
USING: accessors combinators compiler.units definitions effects
effects.parser fry kernel memoize words ;
Initial import
2007-09-20 18:09:08 -04:00
IN: macros
Improving macro docs
2009-02-06 11:22:09 -05:00
<PRIVATE
Change (:) to parse effect immediately, and remove ( parsing word
2009-03-21 04:17:35 -04:00
: real-macro-effect ( effect -- effect' )
Fixing unit tests for syntax change
2009-03-23 01:34:02 -04:00
in>> { "quot" } <effect> ;
Minor macros fix
2008-01-09 17:52:37 -05:00
macros: check macro effect is real-macro-effect.
2015-07-19 14:16:19 -04:00
: check-macro-effect ( word effect -- )
[ real-macro-effect ] keep 2dup effect=
[ 3drop ] [ bad-stack-effect ] if ;
Improving macro docs
2009-02-06 11:22:09 -05:00
PRIVATE>
Revert "macros: macro body is now defined in its own subword, for compile-time stack effect checking" This reverts commit 24de7c52f0c3f21cfcdb80235cac7296b0401c85.
2010-02-01 11:50:13 -05:00
: define-macro ( word definition effect -- )
macros: check macro effect is real-macro-effect.
2015-07-19 14:16:19 -04:00
{
[ nip check-macro-effect ]
macros: handle compile-time stack effect check of macro body more elegantly than previous attempt
2010-02-01 12:56:13 -05:00
[
[ '[ _ _ call-effect ] ] keep
macros: fix bug, needed this fry actually.
2015-07-19 14:38:02 -04:00
[ memoize-quot '[ @ call ] ] keep
macros: handle compile-time stack effect check of macro body more elegantly than previous attempt
2010-02-01 12:56:13 -05:00
define-declared
]
Revert "macros: macro body is now defined in its own subword, for compile-time stack effect checking" This reverts commit 24de7c52f0c3f21cfcdb80235cac7296b0401c85.
2010-02-01 11:50:13 -05:00
[ drop "macro" set-word-prop ]
[ 2drop changed-effect ]
} 3cleave ;
Initial import
2007-09-20 18:09:08 -04:00
Changing : foo ; parsing to SYNTAX: foo ;
2009-03-21 02:27:50 -04:00
SYNTAX: MACRO: (:) define-macro ;
Initial import
2007-09-20 18:09:08 -04:00
Change PREDICATE: syntax
2008-03-26 19:23:19 -04:00
PREDICATE: macro < word "macro" word-prop >boolean ;
Initial import
2007-09-20 18:09:08 -04:00
Throw a nice error at parse time if an attempt is made to declare a GENERIC: or MACRO: word inline. Such words cannot be inlined, and doing this before previously result in confusing error messages
2010-01-27 03:00:10 -05:00
M: macro make-inline cannot-be-inline ;
Initial import
2007-09-20 18:09:08 -04:00
M: macro definer drop \ MACRO: \ ; ;
Revert "macros: macro body is now defined in its own subword, for compile-time stack effect checking" This reverts commit 24de7c52f0c3f21cfcdb80235cac7296b0401c85.
2010-02-01 11:50:13 -05:00
M: macro definition "macro" word-prop ;
Initial import
2007-09-20 18:09:08 -04:00
Revert "macros: macro body is now defined in its own subword, for compile-time stack effect checking" This reverts commit 24de7c52f0c3f21cfcdb80235cac7296b0401c85.
2010-02-01 11:50:13 -05:00
M: macro reset-word
[ call-next-method ] [ f "macro" set-word-prop ] bi ;
Instead of bumping the definition counter every time in the VM, bump it only if stack effects changed or macros were redefined
2009-11-13 04:52:14 -05:00
Re-work flushed dependencies into new compiler cross-referencing framework
2010-01-29 08:58:39 -05:00
M: macro always-bump-effect-counter? drop t ;