Skip to content

Compile Haskell unit to built-in unit - #7897

Open
zliu41 wants to merge 2 commits into
masterfrom
zliu41/unit
Open

Compile Haskell unit to built-in unit#7897
zliu41 wants to merge 2 commits into
masterfrom
zliu41/unit

Conversation

@zliu41

@zliu41 zliu41 commented Aug 15, 2026

Copy link
Copy Markdown
Member

Haskell unit is now compiled to built-in unit, instead of Scott/SOP unit, just like Haskell Bool is compiled to built-in bool. This is strictly better.

@zliu41
zliu41 requested review from a team and SeungheonOh August 15, 2026 19:52
@github-actions

github-actions Bot commented Aug 15, 2026

Copy link
Copy Markdown
Contributor

Execution Budget Golden Diff

9382b3b (master) vs 7e168c0

output

plutus-benchmark/cardano-loans/test/9.6/main.golden.eval

Metric Old New Δ%
CPU 101_078_646 101_030_646 -0.05%
Memory 559_750 559_450 -0.05%
Flat Size 8_561 8_563 +0.02%

plutus-benchmark/coop/test/9.6/authMpBurning.golden.eval

Metric Old New Δ%
Flat Size 5_441 5_438 -0.06%

plutus-benchmark/coop/test/9.6/authMpMinting.golden.eval

Metric Old New Δ%
Flat Size 6_838 6_835 -0.04%

plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval

Metric Old New Δ%
Flat Size 7_864 7_861 -0.04%

plutus-benchmark/coop/test/9.6/certMpMinting.golden.eval

Metric Old New Δ%
Flat Size 8_387 8_384 -0.04%

plutus-benchmark/coop/test/9.6/fsMpBurning.golden.eval

Metric Old New Δ%
Flat Size 7_212 7_206 -0.08%

plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval

Metric Old New Δ%
Flat Size 9_030 9_024 -0.07%

plutus-benchmark/coop/test/9.6/mustBurnOwnSingleton.golden.eval

Metric Old New Δ%
Flat Size 3_776 3_774 -0.05%

plutus-benchmark/linear-vesting/test/9.6/main.golden.eval

Metric Old New Δ%
Flat Size 2_151 2_147 -0.19%

plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.golden.eval

Metric Old New Δ%
Flat Size 154 153 -0.65%

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.golden.eval

Metric Old New Δ%
Flat Size 313 312 -0.32%

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.golden.eval

Metric Old New Δ%
Flat Size 1_975 1_974 -0.05%

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.golden.eval

Metric Old New Δ%
Flat Size 230 228 -0.87%

plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.golden.eval

Metric Old New Δ%
Flat Size 991 990 -0.10%

plutus-benchmark/lists/test/Sum/9.6/left-fold-data.golden.eval

Metric Old New Δ%
Flat Size 709 708 -0.14%

plutus-benchmark/lists/test/Sum/9.6/right-fold-data.golden.eval

Metric Old New Δ%
Flat Size 711 710 -0.14%

plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval

Metric Old New Δ%
CPU 42_032_767_890 42_032_671_890 -0.00%
Memory 255_067_890 255_067_290 -0.00%
Flat Size 1_465 1_477 +0.82%

plutus-benchmark/nofib/test/9.6/queens4-bt.golden.eval

Metric Old New Δ%
Flat Size 1_793 1_792 -0.06%

plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval

Metric Old New Δ%
Flat Size 1_793 1_792 -0.06%

plutus-benchmark/script-contexts/test/V1/9.6/checkScriptContextEqualityOverhead-20.golden.eval

Metric Old New Δ%
Flat Size 1_110 1_109 -0.09%

plutus-benchmark/script-contexts/test/V1/Data/9.6/checkScriptContext1-20.golden.eval

Metric Old New Δ%
Flat Size 670 669 -0.15%

plutus-benchmark/script-contexts/test/V1/Data/9.6/checkScriptContext1-4.golden.eval

Metric Old New Δ%
Flat Size 284 283 -0.35%

plutus-benchmark/script-contexts/test/V1/Data/9.6/checkScriptContextEqualityData-20.golden.eval

Metric Old New Δ%
Flat Size 1_156 1_155 -0.09%

plutus-benchmark/script-contexts/test/V2/9.6/checkScriptContextEqualityData-20.golden.eval

Metric Old New Δ%
Flat Size 1_268 1_267 -0.08%

plutus-benchmark/script-contexts/test/V2/9.6/dataFwdStakeTrick.golden.eval

Metric Old New Δ%
Flat Size 1_185 1_184 -0.08%

plutus-benchmark/script-contexts/test/V2/9.6/dataFwdStakeTrickManual.golden.eval

Metric Old New Δ%
Flat Size 1_189 1_188 -0.08%

plutus-benchmark/script-contexts/test/V2/9.6/sopFwdStakeTrick.golden.eval

