Rename top-level generated module

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Rename top-level generated module #595

Open ghost opened 1 month ago

ghost commented 1 month ago

The toplevel Haskell module generated using MAlonzo is named Lib which makes it very hard to search where it's used. Perhaps it should be named using something more descriptive, like LedgerFormalSpec or LedgerAgdaSpec?

WhatisRT commented 1 month ago

There was this PR about it: #270 I'm happy to revive it, somebody just needs to sort out CI.

ghost commented 1 month ago

What was the problem?

WhatisRT commented 1 month ago

I think it was just something about the build system, maybe Lib is hardcoded in the makefile? It's been a while, so I don't really remember.