IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Reference script bounds and cost formula #559

Closed williamdemeo closed 2 months ago

williamdemeo commented 3 months ago

Description

This closes issue #537.

Checklist

[x] Commit sequence broadly makes sense and commits have useful messages
[x] Code is formatted according to CONTRIBUTING.md
[x] Self-reviewed the diff

williamdemeo commented 2 months ago

The new code (and the Everything module) type-checks. I'm not sure why the CI is failing. The error message is not very helpful.

williamdemeo commented 2 months ago

Ah, I found this in one of the log files.


MAlonzo/Code/Ledger/Foreign/LedgerTypes.hs:166:39: error: [GHC-76037]
    Not in scope: type constructor or class ‘ℕ’
    |
166 |   , ppMaxRefScriptSizePerTx        :: ℕ

I'll fix that today.