tricu

scp_runtime_entrypoints.py (2051B)

---

 #!/usr/bin/env python3
 import json
 from pathlib import Path
 from research_session import ResearchSession
 import argparse
 parser=argparse.ArgumentParser(description='Haskell-only stored SCP file-adapter checks; no SCP compiler source build.')
 parser.add_argument('tricu',type=Path)
 parser.add_argument('generation',type=Path)
 parser.add_argument('prepared',type=Path)
 parser.add_argument('--directory',type=Path,required=True)
 args=parser.parse_args()
 s=ResearchSession(args.tricu,args.directory,[args.prepared],args.generation/'build.arboricx')
 r=json.loads((args.prepared/'migration.json').read_text());pins={x['legacy']:x['manifest'] for x in r}
 p=s.workspace/'probe.tri'
 p.write_text(f'''!import prelude *
 !import io *
 !import {pins['consumers.file']} as F
 !import {pins['consumers.file-effects']} as E
 !export *
 success path = F.program "probe" (_ : ok ["accepted"] t) path
 empty path = F.program "probe" (_ : ok [] t) path
 failure path = F.program "probe" (_ : err "bad input" t) path
 copy source target = (io (onResult_ (E.readBytes source)
   (problem : pure (err problem t))
   (bytes : E.writeBytesHandler (pair target bytes))))
 ''')
 b=s.root/'probe.arboricx';s.compile(p,['success','empty','failure','copy'],b)
 import re
 out,_=s.run([s.tricu,'arboricx','import','--file',b,'--store',s.store,'--indexed']);pin=re.search(rb'Created module alias .* -> ([0-9a-f]{64})',out)[1].decode()
 file=s.root/'input.bin';file.write_bytes(bytes([0,255,206,187,10,97]));missing=s.root/'missing';target=s.root/'copy.bin'
 for name,args,wanted in [('success',[file],b'probe=1\nfirst=accepted\n'),('empty',[file],b'probe=0\nfirst=<none>\n'),('failure',[file],b'failure-stage=consumer\nfailure-detail=bad input\n'),('success',[missing],b'failure-stage=read\n'),('copy',[file,target],b'')]:
  cmd=[s.tricu,'arboricx','run','--store',s.store,'--module',pin,'--name',name,'--io','--unsafe-io','--format','tree']
  for a in args:cmd+=['--arg',str(a)]
  out,_=s.run(cmd,30);assert wanted in out,(name,out);print(name,'passed')
 assert target.read_bytes()==file.read_bytes()