 Andy Wingo
|
5c76381625
Allow callk to continue to kargs
|
3 年之前 |
|
Andy Wingo
|
cd5ab6377b
Add $switch CPS term kind
|
4 年之前 |
|
Andy Wingo
|
73a769fc2b
Add support no closure in $callk
|
6 年之前 |
|
Andy Wingo
|
f6c07e4eb2
Add compiler support for eliding closure bindings
|
6 年之前 |
|
Andy Wingo
|
39729e8448
Rename $closure to $const-fun
|
6 年之前 |
|
Andy Wingo
|
9f98b4a5b1
Add $code CPS expression type
|
7 年之前 |
|
Andy Wingo
|
d4502dba07
Fix verify.scm for call-thunk/no-inline
|
7 年之前 |
|
Andy Wingo
|
118f516a8b
$primcall always continues to $kargs
|
7 年之前 |
|
Andy Wingo
|
ad55ee83c3
$throw is a new kind of CPS term
|
7 年之前 |
|
Andy Wingo
|
ee15ca1455
$prompt is now its own kind of CPS term.
|
7 年之前 |
|
Andy Wingo
|
afb0a92d50
$branch is now a distinct CPS term type
|
7 年之前 |
|
Andy Wingo
|
36e6a3daca
Refactor lowering of Tree-IL primcalls to CPS
|
7 年之前 |
|
Andy Wingo
|
9db628ee29
Bailouts can continue directly to tail
|
7 年之前 |
|
Andy Wingo
|
c54c151eb6
$primcall has a "param" member
|
7 年之前 |
|
Andy Wingo
|
c119623e45
Simplify $branch to always take a $primcall
|
7 年之前 |
|
Andy Wingo
|
2f08838cd6
Replace return primcalls with $values
|
9 年之前 |
|
Andy Wingo
|
4aabc205cc
Add missing files
|
10 年之前 |
|
Andy Wingo
|
0d4c937722
Remove CPS1 language
|
10 年之前 |
|
Andy Wingo
|
50fcdfece3
Remove "free" field of $fun
|
10 年之前 |
|
Andy Wingo
|
34ff3af9f0
Replace $letrec with $rec
|
10 年之前 |
|
Andy Wingo
|
a9ec16f9c5
Remove $void CPS expression type
|
10 年之前 |
|
Andy Wingo
|
15e4746f17
Fix verify-cps
|
10 年之前 |
|
Andy Wingo
|
59258f7cad
Remove $kif
|
11 年之前 |
|
Andy Wingo
|
92805e2197
Add $branch expression type
|
11 年之前 |
|
Andy Wingo
|
a2acec7c7f
Update verify-cps
|
11 年之前 |
|
Andy Wingo
|
8320f50431
Rename $kentry to $kfun
|
11 年之前 |
|
Andy Wingo
|
24b611e81c
src and meta are fields of $kentry, not $fun
|
11 年之前 |
|
Andy Wingo
|
b764157a7b
Fix verify-cps to work
|
11 年之前 |
|
Andy Wingo
|
90dce16db4
Use Tree-IL-like case-lambda clause chaining in CPS
|
11 年之前 |
|
Andy Wingo
|
eb60b4136b
Update verify-cps
|
11 年之前 |
