https://gitlab.com/tezos/tezos
Raw File
Tip revision: 19b9ef9c9c35158ab276630d1ea1660dba590a73 authored by iguerNL@Functori on 01 March 2024, 07:38:39 UTC
WIP: try to typecheck the plugin with existential variables
Tip revision: 19b9ef9
michelson_repl.sh
#!/usr/bin/env bash

CLIENT='octez-client --mode mockup --base-dir /tmp/mockup'
STACK='{}'

while :; do
  read -r -p "> " COMMAND || exit 0
  if [ "$COMMAND" = "" ]; then
    COMMAND='{}'
  fi
  NEWSTACK=$($CLIENT run michelson code "$COMMAND" on stack "$STACK" | head -n -2 | tail -n +2)
  if [ "$NEWSTACK" = "" ]; then
    NEWSTACK="$STACK"
  else
    STACK="$NEWSTACK"
    echo "$STACK"
  fi
done
back to top