You need to sign in or sign up before continuing.
Michelson inlining
Just rough idea.
This makes SCaml not compatible with OCaml, but...
([%michelson " michelson opcode string " ] : typ)
The internal code must follow the compilation convention of SCaml and have the same type with the compiled type of typ
.
Can we statically type check Michelson code piece? Or just accept anything ?