Commit Graph

41 Commits

Author SHA1 Message Date
Danny Yoo
c461152e39 fixing test case 2011-04-02 01:01:45 -04:00
Danny Yoo
6cb062d83e fixing test cases 2011-03-25 23:19:21 -04:00
Danny Yoo
4f8217d5c6 fixing tests for the simulator 2011-03-20 22:24:49 -04:00
Danny Yoo
20818b0a7a removing superfluous structures. 2011-03-18 22:34:43 -04:00
dyoo
a17434937b fixing the bootstrapping 2011-03-15 14:20:01 -04:00
Danny Yoo
91f244526e fixing test cases 2011-03-15 00:03:25 -04:00
Danny Yoo
01b307829b letrec is doing something 2011-03-13 21:26:41 -04:00
Danny Yoo
60abce0e82 tracing bug with assign immediate 2011-03-13 21:01:14 -04:00
Danny Yoo
581cbd5f9f pushenv will push boxes. 2011-03-13 20:15:30 -04:00
Danny Yoo
9bce564bf3 trying to prepare for boxed lexical references 2011-03-13 18:31:11 -04:00
Danny Yoo
f3a5728f89 trying to expose call/cc 2011-03-11 17:39:21 -05:00
Danny Yoo
da3568d3d2 changed simulator so it's a mutable structure; I'll need this to implement call/cc easily as a primitive, since it's going to mutate the machine. 2011-03-11 16:03:37 -05:00
Danny Yoo
49a53c0864 adjusting control frames to hold the procedure in hand, just in case 2011-03-10 14:31:31 -05:00
Danny Yoo
f365767023 removed lookuptopleveladdress as an primitive operator 2011-03-10 13:50:44 -05:00
Danny Yoo
8699874a95 removing separate settoplevel statement; unnecessary 2011-03-10 13:23:23 -05:00
Danny Yoo
5b406543bc ripping out getlexical because it's superfluous 2011-03-10 12:50:52 -05:00
Danny Yoo
a3cf629321 fixed small regression in test-simulator 2011-03-09 18:16:25 -05:00
Danny Yoo
808ad8b7be check-toplevel-bound 2011-03-09 17:17:03 -05:00
Danny Yoo
5307871a46 Trying to augment the simulator to keep track of the stack size 2011-03-08 03:50:01 -05:00
Danny Yoo
4a2f30b4f2 checking closures 2011-03-07 21:46:13 -05:00
Danny Yoo
414f806580 control stack label lookup 2011-03-07 17:54:55 -05:00
Danny Yoo
4924f92528 primitive application 2011-03-07 17:49:07 -05:00
Danny Yoo
c08c6ed667 lexical address lookup 2011-03-07 17:40:02 -05:00
Danny Yoo
31e1b0a5d8 testing closure capture 2011-03-07 17:25:01 -05:00
Danny Yoo
82851496e2 capturing some variables. 2011-03-07 17:05:57 -05:00
Danny Yoo
1aeeafd149 testing make-compiled-procedure 2011-03-07 16:55:13 -05:00
Danny Yoo
f27072da7b get compiled procedure entry 2011-03-07 16:51:47 -05:00
Danny Yoo
700c637e47 getting lookup-primitive to return primitive values 2011-03-07 16:34:51 -05:00
Danny Yoo
865181ddc4 install closure values. 2011-03-07 16:06:50 -05:00
Danny Yoo
6bf17b7d0b fixing the test cases. 2011-03-07 15:47:49 -05:00
Danny Yoo
6cb9cf6539 changed the allowed set of primitives so we typecheck a bit better. Added chekc-toplevel-bound 2011-03-07 15:44:47 -05:00
Danny Yoo
27ee4739cc test-simulator appears to be doing something. 2011-03-04 17:08:14 -05:00
Danny Yoo
c84eba7786 continuing to implement performstatement 2011-03-04 16:55:16 -05:00
Danny Yoo
f1a9c6039c getting weird error message from typed racket. 2011-03-04 15:55:05 -05:00
Danny Yoo
b2df94e060 working on extendenvironment/prefix 2011-03-04 15:32:29 -05:00
Danny Yoo
9277109351 testandbranch 2011-03-04 14:11:15 -05:00
Danny Yoo
d3ceee5a63 popframe 2011-03-04 13:52:22 -05:00
Danny Yoo
24149f82cb pushenv tets 2011-03-04 13:18:33 -05:00
Danny Yoo
3b35a50810 testing environment lookup 2011-03-04 13:11:28 -05:00
dyoo
cefc85c72f simplifying the il a little bit, getting assignment 2011-03-03 17:17:10 -05:00
dyoo
be89ec9f0f testing goto in the simulator 2011-03-03 16:58:09 -05:00