Metric Old New Δ%
Flat Size 2_042 2_040 -0.10%

plutus-benchmark/script-contexts/test/V2/Data/9.6/checkScriptContext1-20.golden.eval

Metric Old New Δ%
Flat Size 738 737 -0.14%

plutus-benchmark/script-contexts/test/V2/Data/9.6/checkScriptContext1-4.golden.eval

Metric Old New Δ%
Flat Size 304 303 -0.33%

plutus-benchmark/script-contexts/test/V2/Data/9.6/checkScriptContextEqualityData-20.golden.eval

Metric Old New Δ%
Flat Size 1_280 1_279 -0.08%

plutus-benchmark/script-contexts/test/V3/9.6/checkScriptContext1-20.golden.eval

Metric Old New Δ%
Flat Size 2_079 2_077 -0.10%

plutus-benchmark/script-contexts/test/V3/9.6/checkScriptContext1-4.golden.eval

Metric Old New Δ%
Flat Size 1_645 1_643 -0.12%

plutus-benchmark/script-contexts/test/V3/9.6/checkScriptContext2-20.golden.eval

Metric Old New Δ%
Flat Size 2_002 2_000 -0.10%

plutus-benchmark/script-contexts/test/V3/9.6/checkScriptContext2-4.golden.eval

Metric Old New Δ%
Flat Size 1_568 1_566 -0.13%

plutus-benchmark/script-contexts/test/V3/9.6/checkScriptContextEqualityData-20.golden.eval

Metric Old New Δ%
Flat Size 1_290 1_289 -0.08%

plutus-benchmark/script-contexts/test/V3/Data/9.6/checkScriptContext1-20.golden.eval

Metric Old New Δ%
Flat Size 757 756 -0.13%

plutus-benchmark/script-contexts/test/V3/Data/9.6/checkScriptContext1-4.golden.eval

Metric Old New Δ%
Flat Size 323 322 -0.31%

plutus-benchmark/script-contexts/test/V3/Data/9.6/checkScriptContextEqualityData-20.golden.eval

Metric Old New Δ%
Flat Size 1_292 1_291 -0.08%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/unsafeLovelaceValueOf.golden.eval

Metric Old New Δ%
Flat Size 199 198 -0.50%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/unsafeLovelaceValueOf.golden.eval

Metric Old New Δ%
Flat Size 204 202 -0.98%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt1.golden.eval

Metric Old New Δ%
Flat Size 1_286 1_284 -0.16%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt2.golden.eval

Metric Old New Δ%
Flat Size 1_337 1_335 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt3.golden.eval

Metric Old New Δ%
Flat Size 1_337 1_335 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt4.golden.eval

Metric Old New Δ%
Flat Size 1_293 1_291 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt5.golden.eval

Metric Old New Δ%
Flat Size 1_293 1_291 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/gt1.golden.eval

Metric Old New Δ%
Flat Size 1_286 1_284 -0.16%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/gt2.golden.eval

Metric Old New Δ%
Flat Size 1_337 1_335 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/gt3.golden.eval

Metric Old New Δ%
Flat Size 1_337 1_335 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/gt4.golden.eval

Metric Old New Δ%
Flat Size 1_293 1_291 -0.15%

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/gt5.golden.eval

Metric Old New Δ%
Flat Size 1_293 1_291 -0.15%

plutus-tx-plugin/test/Budget/9.12/listIndexing.golden.eval

Metric Old New Δ%
Flat Size 136 135 -0.74%

plutus-tx-plugin/test/Budget/9.6/listIndexing.golden.eval

Metric Old New Δ%
Flat Size 136 135 -0.74%

plutus-tx-plugin/test/BuiltinList/Budget/9.12/headOk.golden.eval

Metric Old New Δ%
Flat Size 45 44 -2.22%

plutus-tx-plugin/test/BuiltinList/Budget/9.12/index.golden.eval

Metric Old New Δ%
Flat Size 55 54 -1.82%

plutus-tx-plugin/test/BuiltinList/Budget/9.12/lastOk.golden.eval

Metric Old New Δ%
Flat Size 72 71 -1.39%

plutus-tx-plugin/test/BuiltinList/Budget/9.12/tailOk.golden.eval

Metric Old New Δ%
Flat Size 45 44 -2.22%

plutus-tx-plugin/test/BuiltinList/Budget/9.6/headOk.golden.eval

Metric Old New Δ%
Flat Size 45 44 -2.22%

plutus-tx-plugin/test/BuiltinList/Budget/9.6/index.golden.eval

Metric Old New Δ%
Flat Size 55 54 -1.82%

plutus-tx-plugin/test/BuiltinList/Budget/9.6/lastOk.golden.eval

Metric Old New Δ%
Flat Size 72 71 -1.39%

plutus-tx-plugin/test/BuiltinList/Budget/9.6/tailOk.golden.eval

Metric Old New Δ%
Flat Size 45 44 -2.22%

This comment will get updated when changes are made.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant