Kasey White
|
b3cb9c4510
|
use expect instead of unwrap
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
9e62181caa
|
feat: new Error not a constant
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
77a7b11467
|
feat: finish to_ex_mem for constant
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
f332dfeb38
|
feat: 3 new error cases and more generic pretty printing
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
598c5364fe
|
implement force for builtins
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
22f90bf07f
|
feat: impl ifThenElse kinda
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
83b9294ac1
|
chore: print runtime
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
9f977f7e58
|
add costing capability for builtins
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
84df3be139
|
start filling in builtin cost model
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
a5140513de
|
fix: debruijn index - 1
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
d55409d8c5
|
feat: basic builtin execution
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
9ea57aa461
|
Add some runtime types
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
045dc8fed8
|
add builtin cost model
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
e8aa013aa4
|
chore: set to zero in spend loop
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
93f7849fc0
|
Finish machine evaluation for all terms except builtin
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
0e2214a908
|
Implement apply evaluate
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
650a789194
|
chore: step and maybe spend
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
|
2022-07-24 19:51:57 -04:00 |
|
Kasey White
|
0bf93e59b5
|
add evaluation for terms
Co-authored-by: rvcas <x@rvcas.dev>
|
2022-07-24 19:51:57 -04:00 |
|
rvcas
|
795d9ee028
|
feat: clean up the machine a bit
|
2022-07-24 19:51:57 -04:00 |