1d9f59fec3
* Support for CREATE, CLONE and BYTECODE_HASH * Add missing files * Pushed the clone example through the typechecker * CLONE compiles * Fix dependent type in CLONE * Bytecode hash fixes * Refactor * Refactor 2 * move some logic away * Fixed some error messages. Type inference of child contract still does some random shit\n(mistakes arguments with result type) * CREATE sometimes compiles and sometimes not * Fix some scoping/constraint issues * works, needs cleanup * cleanup * Fix some tests. Remove optimization of singleton tuples * Fix default argument for clone * Cleanup * CHANGELOG * Mention void type * Address review, fix some dialyzer errors * Please dialyzer * Fix failing tests * Write negative tests * Docs * TOC * missing 'the' * missing 'the' * missing 'the' * missing 'the' * mention pre-fund * format * pre-fund clarification * format * Grammar in docs
15 lines
330 B
Plaintext
15 lines
330 B
Plaintext
contract interface Remote =
|
|
entrypoint id : int => int
|
|
|
|
contract ProtectedCall =
|
|
|
|
function higher_order(r : Remote) =
|
|
r.id
|
|
|
|
entrypoint test_ok(r : Remote) =
|
|
let f = higher_order(r)
|
|
let Some(n) = r.id(protected = true, 10)
|
|
let Some(m) = f(protected = true, 5)
|
|
n + m + r.id(protected = false, 100) + f(1)
|
|
|