Typecheck un script sans connexion réseau?
1 réponses
- votes
Typecheckingesteffectué via unprotocole RPC,si lenœudn'apas chargé leprotocole,le RPCne serapas disponible.Vouspouvez également utiliser unnœud Sandboxed sur les contrats de TypeCheck.
Pourquoi le couplage avec lenœudest-il si serré?Celane devraitpas être,maisil y a untype de valeurpouvant être stocké dans un contrat ... Autres contrats.Letypechecker abesoin d'accéder à l'état dugrand livrepour vérifier letype de ces contrats.Enfin de compte,cela devrait être découplémais aujourd'hui,c'esttoujours.
Typechecking is done via a protocol RPC, if the node hasn't loaded the protocol, the RPC won't be available. You can also use a sandboxed node to typecheck contracts.
Why is the coupling with the node so tight? It shouldn't be, but there is one type of value that can be stored in a contract... Other contracts. The typechecker needs access to the ledger state to check the type of these contracts. Ultimately, this should be uncoupled but, today, it still is.
J'essaie deglisser un script,mais parfois obtenez l'erreur suivante:
Ceci semble être le cas chaquefois quemon
Tezos-noeud
réchauffetoujours ou dans un autre état étrange.Lemessage d'erreuresttrompeur!Pourquoi une connexion réseauest-ellenécessairepour letoutpour la vérification detype?
J'ai construit à Tezos selon lesinstructions suivantes: http://Tezos.gitlab.io/mainnet/introduction/howtoget.html#build-be-sources