Verified Commit 4e0a616c authored by Julien's avatar Julien
Browse files

[ott|parser] fix mutez litteral parsing

parent 3e1aa157
Pipeline #162561732 failed with stage
in 12 minutes and 42 seconds
def main : { param : unit; storage : mutez } -> { op : list operation; storage: mutez } =
drop param ;
drop storage ;
storage = 107 utz;
op = ([] : list operation)
\ No newline at end of file
......@@ -45,7 +45,9 @@ timestamp_constant :: 'timestampconst_' ::=
mutez_constant :: 'mutezconst_' ::= {{coq mutez}}
| num_litteral utz :: S :: mutez {{coq [[num_litteral]]}} {{ocaml ( VectorDef.Coq_nil )}} % TODO
| num_litteral utz :: S :: mutez {{coq [[num_litteral]]}}
{{ocaml ( match Tez.of_Z (BinInt.Z.of_uint [[num_litteral]]) with
Return mtez -> mtez | Failed _ -> failwith "invalid mutez litteral" )}} % TODO
num_val, nv :: 'numval_' ::=
| nat_constant :: :: nat
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment