-
Notifications
You must be signed in to change notification settings - Fork 37
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1332 from demergent-labs/js_refactor
add type checking for refactored code
- Loading branch information
Showing
85 changed files
with
882 additions
and
933 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
service: () -> { | ||
receiveCycles: () -> (nat64); | ||
receiveCycles128: () -> (nat); | ||
getCanisterBalance: () -> (nat64) query; | ||
getCanisterBalance128: () -> (nat) query; | ||
receiveCycles: () -> (nat64); | ||
receiveCycles128: () -> (nat); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
service: () -> { | ||
getCanisterBalance: () -> (nat64) query; | ||
getCanisterBalance128: () -> (nat) query; | ||
sendCycles: () -> (nat64); | ||
sendCyclesNotify: () -> (); | ||
sendCycles128: () -> (nat); | ||
sendCycles128Notify: () -> (); | ||
getCanisterBalance: () -> (nat64) query; | ||
getCanisterBalance128: () -> (nat) query; | ||
sendCyclesNotify: () -> (); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,39 +1,25 @@ | ||
type rec_1 = record {electrons:nat8; layer:nat8}; | ||
type rec_3 = variant {Elemental; Mixed; Toxic}; | ||
type rec_4 = record {element:text}; | ||
type rec_2 = variant {Gas:rec_3; Solid:rec_4; Liquid}; | ||
type rec_0 = record {id:text; orbitals:vec rec_1; state:rec_2}; | ||
type rec_5 = variant {Elemental; Mixed; Toxic}; | ||
type rec_7 = variant {Large; Small; Medium}; | ||
type rec_6 = record {int:int; bool:bool; text:text; myBlob:vec nat8; myVariant:rec_7}; | ||
type rec_9 = record {electrons:nat8; layer:nat8}; | ||
type rec_11 = variant {Elemental; Mixed; Toxic}; | ||
type rec_12 = record {element:text}; | ||
type rec_10 = variant {Gas:rec_11; Solid:rec_12; Liquid}; | ||
type rec_8 = record {id:text; orbitals:vec rec_9; state:rec_10}; | ||
type rec_13 = variant {Elemental; Mixed; Toxic}; | ||
service: () -> { | ||
manualUpdate: (text) -> (text); | ||
updateBlob: () -> (vec nat8); | ||
updateFloat32: () -> (float32); | ||
updateInt8: () -> (int8); | ||
updateNat: () -> (nat); | ||
updateNull: () -> (null); | ||
updateVoid: () -> (); | ||
updateRecord: () -> (rec_0); | ||
updateReserved: () -> (reserved); | ||
updateString: () -> (text); | ||
updateVariant: () -> (rec_5); | ||
replyRaw: () -> (rec_6); | ||
manualQuery: (text) -> (text) query; | ||
manualUpdate: (text) -> (text); | ||
queryBlob: () -> (vec nat8) query; | ||
queryFloat32: () -> (float32) query; | ||
queryInt8: () -> (int8) query; | ||
queryNat: () -> (nat) query; | ||
queryNull: () -> (null) query; | ||
queryVoid: () -> () query; | ||
queryRecord: () -> (rec_8) query; | ||
queryRecord: () -> (record {id:text; orbitals:vec record {electrons:nat8; layer:nat8}; state:variant {Gas:variant {Elemental; Mixed; Toxic}; Solid:record {element:text}; Liquid}}) query; | ||
queryReserved: () -> (reserved) query; | ||
queryString: () -> (text) query; | ||
queryVariant: () -> (rec_13) query; | ||
queryVariant: () -> (variant {Elemental; Mixed; Toxic}) query; | ||
queryVoid: () -> () query; | ||
replyRaw: () -> (record {int:int; bool:bool; text:text; myBlob:vec nat8; myVariant:variant {Large; Small; Medium}}); | ||
updateBlob: () -> (vec nat8); | ||
updateFloat32: () -> (float32); | ||
updateInt8: () -> (int8); | ||
updateNat: () -> (nat); | ||
updateNull: () -> (null); | ||
updateRecord: () -> (record {id:text; orbitals:vec record {electrons:nat8; layer:nat8}; state:variant {Gas:variant {Elemental; Mixed; Toxic}; Solid:record {element:text}; Liquid}}); | ||
updateReserved: () -> (reserved); | ||
updateString: () -> (text); | ||
updateVariant: () -> (variant {Elemental; Mixed; Toxic}); | ||
updateVoid: () -> (); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
service: () -> { | ||
get: () -> (nat) query; | ||
getRedeployed: () -> (bool) query; | ||
increment: () -> (nat); | ||
get: () -> (nat) query; | ||
reset: () -> (nat); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.