92 lines
2.7 KiB
Plaintext
92 lines
2.7 KiB
Plaintext
|
type t is timestamp * nat -> map (string, address)
|
||
|
|
type u is A | B of t * int | C of int -> (string -> int)
|
||
|
|
type v is record a : t; b : record c : string end end
|
||
|
|
|
||
|
|
function back (var store : store) : list (operation) * store is
|
||
|
|
var operations : list (operation) := list []
|
||
|
|
begin
|
||
|
|
const a : nat = 0n;
|
||
|
|
x0 := record foo = "1"; bar = 4n end;
|
||
|
|
x1 := nil;
|
||
|
|
x2 := list end;
|
||
|
|
x3 := 3#4# list [5; 6];
|
||
|
|
case foo of
|
||
|
|
10n -> skip
|
||
|
|
end;
|
||
|
|
if s contains x then skip else skip;
|
||
|
|
s := set [3_000mutez; -2; 1n];
|
||
|
|
a := A;
|
||
|
|
b := B (a);
|
||
|
|
c := C (a, B (a));
|
||
|
|
d := None;
|
||
|
|
e := Some (a, B (b));
|
||
|
|
z := z.1.2;
|
||
|
|
x := map [1 -> "1"; 2 -> "2"];
|
||
|
|
y := a.b.c[3];
|
||
|
|
a := "hello " ^ "world" ^ "!";
|
||
|
|
patch store.backers with set [(1); f(2*3)];
|
||
|
|
remove (1,2,3) from set foo.bar;
|
||
|
|
remove 3 from map foo.bar;
|
||
|
|
patch store.backers with map [sender -> amount];
|
||
|
|
if now > store.deadline and (not True) then
|
||
|
|
begin
|
||
|
|
f (x,1);
|
||
|
|
for k -> d : int * string in map m block { skip };
|
||
|
|
for x : int in set s block { skip };
|
||
|
|
while i < 10n
|
||
|
|
begin
|
||
|
|
acc := 2 - (if toggle then f(x) else Unit);
|
||
|
|
end;
|
||
|
|
for i := 1n to 10n
|
||
|
|
begin
|
||
|
|
acc := acc + i;
|
||
|
|
end;
|
||
|
|
failwith ("Deadline passed");
|
||
|
|
end
|
||
|
|
else
|
||
|
|
case store.backers[sender] of [
|
||
|
|
None -> store.0.backers[sender] := amount
|
||
|
|
| Some (_) -> skip
|
||
|
|
| B (x, C (y,z)) -> skip
|
||
|
|
| False#True#Unit#0xAA#"hi"#4#nil -> skip
|
||
|
|
]
|
||
|
|
end with (operations, store)
|
||
|
|
|
||
|
|
function claim (var store : store) : list (operation) * store is
|
||
|
|
var operations : list (operation) := nil
|
||
|
|
begin
|
||
|
|
if now <= store.deadline then
|
||
|
|
failwith ("Too soon.")
|
||
|
|
else
|
||
|
|
case store.backers[sender] of
|
||
|
|
None ->
|
||
|
|
failwith ("Not a backer.")
|
||
|
|
| Some (amount) ->
|
||
|
|
if balance >= store.goal or store.funded then
|
||
|
|
failwith ("Goal reached: no refund.")
|
||
|
|
else
|
||
|
|
begin
|
||
|
|
operations.0.foo := list [transaction (unit, sender, amount)];
|
||
|
|
remove sender from map store.backers
|
||
|
|
end
|
||
|
|
end
|
||
|
|
end with (operations, store)
|
||
|
|
|
||
|
|
function withdraw (var store : store) : list (operation) * store is
|
||
|
|
var operations : list (operation) := list end
|
||
|
|
begin
|
||
|
|
if sender = owner then
|
||
|
|
if now >= store.deadline then
|
||
|
|
if balance >= store.goal then {
|
||
|
|
// store.funded := True;
|
||
|
|
patch store with record funded = True; a = b end;
|
||
|
|
operations := list [Transfer (owner, balance)];
|
||
|
|
};
|
||
|
|
else failwith ("Below target.")
|
||
|
|
else failwith ("Too soon.");
|
||
|
|
else skip
|
||
|
|
end with case (foo: bar) of
|
||
|
|
nil -> (operations, (store : store))
|
||
|
|
| _ -> (operations, store)
|
||
|
|
end
|