sophia/test/contracts/hole_expression.aes
2023-01-08 09:14:17 +03:00

14 lines
279 B
Plaintext

include "List.aes"
contract C =
entrypoint f() =
let ??? = true
let v = ???
let q = v == "str"
let xs = [1, 2, 3, 4]
switch (List.first(List.map(???, xs)))
Some(x) => x + 1
None => 0
function g() = ???