Skip to main content

Browse the archive

Revision a763dde6d0df28614dc8224591d94cb581237bd0 authored by Lucas Randazzo on 29 February 2024, 12:40:59 UTC, committed by Lucas Randazzo on 06 March 2024, 09:58:18 UTC 
Proto/tests/scenarios: reduce DAL shards in tests for fast
1 parent c1669fe
Raw File
apply_00.tzt 
code APPLY;
input
  {
    Stack_elt string "Hi" ;
    Stack_elt (lambda (pair string int) nat) { DROP ; PUSH nat 1 } ;
  } ;
output
  {
    Stack_elt (lambda int nat) { PUSH string "Hi" ; PAIR ; { DROP ; PUSH nat 1 } }
  }
back to top