Commit Graph

27 Commits

Author SHA1 Message Date
Danny Yoo
931078130f continuing to debug 2011-04-01 21:31:57 -04:00
Danny Yoo
570879d194 still debugging 2011-04-01 19:44:24 -04:00
Danny Yoo
589731fc6f introducing prompts 2011-04-01 18:08:29 -04:00
Danny Yoo
b51922310c toplevel can refer to module variables 2011-03-26 17:23:51 -04:00
Danny Yoo
6cb062d83e fixing test cases 2011-03-25 23:19:21 -04:00
Danny Yoo
c75385278c in the middle of letrec 2011-03-25 18:10:26 -04:00
Danny Yoo
4f8217d5c6 fixing tests for the simulator 2011-03-20 22:24:49 -04:00
Danny Yoo
c783850732 trying to speed up the simulator a bit 2011-03-14 19:15:42 -04:00
Danny Yoo
77f90ba95c keeping track of closure names 2011-03-14 18:53:05 -04:00
Danny Yoo
d2cc4852ed trying to trace why conform is failing in an unexpected way 2011-03-14 16:38:16 -04:00
Danny Yoo
581cbd5f9f pushenv will push boxes. 2011-03-13 20:15:30 -04:00
Danny Yoo
fc866634cf getting closer. 2011-03-11 19:19:06 -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
e27052ccf6 code movement 2011-03-09 12:08:48 -05:00
Danny Yoo
683d67038c added cond form 2011-03-08 18:22:18 -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
2b56c90c2c continuing to work on recursion 2011-03-08 03:13:26 -05:00
Danny Yoo
4a2f30b4f2 checking closures 2011-03-07 21:46:13 -05:00
Danny Yoo
700c637e47 getting lookup-primitive to return primitive values 2011-03-07 16:34:51 -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
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
d3ceee5a63 popframe 2011-03-04 13:52:22 -05:00
dyoo
be89ec9f0f testing goto in the simulator 2011-03-03 16:58:09 -05:00
dyoo
e8c2d199aa I need a simulator for the intermediate language. 2011-03-03 16:13:36 -05:00