depot
this commit
canon
subtree-staging
monorepo for the virus lounge
The Virus Lounge
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tvix
/
eval
/
src
Age
Commit message (
Expand
)
Author
Files
Lines
2022-09-04
r/4638
refactor(tvix/eval): extend resolve_local logic for self-recursion
Vincent Ambo
1
-22
/
+89
2022-09-04
r/4637
feat(tvix/eval): detect illegally shadowed variables
Vincent Ambo
2
-0
/
+34
2022-09-04
r/4636
refactor(tvix/eval): introduce Depth enum to track variable status
Vincent Ambo
1
-4
/
+26
2022-09-04
r/4635
feat(tvix/eval): implement upvalue resolution in `with` scopes
Vincent Ambo
7
-2
/
+47
2022-09-04
r/4634
fix(tvix/eval): ensure OpResolveWith can be traced
Vincent Ambo
1
-16
/
+16
2022-09-04
r/4633
fix(tvix/eval): pop with stack immediately after processing body
Vincent Ambo
1
-13
/
+5
2022-09-04
r/4632
test(tvix/eval): add tests for very simple closures
Vincent Ambo
4
-0
/
+4
2022-09-03
r/4629
feat(tvix/eval): implement runtime closure construction (OpClosure)
Vincent Ambo
1
-1
/
+28
2022-09-03
r/4628
feat(tvix/eval): implement OpGetUpvalue in the VM
Vincent Ambo
1
-4
/
+6
2022-09-03
r/4627
refactor(tvix/eval): store Closure inside of the VM's call frames
Vincent Ambo
1
-6
/
+6
2022-09-03
r/4626
feat(tvix/eval): add Value::to_closure
Vincent Ambo
1
-0
/
+11
2022-09-03
r/4625
feat(tvix/eval): compile creation of closure objects
Vincent Ambo
4
-6
/
+51
2022-09-03
r/4624
chore(tvix/eval): print node representation for compiler errors
Vincent Ambo
1
-1
/
+5
2022-09-03
r/4623
feat(tvix/eval): implement compilation of upvalue access
Vincent Ambo
4
-4
/
+66
2022-09-03
r/4622
refactor(tvix/eval): add opcode::Count type for less ambiguity
Vincent Ambo
3
-17
/
+23
2022-09-03
r/4621
refactor(tvix/eval): add opcode::StackIdx type for less ambiguity
Vincent Ambo
3
-9
/
+14
2022-09-03
r/4620
docs(tvix/eval): add docstrings for usize wrappers in opcode
Vincent Ambo
1
-0
/
+3
2022-09-03
r/4619
refactor(tvix/eval): add opcode::JumpOffset type for less ambiguity
Vincent Ambo
3
-18
/
+27
2022-09-03
r/4618
refactor(tvix/eval): rename CompilationResult -> CompilationOutput
Vincent Ambo
1
-3
/
+3
2022-09-03
r/4617
refactor(tvix/eval): explicitly discard uninteresting results
Vincent Ambo
1
-2
/
+2
2022-09-03
r/4616
refactor(tvix/eval): avoid cloning in NixAttrs::update if possible
Vincent Ambo
2
-23
/
+36
2022-09-03
r/4614
refactor(tvix/eval): slightly more readable AttrsRep::select
Vincent Ambo
1
-11
/
+5
2022-09-03
r/4613
refactor(tvix/eval): rename Value::NotFound & OpAttrOrNotFound
Vincent Ambo
4
-10
/
+10
2022-09-03
r/4612
docs(tvix/eval): add doc comment on `compiler::patch_jump`
Vincent Ambo
1
-0
/
+6
2022-09-03
r/4611
refactor(tvix/eval): get rid of Value::Blackhole variant
Vincent Ambo
2
-5
/
+3
2022-09-03
r/4610
test(tvix/eval): add a test for float representation
Vincent Ambo
2
-0
/
+3
2022-09-03
r/4608
fix(tvix/eval): address all current clippy lints
Vincent Ambo
6
-13
/
+10
2022-09-03
r/4607
fix(tvix/eval): correctly escape `${` in strings
Vincent Ambo
3
-12
/
+17
2022-09-03
r/4606
refactor(tvix/eval): move resolve_local to Scope struct
Vincent Ambo
1
-15
/
+18
2022-09-03
r/4605
refactor(tvix/eval): introduce Closure struct in Value type
Vincent Ambo
5
-10
/
+17
2022-09-02
r/4602
chore(tvix/eval): move compiler module to a new folder
Vincent Ambo
1
-0
/
+0
2022-09-02
r/4601
refactor(tvix/eval): avoid a use of Value::Blackhole
Vincent Ambo
1
-2
/
+2
2022-09-02
r/4600
refactor(tvix/eval): separate out `let inherit ...` logic
Vincent Ambo
1
-9
/
+14
2022-09-02
r/4599
chore(tvix/eval): print slightly more information about warnings
Vincent Ambo
1
-1
/
+2
2022-09-02
r/4598
fix(tvix/eval): consider `let ... inherit ...` in dynamic scopes
Vincent Ambo
3
-3
/
+40
2022-09-02
r/4597
refactor(tvix/eval): add NixAttrs::contains function
Vincent Ambo
2
-1
/
+13
2022-09-02
r/4596
feat(tvix/eval): implement builtins.catAttrs
Vincent Ambo
2
-1
/
+18
2022-09-02
r/4595
feat(tvix/eval): implement builtins.typeOf
Vincent Ambo
1
-0
/
+3
2022-09-02
r/4594
feat(tvix/eval): implement type-checking builtins
Vincent Ambo
1
-0
/
+28
2022-09-02
r/4593
feat(tvix/eval): implement 'throw' and 'abort' builtins
Vincent Ambo
2
-1
/
+18
2022-09-02
r/4592
refactor(tvix/eval): implement clearer mechanism for globals
Vincent Ambo
2
-15
/
+60
2022-09-02
r/4591
feat(tvix/eval): emit warnings when globals are being shadowed
Vincent Ambo
2
-0
/
+2
2022-09-02
r/4590
feat(tvix/eval): add builtins.isNull
Vincent Ambo
1
-0
/
+5
2022-09-02
r/4589
test(tvix/eval): add a simple test for builtins resolution
Vincent Ambo
2
-0
/
+7
2022-09-02
r/4588
feat(tvix/eval): introduce mechanism for defining builtins
Vincent Ambo
5
-6
/
+48
2022-09-02
r/4587
refactor(tvix/eval): handle scope poisoning & globals dynamically
Vincent Ambo
1
-61
/
+125
2022-09-02
r/4585
feat(tvix/eval): add initial representation of builtins
Vincent Ambo
3
-1
/
+76
2022-09-02
r/4584
feat(tvix/eval): compile function applications
Vincent Ambo
3
-1
/
+14
2022-09-02
r/4583
feat(tvix/eval): implement opcode for function calls in VM
Vincent Ambo
3
-8
/
+30
2022-09-02
r/4582
refactor(tvix/eval): add VM::call helper to set up call frames
Vincent Ambo
1
-7
/
+12
[next]