plutus

plutus copied to clipboard

[Builtins] Drop 'RuntimeScheme'

14

Same as #4757 (at the time of writing). Just making sure I didn't screw up any git-related stuff.

effectfully

Pretty-printing uniques explicitly

1

### Summary Currently the unique of a variable is not pretty-printed with the default strategy, which I believe is in fact a bug, because parsing a pretty-printed program may get...

effectfully

PLT-556: Copy ADR setup from plutus-apps

1

Copied from plutus-apps.

zliu41

Bitwise operations

31

This is a work-in-progress implementation of [this CIP](https://github.com/cardano-foundation/CIPs/pull/283), which ultimately aims to solve #4252. I have left the pre-submit checklist in place (below) to be filled in as this gets...

kozross

Undocumented invariants in types with exposed constructors

18

### Summary Multiple types have undocumented invariants, and also expose their constructors, in modules that are not marked as unsafe or internal. The following is a (non-exhaustive) list of examples:...

kozross

`isFunctionType` in `PlutusIR.Transform.ThunkRecursions` misses a case for polymorphic functions

4

### Summary [`isFunctionType` in `PlutusIR.Transform.ThunkRecursions`](https://github.com/input-output-hk/plutus/blob/c8d4364d0e639fef4d5b93f7d6c0912d992b54f9/plutus-core/plutus-ir/src/PlutusIR/Transform/ThunkRecursions.hs#L98) misses a case for polymorphic functions. This means that the `thunkRecursions` pass will create a non-strict let-binding for such functions, which in the subsequent `compileNonStrictBindings...

edsko

### description PR documents and changes constructors of some of the types mentioned in [#4476](https://github.com/input-output-hk/plutus/issues/4476). It touches: - hash types: `PubKeyHash`, `DatumHash`, `RedeemerHash`, `ScriptHash`, `ValidatorHash`, `MintingPolicyHash`, `StakeValidatorHash`. - `TokenName`, `CurrencySymbol`...

zmrocze

Use newtype deriving for more parts of `ScriptContext`

2

### Describe the feature you'd like Some newtypes, e.g. `TxId`, are serialised to `Data` using `Constr` unnecessarily, when they could just use `deriving newtype`. https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/PlutusLedgerApi/V1/Tx.hs#L219 This would reduce evaluation costs...

L-as

Costing builtin functions for showing things

24

I added some builtin show functions, and followed the steps in CostModelGeneration.md up to step 8. Please check if everything looks good before I start running the benchmarks. In particular...

zliu41

Trying to build this `plutus` repo as a dependency of a cabal project

1

I am trying to build a cabal project that has plutus as a dependency, however I keep getting the error: ``` [171 of 189] Compiling PlutusIR.Transform.DeadCode ( plutus-ir/src/PlutusIR/Transform/DeadCode.hs, dist/build/PlutusIR/Transform/DeadCode.o, dist/build/PlutusIR/Transform/DeadCode.dyn_o...

omefire