cwgoes

https://tzscan.io/KT1M6LZwxMYBYbUrg1xxuZGN4XWNFuHK7g6X

cwgoes

• Followup on cosmos/cosmos-sdk#2372

cwgoes

#!/bin/sh

set -xe

GAIAD_BYZANTINE=/tmp/gaiad-byzantine
GAIAD_NORMAL=/home/cwgoes/working/go/bin/gaiad
TMP=$(mktemp -d)

echo '' | $GAIAD_NORMAL init gen-tx --home $TMP/.gaiad0 --home-client $TMP/.gaiacli0 --name node0 | jq .gen_tx_file > $TMP/node0.json
echo '' | $GAIAD_NORMAL init gen-tx --home $TMP/.gaiad1 --home-client $TMP/.gaiacli1 --name node1 | jq .gen_tx_file > $TMP/node1.json

cwgoes

one  = (a b -> a)
zero = (a b -> b)

if   = (b t f -> (b t f))

nil  = (co ni -> ni)
cons = (x xs co ni -> (co x xs))

-- little-endian

cwgoes

CELO_VALIDATOR_GROUP_ADDRESS=ea6f11e720ca72af1d8a94fff813617ee21be08e CELO_VALIDATOR_ADDRESS=0b3654a18513c76eee3a576241f328a3514f26e8

cwgoes

Left (VariableNotInScope "Local variable not in scope:\n syms: fromList [(free,ConstantOperand (GlobalReference (PointerType {pointerReferent = FunctionType {resultType = VoidType, argumentTypes = [PointerType {pointerReferent = IntegerType {typeBits = 8}, pointerAddrSpace = AddrSpace 0}], isVarArg = False}, pointerAddrSpace = AddrSpace 0}) (Name \"free\"))),(link,ConstantOperand (GlobalReference (PointerType {pointerReferent = FunctionType {resultType = VoidType, argumentTypes = [PointerType {pointerReferent = NamedTypeReference (Name \"graph_node\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_num_ports\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_node\"), pointerAddrSpace = AddrSpace 0},PointerType {pointerReferent = NamedTypeReference (Name \"graph_num_ports\"), pointerAddrSpace = AddrSpace 0}], isVarArg = False}, pointerAddrSpace = AddrSpace 0}) (Name \"link\"))),(malloc,ConstantOperand (GlobalRefer