Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

splice.nix: Handle maybe throw sets #360602

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

splice.nix: Handle maybe throw sets

2c81e53
Select commit
Loading
Failed to load commit list.
Draft

splice.nix: Handle maybe throw sets #360602

splice.nix: Handle maybe throw sets
2c81e53
Select commit
Loading
Failed to load commit list.
OfBorg / Evaluation Performance Report succeeded Dec 1, 2024

Evaluator Performance Report

Details

stat before after Δ Δ%
cpuTime 790.21 785.66 ↘ 4.54 -0.57%
envs-bytes 23,897,542,616 23,903,645,864 ↗ 6,103,248 0.03%
envs-elements 1,269,073,617 1,269,410,715 ↗ 337,098 0.03%
envs-number 859,059,605 859,272,509 ↗ 212,904 0.02%
gc-heapSize 69,377,957,888 69,377,957,888 0
gc-totalBytes 148,856,313,056 148,879,437,680 ↗ 23,124,624 0.02%
list-bytes 3,444,573,824 3,444,573,824 0
list-concats 89,083,435 89,083,435 0
list-elements 430,571,728 430,571,728 0
nrAvoided 994,989,950 995,202,854 ↗ 212,904 0.02%
nrFunctionCalls 789,085,975 789,245,653 ↗ 159,678 0.02%
nrLookups 413,798,366 414,117,722 ↗ 319,356 0.08%
nrOpUpdateValuesCopied 2,134,505,313 2,134,505,313 0
nrOpUpdates 100,465,921 100,465,921 0
nrPrimOpCalls 412,573,767 412,680,219 ↗ 106,452 0.03%
nrThunks 1,249,069,483 1,249,291,258 ↗ 221,775 0.02%
sets-bytes 48,781,330,560 48,786,440,256 ↗ 5,109,696 0.01%
sets-elements 2,862,337,671 2,862,550,575 ↗ 212,904 0.01%
sets-number 186,495,489 186,601,941 ↗ 106,452 0.06%
sizes-Attr 16 16 0
sizes-Bindings 16 16 0
sizes-Env 16 16 0
sizes-Value 24 24 0
symbols-bytes 3,365,106 3,365,117 ↗ 11 0.00%
symbols-number 187,819 187,820 ↗ 1 0.00%
values-bytes 39,296,264,472 39,304,141,920 ↗ 7,877,448 0.02%
values-number 1,637,344,353 1,637,672,580 ↗ 328,227 0.02%