Emily Pillmore

``` /Users/emilypi/kadena/chainweb-node/pact/coin-contract/coin.repl:239:0: Internal error, interface found in call stack: (interface fungible-v1) at /Users/emilypi/kadena/chainweb-node/pact/coin-contract/coin.pact:300:21: Internal error, interface found in call stack: (interface fungible-v1) at /Users/emilypi/kadena/chainweb-node/pact/coin-contract/coin.pact:300:4: (with-capability ((defcap fungible-v1.TRANSFER: (sender:string r... [((defun...

FV fails with SBV == 8.4

1

The following errors are returned, and verification fails where before it succeeded: ``` coin.pact:322:23:Warning: *** Data.SBV: Unexpected non-success response from Z3: *** *** Sent : (set-option :model.inline_def true ) ***...

Example: ``` pact> (module m g (defcap g () true) (defschema schema x:string) (defun f (obj:object{schema} k:bool j:integer) (= 1 1)) ) "Loaded module m, hash 5t7d6lIdsXH4BWmWAHYSiwcoTSILwU44rHi6m1eX2os" pact> (use m)...

"Empty" Env Data Accessors Need Better Error Messages

7

Via @mightybyte  The following message is opaque and doesn't give the user any indication of which key was "empty". This needs to be improved.