What is PlutusTx.Validator?
In plutus core specification, they have the (error A)
which is used to terminate computation.
Otherwise the unit type: ()
is returned, which means everything went fine.
TODO: Get plutus core dump from error scripts with custom error messages, run these.
How are validators compiled to plutus core with template Haskell and the GHC plugin?