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

Macros now memoize when not used as compiler transform

db4
Daniel Ehrenberg 2007-12-31 00:44:40 -05:00
parent df5fa5f239
commit 5a347d513c
2 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
extra/macros/macros.factor
View File

@ -2,18 +2,18 @@
! See http://factorcode.org/license.txt for BSD license.
USING: parser kernel sequences words effects inference.transforms
combinators assocs definitions quotations namespaces ;
combinators assocs definitions quotations namespaces memoize ;
IN: macros
: (:)
: (:) ( -- word definition effect-in )
CREATE dup reset-generic parse-definition
over "declared-effect" word-prop effect-in length ;
: (MACRO:)
>r
2dup "macro" set-word-prop
2dup [ call ] append define-compound
: (MACRO:) ( word definition effect-in -- )
>r 2dup "macro" set-word-prop
2dup over "declared-effect" word-prop memoize-quot
[ call ] append define-compound
r> define-transform ;
: MACRO:

6
extra/memoize/memoize.factor
View File

@ -1,7 +1,7 @@
! Copyright (C) 2007 Slava Pestov, Daniel Ehrenberg.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel hashtables sequences arrays words namespaces
parser math assocs effects definitions ;
parser math assocs effects definitions quotations ;
IN: memoize
: packer ( n -- quot )
@ -46,3 +46,7 @@ PREDICATE: compound memoized "memoize" word-prop ;
M: memoized definer drop \ MEMO: \ ; ;
M: memoized definition "memo-quot" word-prop ;
: memoize-quot ( quot effect -- memo-quot )
gensym swap dupd "declared-effect" set-word-prop
dup rot define-memoized 1quotation ;