16 checkins by user kinaba occurring around 2010-11-28 08:46:51.
2012-07-07
| ||
22:44 |
[2229a2f284]
Leaf:
memo on inner-macro expansions.
(user: kinaba,
tags: trunk)
| |
2010-12-05
| ||
00:15 |
[fc0b463347]
Made the repl terminate by EOF (thanks yhamigaki!)
(user: kinaba,
tags: trunk)
| |
2010-12-02
| ||
19:30 | [88827b8336] sample clean-up (user: kinaba, tags: trunk, release) | |
2010-11-30
| ||
11:23 | [32e5c4ef44] documentation update (user: kinaba, tags: trunk) | |
11:21 | [3fb4d6f9ad] during @userdefinedlayer function evaluation, if lift(bottom) fails, the recursion is not memoized (user: kinaba, tags: trunk) | |
2010-11-28
| ||
08:46 | [576c494e53] fixed: literal "..." is now lifted in user-defined layers (user: kinaba, tags: trunk) | |
00:49 |
[6de3d8df3a]
reference manual completed
(user: kinaba,
tags: trunk)
| |
2010-11-27
| ||
23:28 |
[950fc6d3d4]
no. lift _|_ for corecursion checking again.
Current choices is, if it failed we instead assing _|_ itself.
Maybe the better choice is to give up memoization when it failed to lift...
(user: kinaba,
tags: trunk)
| |
23:23 | [005474ba5b] changed: not to lift _|_ (user: kinaba, tags: trunk) | |
21:49 | [a795c97dc3] changed Let.init to Let.vdef. IT IS VERY DANGEROUS TO USE .init MEMBER NAME in D!!!!!!!! (user: kinaba, tags: trunk) | |
20:46 |
[203e4cb208]
fixed automatic memoization bug (whole part of the contexts are now used as the memo key)
(user: kinaba,
tags: trunk)
| |
00:13 | [6760e0dd02] evaluator refactoring done. x6 speed up. (user: kinaba, tags: trunk) | |
2010-11-26
| ||
21:22 | [23fb1b4a0e] jikken before non-memo macro (user: kinaba, tags: trunk) | |
16:42 |
[f7e9e77316]
introduced "..." expression, and replaced the pattern match failure with this.
(user: kinaba,
tags: trunk)
| |
16:14 |
[94f0382499]
changed the semantics of def foo(x @macro) {}, the @macro-layered parameter.
- in @macro( foo(e) ), e is run in @macro (this is ok)
- in @value( foo(e) ), e is run in (rawmacro)!!
- in @rawmacro( foo(e) ), e is run in (rawmacro)!!
(user: kinaba,
tags: trunk)
| |
15:46 |
[552d43f567]
one-by-one M&E memoizer
(user: kinaba,
tags: trunk)
| |