From aceb9d34f10c483c88f2d49cd6daedb594ff86dc Mon Sep 17 00:00:00 2001 From: DieMyst Date: Tue, 2 Nov 2021 17:03:21 +0300 Subject: [PATCH] add option type comparison --- aqua/examples/option.aqua | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/aqua/examples/option.aqua b/aqua/examples/option.aqua index dfc0462..8b178c8 100644 --- a/aqua/examples/option.aqua +++ b/aqua/examples/option.aqua @@ -4,6 +4,10 @@ service SomeS("test2"): getStr: ?string -> ?string getStr1: -> ?string getStr2: string -> string + checkU32(u: ?u32) + +func checkU32AndU8(a: ?u8): + SomeS.checkU32(a) func useOptional(opt: ?string) -> string: res <- SomeS.getStr(opt)