tricu

contracts-conformance.mjs (2181B)

---

 import {COMPILER_BUDGET} from './budgets.mjs';
 // Opt-in source compilation against independent Haskell contract goldens.
 import assert from 'node:assert/strict';
 import {readFile} from 'node:fs/promises';
 import {createHash} from 'node:crypto';
 import {Graph} from '../dist/graph.js';
 import {COMPILER_BUNDLE_LIMIT,decodeBundle,loadBundle} from '../dist/bundle.js';
 import {contractEnvironment,CONTRACT_BINDINGS} from '../dist/contracts.js';
 import {COMPILER_EXPORT,COMPILER_COLLECTION,sourceLiteral,compiledDefinitions} from '../dist/compiler.js';
 const goldens=JSON.parse(await readFile(new URL('./contracts-conformance.json',import.meta.url)));
 const bytes=await readFile(new URL('../bundles/'+goldens.compilerBundleSha256+'.arboricx',import.meta.url));
 const hash=bytes=>createHash('sha256').update(bytes).digest('hex');
 assert.equal(hash(bytes),goldens.compilerBundleSha256);
 assert.equal(hash(await readFile(new URL('../src/contracts.ts',import.meta.url))),goldens.contractsSourceSha256);
 assert.deepEqual(CONTRACT_BINDINGS,goldens.bindings);
 const bundle=decodeBundle(bytes,COMPILER_BUNDLE_LIMIT);
 for(const source of new Set(goldens.cases.map(c=>c.source))){
  // Higher-order/multiple checks cost more than the UI's default work allowance.
  const g=new Graph({...COMPILER_BUDGET,fuel:500_000_000},COMPILER_COLLECTION),library=loadBundle(g,bundle);
  const start=performance.now(),environment=contractEnvironment(g,library);
  const definitions=compiledDefinitions(g,g.apply(library.get(COMPILER_EXPORT),[environment,sourceLiteral(g,source)]));
  g.collect(definitions.values());
  for(const c of goldens.cases.filter(c=>c.source===source)){
   assert.deepEqual([...definitions.keys()],Object.keys(c.definitions));
   for(const [name,tree] of Object.entries(c.definitions))assert.equal(g.toTernary(definitions.get(name),50000),tree);
   const result=g.apply(definitions.get(c.export),c.arguments.map(tree=>g.fromTernary(tree)));
   assert.equal(g.toTernary(result,50000),c.result);
  }
  assert.ok(g.stats.collections>0);assert.ok(g.stats.peakNodes<600_000);
  console.log('PASS Haskell contract comparison',JSON.stringify(source),Math.round(performance.now()-start)+'ms',g.stats);
 }