Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Lit: show block correctly

Browse Source
This commit is contained in:
rheidner 2021-10-05 13:18:21 -03:00
parent 1826f4bea1
commit 6b6ab1c1c3
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
base/Litereum.kind
View File

@ -1241,13 +1241,14 @@ Litereum: _
`
let block = Parser.run!(Litereum.parse.block(world), code) abort IO.print("deu ruim")
IO {
log("Block: ")
for tx in block:
IO.print("- " | Litereum.show.transaction(world, tx))
log("Evaluation: ")
let tmp = Litereum.run.block(world, block) abort IO.print("failed execution")
IO.print("Done!")
log("Block: ")
for tx in block:
IO.print("- " | Litereum.show.transaction(tmp, tx))
IO.print("")
IO.print("Serialization:")
let bits = Litereum.serialize.block(tmp, block)