search

tweag / cooked-validators

MIT License
39 stars 11 forks source link

Change `TxSkelRedeemer` #425

Open mmontin opened 5 days ago

mmontin commented 5 days ago

For now, TxSkelRedeemer has 3 options:

So what happens if we want to provide no redeemer, but with a reference script? It seems not to be supported. We could move to something like:

data TxSkelRedeemer' =
  TxSkelNoRedeemer
  | TxSkelRedeemerForScript red

type TxSkelRedeemer = (TxSkelRedeemer', Maybe TxOutRef)
mmontin commented 1 day ago

@florentc what do you think?