tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

verified_tree_loading.py (1068B)

      1 #!/usr/bin/env python3
      2 """Retired v1 transport experiment: reject before touching retained artifacts."""
      3 import argparse
      4 from pathlib import Path
      5 parser=argparse.ArgumentParser(description=__doc__)
      6 parser.add_argument('tricu',type=Path)
      7 parser.add_argument('previous',type=Path,help='retained self-built compiler closure')
      8 parser.add_argument('generation',type=Path,help='generation containing raw parser export and overlay')
      9 parser.add_argument('--compiler-bundle',type=Path,required=True,help='pinned stable build artifact')
     10 parser.add_argument('--directory',type=Path)
     11 parser.add_argument('--imports',action='store_true',help='also trace source_unit import/compile/publication')
     12 parser.add_argument('--publish',action='store_true',help='also publish raw parser trees into a separate CAS')
     13 parser.add_argument('--memory-mib',type=int,default=32768)
     14 parser.add_argument('--seconds',type=float,default=240)
     15 parser.parse_args()
     16 parser.error("Retired v1 source-splicing probe; use io_indexed.py, io_indexed_write.py and io_compiler_store.py with the current compiler.")