Danny Yoo
|
7357c8e850
|
tracing error in compilation
|
2011-03-23 18:30:13 -04:00 |
|
Danny Yoo
|
8f1ebec184
|
trying to make conform work.
|
2011-03-23 18:12:18 -04:00 |
|
Danny Yoo
|
656d950846
|
a little cleanup
|
2011-03-21 23:54:41 -04:00 |
|
Danny Yoo
|
07f86a8012
|
added a few tests to the simulator
|
2011-03-21 23:38:10 -04:00 |
|
Danny Yoo
|
ee3ed353b0
|
extending Lam to have a name.
|
2011-03-20 22:33:22 -04:00 |
|
Danny Yoo
|
80ad749022
|
removing dead module
|
2011-03-20 22:13:42 -04:00 |
|
Danny Yoo
|
b1384b71dd
|
working out type errors
|
2011-03-20 22:04:32 -04:00 |
|
Danny Yoo
|
15c6822816
|
working on compile
|
2011-03-20 21:55:51 -04:00 |
|
Danny Yoo
|
c72caa5857
|
changed to letvoid
|
2011-03-20 20:33:07 -04:00 |
|
Danny Yoo
|
afe489e4f4
|
require cleanup
|
2011-03-18 22:52:56 -04:00 |
|
Danny Yoo
|
20818b0a7a
|
removing superfluous structures.
|
2011-03-18 22:34:43 -04:00 |
|
dyoo
|
fc723832c8
|
temporarily broke package
|
2011-03-15 15:18:26 -04:00 |
|
dyoo
|
b14631a40f
|
adding Primitives as a target
|
2011-03-15 14:35:23 -04:00 |
|
dyoo
|
54ee4e8da4
|
moving the bootstrapping primitives code (like call/cc) into bootstrapped-primitives.rkt. About to implement map as well.
|
2011-03-15 13:52:41 -04:00 |
|
Danny Yoo
|
77f90ba95c
|
keeping track of closure names
|
2011-03-14 18:53:05 -04:00 |
|
Danny Yoo
|
e5ca5364b6
|
correcting bug with my implementation of lexical scope
|
2011-03-14 18:06:14 -04:00 |
|
Danny Yoo
|
01b307829b
|
letrec is doing something
|
2011-03-13 21:26:41 -04:00 |
|
Danny Yoo
|
581cbd5f9f
|
pushenv will push boxes.
|
2011-03-13 20:15:30 -04:00 |
|
Danny Yoo
|
44078dd40e
|
box
|
2011-03-13 19:54:44 -04:00 |
|
Danny Yoo
|
9bce564bf3
|
trying to prepare for boxed lexical references
|
2011-03-13 18:31:11 -04:00 |
|
Danny Yoo
|
a597c13e82
|
let
|
2011-03-13 17:57:29 -04:00 |
|
Danny Yoo
|
b01bb3bc85
|
trying to make call/cc work on the web
|
2011-03-11 20:38:03 -05:00 |
|
Danny Yoo
|
aecc0ad896
|
call/cc looks like it's starting to work.
|
2011-03-11 19:24:57 -05:00 |
|
Danny Yoo
|
fc866634cf
|
getting closer.
|
2011-03-11 19:19:06 -05:00 |
|
Danny Yoo
|
5d453ad18f
|
skeletons for the simulator
|
2011-03-11 18:34:45 -05:00 |
|
Danny Yoo
|
b9dfd90851
|
trying to get call/cc
|
2011-03-11 18:26:34 -05:00 |
|
Danny Yoo
|
f3a5728f89
|
trying to expose call/cc
|
2011-03-11 17:39:21 -05:00 |
|
Danny Yoo
|
e3ff7ce382
|
let* is doing something
|
2011-03-11 14:59:00 -05:00 |
|
Danny Yoo
|
de41b4f379
|
debugging let*
|
2011-03-11 14:32:47 -05:00 |
|
Danny Yoo
|
4a60a852e7
|
fixed bug in juggle-operands: I was computing n much too early.
|
2011-03-10 14:52:36 -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
|
c4bf7c60b5
|
elements of the prefix can be lhs targets now
|
2011-03-10 13:05:16 -05:00 |
|
Danny Yoo
|
5b406543bc
|
ripping out getlexical because it's superfluous
|
2011-03-10 12:50:52 -05:00 |
|
Danny Yoo
|
fd25182d42
|
need letrec next
|
2011-03-10 00:07:42 -05:00 |
|
Danny Yoo
|
488137a6af
|
fixing primitive application
|
2011-03-09 16:35:26 -05:00 |
|
Danny Yoo
|
5f06c39d67
|
comments
|
2011-03-08 18:34:23 -05:00 |
|
Danny Yoo
|
d1af35f0f5
|
fixed bug with lexical scoping.
|
2011-03-08 17:27:43 -05:00 |
|
Danny Yoo
|
703edc46a0
|
optimization: when doing primitive application, the result value can be directly placed if targetted to a lexical reference.
|
2011-03-08 04:05:52 -05:00 |
|
Danny Yoo
|
51c9411f58
|
debuggin
|
2011-03-08 03:00:09 -05:00 |
|
Danny Yoo
|
2eec816750
|
the pop depth depends on the linkage
|
2011-03-08 02:31:18 -05:00 |
|
Danny Yoo
|
ab2f16508e
|
trying to fix the popenv stuff
|
2011-03-07 23:08:58 -05:00 |
|
Danny Yoo
|
470730bcb8
|
trying to trace application
|
2011-03-07 21:59:32 -05:00 |
|
Danny Yoo
|
4a2f30b4f2
|
checking closures
|
2011-03-07 21:46:13 -05:00 |
|
Danny Yoo
|
10e1d446e2
|
continuing to work on test-compiler.rkt
|
2011-03-07 18:46:11 -05:00 |
|
Danny Yoo
|
872ea81adc
|
starting to work on debugging the generated il
|
2011-03-07 18:33:31 -05:00 |
|
Danny Yoo
|
a34fc8b1a1
|
Trying to simplify env references.
|
2011-03-07 17:10:11 -05:00 |
|
Danny Yoo
|
b2df94e060
|
working on extendenvironment/prefix
|
2011-03-04 15:32:29 -05:00 |
|
dyoo
|
cefc85c72f
|
simplifying the il a little bit, getting assignment
|
2011-03-03 17:17:10 -05:00 |
|
dyoo
|
0d4a3f859d
|
still working on linkage
|
2011-03-03 15:40:30 -05:00 |
|
dyoo
|
30e9e82877
|
I think the output looks more correct.
|
2011-03-03 15:26:30 -05:00 |
|
dyoo
|
6ebef1c206
|
revising the procedure application
|
2011-03-03 15:11:00 -05:00 |
|
dyoo
|
8ad291e320
|
combining test and branch together formally.
|
2011-03-02 17:42:40 -05:00 |
|
dyoo
|
e9ba3cee85
|
structurizing the primitive operators, specializing them to the racket machine.
|
2011-03-02 17:31:31 -05:00 |
|
dyoo
|
e6cb5d87a1
|
Trying to clear up procedure application
|
2011-03-02 16:42:33 -05:00 |
|
Danny Yoo
|
811ebb3eea
|
continuing to work on application.
|
2011-03-01 17:54:50 -05:00 |
|
Danny Yoo
|
bff387a6f9
|
compile time environments can have placeholders for space
|
2011-03-01 16:22:21 -05:00 |
|
Danny Yoo
|
bbde3cdeaa
|
lambda looks like it's generating appropriate il. Working on application now.
|
2011-03-01 15:45:03 -05:00 |
|
Danny Yoo
|
049eee32c4
|
splitting up the structures into separate modules; trying to reduce complexity
|
2011-03-01 14:51:59 -05:00 |
|
Danny Yoo
|
7fcd2ab13e
|
Still getting the lexical addressing of lambda correct.
|
2011-03-01 12:43:16 -05:00 |
|
Danny Yoo
|
4368fbc99d
|
removing superfluous quote form. Also moved Top as an expression form that introduces an environment extension.
|
2011-03-01 11:43:46 -05:00 |
|
Danny Yoo
|
81b1637a10
|
m
|
2011-03-01 02:56:20 -05:00 |
|
Danny Yoo
|
fb0fb941e3
|
still need to work on procedure application
|
2011-03-01 02:48:38 -05:00 |
|
Danny Yoo
|
4f90538722
|
uncommented most of the code; need to work on application
|
2011-03-01 02:26:26 -05:00 |
|
Danny Yoo
|
1c64447e08
|
about to change calling convension
|
2011-03-01 01:30:01 -05:00 |
|
Danny Yoo
|
fdab507586
|
trying to identify bindings that need boxing for set-bang
|
2011-02-22 03:21:18 -05:00 |
|
Danny Yoo
|
d192d1cacb
|
still fixing issues
|
2011-02-21 17:43:58 -05:00 |
|
Danny Yoo
|
a9586c97d5
|
trying to get toplevel addressing to work.
|
2011-02-21 17:11:44 -05:00 |
|
Danny Yoo
|
5599bc125f
|
Trying to add prefix into the mix
|
2011-02-21 15:08:56 -05:00 |
|
Danny Yoo
|
c9066c2654
|
simplifying structure a little
|
2011-02-20 16:32:12 -05:00 |
|
Danny Yoo
|
d29a96022c
|
adjusted compile to typecheck
|
2011-02-20 16:09:33 -05:00 |
|
Danny Yoo
|
03b2a0eae8
|
making instructions explicit types so we can get better error trapping.
|
2011-02-20 14:58:38 -05:00 |
|