[Refactoring] Use 'KnownBuiltinTypeIn' instead of 'HasConstant' consistently

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 479 forks source link

[Refactoring] Use 'KnownBuiltinTypeIn' instead of 'HasConstant' consistently #6353

Closed effectfully closed 3 months ago

effectfully commented 3 months ago

This replaces HasConstantIn constraints with KnownBuiltinTypeIn ones as we use the latter everywhere else. Just a quick refactoring for consistency. I've also downscaled a few slow tests.