Questions tagged [type-checker]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
21 views

Questionable typecheck script result of some michelson code

I've tried to type check create_contract.tz in mini_scenarios and had the following result. It is well-typed, but I'm wondering if the occurrence of the last comment /* [ pair (list operation) (...
4
votes
1answer
96 views

typecheck a script without network connection?

I'm trying to typecheck a script, but sometimes get the following error: $ tezos-client typecheck script helloTezos.tz Error: Unrecognized command. Try using the man command to get more ...
2
votes
1answer
59 views

Michelson: two potential bugs in type checker / spec [closed]

TL;DR looks like 1 bug in spec and one more in type checker for alphanet. Someone please review and comment on this behavior :) parameter unit; storage string; code { DROP; PUSH int 3; ...