idl fixes

demergent-labs · Oct 4, 2023 · 677f5ca · 677f5ca
1 parent 5304055
commit 677f5ca
Show file tree

Hide file tree

Showing 3 changed files with 59 additions and 59 deletions.
diff --git 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
@@ -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
@@ -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;
 }