Timeline
Not logged in

20 timeline items occurring on or after 2010-11-24 21:14:00.

2010-11-30
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)
14:29
[f8684f4d69] changed the desugaring of >>@macro x=e from >>@macro x=e in x to >>@macro x=e in "(macro definition)" for convenience during REPL interaction (user: kinaba, tags: trunk)
14:03
[207cea338a] changed hiding mechanizem of x in let x = ... for @macro layer. Old: set(x,ValueLayer,undefined) Nee: set(x,NoopLayer,null) (user: kinaba, tags: trunk)
08:05
[5dfef32124] helloworld sample and argv sample merged (user: kinaba, tags: trunk)
2010-11-25
12:32
[474c4facf0] Introduced makefile to build documents. sample/macro.pmy is fully reformed. print(x) now returns x, not 0. (user: kinaba, tags: trunk)
02:44
[b993a8ad16] auto memo and re-run feature of non @value/@macro layers re-re-re-implemented. (user: kinaba, tags: trunk)
2010-11-24
22:22
[f9c31f3cd8] Fixed the null dereference bug when directly wrote "case 1 when 2: 3" in REPL. It was due to null LexPosition in the AST. Now AST.pos !is null is an invariant of AST. (user: kinaba, tags: trunk)
21:32
[c75f0d5f1e] Enriched the runtime. a.b is now runtime error, not undefined value if the field b does not exist. Added rand(n) and gensym(). (user: kinaba, tags: trunk)
21:14
[3ae09b8cbf] changed if-then-else syntax (user: kinaba, tags: trunk)