From 677f5cad91eb1e4a6bb23e3b8f6c3d97e951a165 Mon Sep 17 00:00:00 2001 From: Benjamin DeMann Date: Tue, 3 Oct 2023 21:33:35 -0600 Subject: [PATCH] idl fixes --- .../func_types/canisters/func_types/index.did | 10 +- examples/recursion/src/recursion/index.did | 102 +++++++++--------- .../src/recursive_canister/index.did | 6 +- 3 files changed, 59 insertions(+), 59 deletions(-) diff --git a/examples/func_types/canisters/func_types/index.did b/examples/func_types/canisters/func_types/index.did index c3796cd593..236c78c089 100644 --- a/examples/func_types/canisters/func_types/index.did +++ b/examples/func_types/canisters/func_types/index.did @@ -1,13 +1,13 @@ -type rec_26 = func (record {id:text; complexFunc:rec_26; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_26; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); -type rec_29 = func (record {id:text; complexFunc:rec_29; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_29; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); -type rec_34 = func (record {id:text; complexFunc:rec_34; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_34; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); +type rec_0 = func (record {id:text; complexFunc:rec_0; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_0; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); +type rec_1 = func (record {id:text; complexFunc:rec_1; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_1; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); +type rec_2 = func (record {id:text; complexFunc:rec_2; basicFunc:func (text) -> (text) query}, variant {Bad; ComplexFunc:rec_2; Good; BasicFunc:func (text) -> (text) query}) -> (nat64); service: () -> { basicFuncParam: (func (text) -> (text) query) -> (func (text) -> (text) query) query; basicFuncParamArray: (vec func (text) -> (text) query) -> (vec func (text) -> (text) query) query; basicFuncReturnType: () -> (func (text) -> (text) query) query; basicFuncReturnTypeArray: () -> (vec func (text) -> (text) query) query; - complexFuncParam: (rec_26) -> (rec_29) query; - complexFuncReturnType: () -> (rec_34) query; + complexFuncParam: (rec_0) -> (rec_1) query; + complexFuncReturnType: () -> (rec_2) query; getNotifierFromNotifiersCanister: () -> (func (vec nat8) -> () oneway); getStableFunc: () -> (func (nat64, text) -> () query) query; nullFuncParam: (func (opt null, vec null, null, vec vec null, vec opt null) -> (null) query) -> (func (opt null, vec null, null, vec vec null, vec opt null) -> (null) query) query; diff --git a/examples/recursion/src/recursion/index.did b/examples/recursion/src/recursion/index.did index 0b3b6b0e80..2070c9fbaa 100644 --- a/examples/recursion/src/recursion/index.did +++ b/examples/recursion/src/recursion/index.did @@ -1,53 +1,53 @@ -type rec_365 = func (rec_365) -> (rec_365) query; -type rec_368 = func (rec_368) -> (rec_368) query; -type rec_373 = func (rec_373) -> (rec_373) query; -type rec_281 = record {myOpt:opt rec_281}; -type rec_284 = record {myOpt:opt rec_284}; -type rec_329 = record {myOpt:opt rec_329}; -type rec_297 = record {myVar:variant {num:int8; varRec:rec_297}}; -type rec_300 = record {myVar:variant {num:int8; varRec:rec_300}}; -type rec_337 = record {myVar:variant {num:int8; varRec:rec_337}}; -type rec_289 = record {myVecRecords:vec rec_289}; -type rec_292 = record {myVecRecords:vec rec_292}; -type rec_333 = record {myVecRecords:vec rec_333}; -type rec_385 = service {getMessage: () -> (text) query; myQuery: (rec_385) -> (rec_385) query;}; -type rec_388 = service {getMessage: () -> (text) query; myQuery: (rec_388) -> (rec_388) query;}; -type rec_397 = service {getMessage: () -> (text) query; myQuery: (rec_397) -> (rec_397) query;}; -type rec_400 = service {getMessage: () -> (text) query; myQuery: (rec_400) -> (rec_400) query;}; -type rec_393 = service {getMessage: () -> (text) query; myQuery: (rec_393) -> (rec_393) query;}; -type rec_377 = service {myQuery: (rec_377) -> (rec_377) query;}; -type rec_380 = service {myQuery: (rec_380) -> (rec_380) query;}; -type rec_313 = record {opt rec_313; opt rec_313}; -type rec_316 = record {opt rec_316; opt rec_316}; -type rec_345 = record {opt rec_345; opt rec_345}; -type rec_353 = record {variant {num:int8; varTuple:rec_353}; variant {num:int8; varTuple:rec_353}}; -type rec_356 = record {variant {num:int8; varTuple:rec_356}; variant {num:int8; varTuple:rec_356}}; -type rec_361 = record {variant {num:int8; varTuple:rec_361}; variant {num:int8; varTuple:rec_361}}; -type rec_321 = record {vec rec_321; vec rec_321}; -type rec_324 = record {vec rec_324; vec rec_324}; -type rec_349 = record {vec rec_349; vec rec_349}; -type rec_305 = variant {num:int8; recVariant:rec_305}; -type rec_308 = variant {num:int8; recVariant:rec_308}; -type rec_341 = variant {num:int8; recVariant:rec_341}; +type rec_21 = func (rec_21) -> (rec_21) query; +type rec_22 = func (rec_22) -> (rec_22) query; +type rec_23 = func (rec_23) -> (rec_23) query; +type rec_0 = record {myOpt:opt rec_0}; +type rec_1 = record {myOpt:opt rec_1}; +type rec_12 = record {myOpt:opt rec_12}; +type rec_4 = record {myVar:variant {num:int8; varRec:rec_4}}; +type rec_5 = record {myVar:variant {num:int8; varRec:rec_5}}; +type rec_14 = record {myVar:variant {num:int8; varRec:rec_14}}; +type rec_2 = record {myVecRecords:vec rec_2}; +type rec_3 = record {myVecRecords:vec rec_3}; +type rec_13 = record {myVecRecords:vec rec_13}; +type rec_26 = service {getMessage: () -> (text) query; myQuery: (rec_26) -> (rec_26) query;}; +type rec_27 = service {getMessage: () -> (text) query; myQuery: (rec_27) -> (rec_27) query;}; +type rec_29 = service {getMessage: () -> (text) query; myQuery: (rec_29) -> (rec_29) query;}; +type rec_30 = service {getMessage: () -> (text) query; myQuery: (rec_30) -> (rec_30) query;}; +type rec_28 = service {getMessage: () -> (text) query; myQuery: (rec_28) -> (rec_28) query;}; +type rec_24 = service {myQuery: (rec_24) -> (rec_24) query;}; +type rec_25 = service {myQuery: (rec_25) -> (rec_25) query;}; +type rec_8 = record {opt rec_8; opt rec_8}; +type rec_9 = record {opt rec_9; opt rec_9}; +type rec_16 = record {opt rec_16; opt rec_16}; +type rec_18 = record {variant {num:int8; varTuple:rec_18}; variant {num:int8; varTuple:rec_18}}; +type rec_19 = record {variant {num:int8; varTuple:rec_19}; variant {num:int8; varTuple:rec_19}}; +type rec_20 = record {variant {num:int8; varTuple:rec_20}; variant {num:int8; varTuple:rec_20}}; +type rec_10 = record {vec rec_10; vec rec_10}; +type rec_11 = record {vec rec_11; vec rec_11}; +type rec_17 = record {vec rec_17; vec rec_17}; +type rec_6 = variant {num:int8; recVariant:rec_6}; +type rec_7 = variant {num:int8; recVariant:rec_7}; +type rec_15 = variant {num:int8; recVariant:rec_15}; service: () -> { - testRecFunc: (rec_365) -> (rec_368) query; - testRecFuncReturn: () -> (rec_373) query; - testRecRecordWithOpt: (rec_281) -> (rec_284) query; - testRecRecordWithOptReturn: () -> (rec_329) query; - testRecRecordWithVariant: (rec_297) -> (rec_300) query; - testRecRecordWithVariantReturn: () -> (rec_337) query; - testRecRecordWithVec: (rec_289) -> (rec_292) query; - testRecRecordWithVecReturn: () -> (rec_333) query; - testRecService: (rec_385) -> (rec_388) query; - testRecServiceCall: (rec_397) -> (rec_400); - testRecServiceReturn: () -> (rec_393) query; - testRecServiceSimple: (rec_377) -> (rec_380) query; - testRecTupleWithOpt: (rec_313) -> (rec_316) query; - testRecTupleWithOptReturn: () -> (rec_345) query; - testRecTupleWithVariant: (rec_353) -> (rec_356) query; - testRecTupleWithVariantReturn: () -> (rec_361) query; - testRecTupleWithVec: (rec_321) -> (rec_324) query; - testRecTupleWithVecReturn: () -> (rec_349) query; - testRecVariant: (rec_305) -> (rec_308) query; - testRecVariantReturn: () -> (rec_341) query; + testRecFunc: (rec_21) -> (rec_22) query; + testRecFuncReturn: () -> (rec_23) query; + testRecRecordWithOpt: (rec_0) -> (rec_1) query; + testRecRecordWithOptReturn: () -> (rec_12) query; + testRecRecordWithVariant: (rec_4) -> (rec_5) query; + testRecRecordWithVariantReturn: () -> (rec_14) query; + testRecRecordWithVec: (rec_2) -> (rec_3) query; + testRecRecordWithVecReturn: () -> (rec_13) query; + testRecService: (rec_26) -> (rec_27) query; + testRecServiceCall: (rec_29) -> (rec_30); + testRecServiceReturn: () -> (rec_28) query; + testRecServiceSimple: (rec_24) -> (rec_25) query; + testRecTupleWithOpt: (rec_8) -> (rec_9) query; + testRecTupleWithOptReturn: () -> (rec_16) query; + testRecTupleWithVariant: (rec_18) -> (rec_19) query; + testRecTupleWithVariantReturn: () -> (rec_20) query; + testRecTupleWithVec: (rec_10) -> (rec_11) query; + testRecTupleWithVecReturn: () -> (rec_17) query; + testRecVariant: (rec_6) -> (rec_7) query; + testRecVariantReturn: () -> (rec_15) query; } diff --git a/examples/recursion/src/recursive_canister/index.did b/examples/recursion/src/recursive_canister/index.did index c13cc9540d..7c6f8c66e8 100644 --- a/examples/recursion/src/recursive_canister/index.did +++ b/examples/recursion/src/recursive_canister/index.did @@ -1,6 +1,6 @@ -type rec_18 = service {getMessage: () -> (text) query; myQuery: (rec_18) -> (rec_18) query;}; -type rec_21 = service {getMessage: () -> (text) query; myQuery: (rec_21) -> (rec_21) query;}; +type rec_0 = service {getMessage: () -> (text) query; myQuery: (rec_0) -> (rec_0) query;}; +type rec_1 = service {getMessage: () -> (text) query; myQuery: (rec_1) -> (rec_1) query;}; service: (text) -> { getMessage: () -> (text) query; - myQuery: (rec_18) -> (rec_21) query; + myQuery: (rec_0) -> (rec_1) query; }