tricu

live-ux-probe.mjs (5084B)

---

 import {el,input,change,status,wait,pause,inspect,result,card} from './source-probe-helpers.mjs';
 const assert=(condition,message)=>{if(!condition)throw Error(message);};
 export async function run(control,backend='haskell-wasm'){
  await status('Ready');
  change('program-picker','demo:language-reference');await status('Ready');assert(await inspect('answer','number')==='42','Initial published value');
  const NativeWorker=globalThis.Worker,held=[],submitted=[];let hold=true;
  // Delay real native replies to make late-completion ordering deterministic.
  globalThis.Worker=class extends NativeWorker{
   postMessage(message,...args){if(message.type==='compile')submitted.push(message.source);super.postMessage(message,...args);}
   set onmessage(handler){super.onmessage=event=>{if(hold&&['compiled','error'].includes(event.data.type))held.push(()=>handler(event));else handler(event);};}
  };
  try{
   const original=globalThis.__sourceEditor.getSource();
   input('source-editor',original.replace('first 42 7','first 43 7'));
   assert(card().querySelector('select').disabled&&result()==='','Edits invalidate old inline output immediately');
   await status('Compiling');assert(!globalThis.__sourceEditor.isDisabled,'Editing continues during compilation');
   input('source-editor',original.replace('first 42 7','first 44 7'));input('source-editor',original.replace('first 42 7','first 45 7'));
   await wait(()=>held.length>0,'held compilation');assert(submitted.length===1,'Keystrokes do not restart current compile');
   hold=false;held.shift()();await status('Compiled');assert(submitted.length===2&&submitted[1].includes('first 45 7'),'Only newest queued revision compiles');
   assert(await inspect('answer','number')==='45','No stale compiled value');
   hold=true;input('source-editor','answer = missingStaleName');await wait(()=>held.length>0,'held diagnostic');input('source-editor','answer = 45');
   hold=false;held.shift()();await status('Compiled');assert(el('compile-diagnostic').hidden,'Stale diagnostics discarded');
   input('source-editor','answer = missingLatestName');await status('Compilation failed');assert(!el('compile-diagnostic').hidden&&card().querySelector('select').disabled&&result()==='','Latest diagnostic invalidates old inspection');
   input('source-editor','identity value = value\nanswer =\n  identity\n  46');await status('Compiled');assert(await inspect('answer','number')==='46','Indented continuation');
   el('stop').click();el('compile').click();await status('Compiled');assert(await inspect('answer','number')==='46','Runtime restart rebuilds source');
   el('stop').click();el('compile').click();await status('Compiled');
   input('source-editor','answer = 47');el('stop').click();await pause(900);assert(el('status').textContent==='Stopped','Stop suppresses queued compilation');
   input('source-editor','answer = 48');await status('Compiled');assert(await inspect('answer','number')==='48','Source edits recover after Stop');
   el('source-editor').dispatchEvent(new CompositionEvent('compositionstart'));input('source-editor','answer = 49');await pause(900);assert(el('status').textContent==='Changes pending','IME does not compile mid-composition');
   el('source-editor').dispatchEvent(new CompositionEvent('compositionend'));await status('Compiled');assert(await inspect('answer','number')==='49','IME completion compiles');
   input('source-editor','answer = 50');change('program-picker','demo:language-reference');await status('Ready');await pause(900);assert(el('status').textContent==='Ready','Package change cancels queued compilation');
   document.querySelector('[data-compiler-example=input]').click();await status('Compiled');assert(!el('input-form')&&el('terminal-io').textContent==='','Compilation never runs IO');
   await inspect('io');assert(!el('terminal-io').querySelector('form'),'Recognition never runs IO');el('io-return-format').value='string';el('run-io').click();await wait(()=>el('terminal-io').querySelector('form input'),'structured input');
   assert(globalThis.__sourceEditor.isDisabled&&el('reset').disabled,'Active IO cannot be replaced by background edits or Clear');el('terminal-io').querySelector('form input').value='hello λ🙂';el('terminal-io').querySelector('form').requestSubmit();await status('Finished');assert(result()==='hello λ🙂','Inline IO return');
   input('source-editor','id x = x\nanswer = id 51\nbomb = (x : x x) (x : x x)');await status('Compiled');assert(await inspect('answer','number')==='51','Unused divergent binding is not forced');
   document.querySelector('[aria-label="Inspect compiled definition bomb"]').click();await wait(()=>el('status').textContent==='Inspecting bomb','divergent observation');await pause(150);el('stop').click();await status('Stopped');
  }finally{globalThis.Worker=NativeWorker;}
  return {userAgent:navigator.userAgent,backend,checks:['real native delayed completion; revision invalidation; stale-error rejection; compile coalescing; editable compilation; Stop suppresses queued work; IME; runtime rebuilding; no implicit IO; unused divergence; CPU-bound Stop']};
 }