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