balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improved example for testing the pretty-printer.

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-06-04 13:26:03 +02:00
parent 562f08dabc
commit adee60c444
2 changed files with 13 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/passes/1-parser/cameligo/Tests/pp.mligo
View File

@ -1,6 +1,5 @@
let patch_ (m : foobar) : foobar = Map.literal [(0, 5); (1, 6); (2, 7)] let patch_ (m : foobar) : foobar = Map.literal [(0, 5); (1, 6); (2, 7)]
(*
let (greet_num : int), (greeting : string), one_more_component = let (greet_num : int), (greeting : string), one_more_component =
different_types of_many_things + ffffff 124312 different_types of_many_things + ffffff 124312
@ -14,7 +13,7 @@ let main (n : int * storage)
in ([] : operation list), x in ([] : operation list), x
let y : t = let y : t =
if true then -30000 * 10000 - 100000 + f x x y y y y - ((x / 4000) * -5) else (10000 + 100000) / 10000000000 if true then ffffffffff (-30000 * 10000 - 100000 + f x x y y y y - ((x / 4000) * -5), 103+5) else (10000 + 100000) / 10000000000
type return = operation list * (storage * fsdgsdgf * sdfsdfsdf * ssdf) type return = operation list * (storage * fsdgsdgf * sdfsdfsdf * ssdf)
let xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx = let xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx =
ttttttttttttt <= (aaaaaaaaaaaaaaaaaaaaaaaa - bbbbbbbbbbbbbbbbbbbb) ttttttttttttt <= (aaaaaaaaaaaaaaaaaaaaaaaa - bbbbbbbbbbbbbbbbbbbb)
@ -53,4 +52,3 @@ let w =
match f 3 with match f 3 with
None -> [] None -> []
| Some (1::[2;3;4;5;6]) -> [4;5]::[] | Some (1::[2;3;4;5;6]) -> [4;5]::[]
*)

19
src/passes/1-parser/pascaligo/Tests/pp.ligo
View File

@ -1,7 +1,7 @@
type t is timestamp * nat -> map (string, address) type t is timestamp * nat -> map (string, address)
type u is A | B of t * int | C of int -> (string -> int) 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 type v is record aaaaaa : ttttttt; bbbbbb : record ccccccccc : string end end
(*
function back (var store : store) : list (operation) * store is function back (var store : store) : list (operation) * store is
begin begin
var operations : list (operation) := list []; var operations : list (operation) := list [];
@ -52,11 +52,12 @@ function back (var store : store) : list (operation) * store is
| B (x, C (y,z)) -> skip | B (x, C (y,z)) -> skip
| False#True#Unit#0xAA#"hi"#4#nil -> skip | False#True#Unit#0xAA#"hi"#4#nil -> skip
] ]
end with (operations, store) end with (operations, store, (more_stuff, and_here_too))
*)
function claim (var store : store) : list (operation) * store is function claim (var store : store; const bar : t; const baz : u; var z : operations * store * (more_stuff * and_here_too)) : list (operation) * store * timestamp * nat -> map (string, address) is
begin begin
var operations : list (operation) := nil; var operations : list (operation * map (address, map (longname, domain))) := nilllllllllll;
attributes ["foo"; "inline"];
if now <= store.deadline then if now <= store.deadline then
failwith ("Too soon.") failwith ("Too soon.")
else else
@ -72,8 +73,11 @@ function claim (var store : store) : list (operation) * store is
remove sender from map store.backers remove sender from map store.backers
end end
end end
end with (operations, store) end with long_function_name (operations, store, (more_stuff, (and_here_too, well_in_here_too), hello))
attributes ["inline"; "foo"]
(*
function withdraw (var store : store) : list (operation) * store is function withdraw (var store : store) : list (operation) * store is
begin begin
var operations : list (operation) := list end; var operations : list (operation) := list end;
@ -91,3 +95,4 @@ function withdraw (var store : store) : list (operation) * store is
nil -> (operations, (store : store)) nil -> (operations, (store : store))
| _ -> (operations, store) | _ -> (operations, store)
end end
*)