tricu

basic-examples-probe.mjs (6175B)

---

 const el=id=>document.getElementById(id),delay=ms=>new Promise(r=>setTimeout(r,ms));
 const assert=(ok,message)=>{if(!ok)throw Error(message);};
 const input=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('input'));};
 const change=(id,value)=>{el(id).value=value;el(id).dispatchEvent(new Event('change'));};
 async function status(want){for(let i=0;i<4500;i++){if(el('status').textContent===want)return;await delay(20);}throw Error(want+': '+el('status').textContent+' / '+el('compile-diagnostic').textContent+' / '+el('result').textContent);}
 export async function run(control,backend='haskell-wasm'){
  await status('Ready');
  const groups=[...el('program-picker').querySelectorAll('optgroup')];
  assert(groups.map(g=>g.label).join('|')==='Basic Examples|Practical Examples|Language & Runtime Explorations|Libraries','Purposeful selector groups');
  const basics=['names-values','arithmetic','functions','lists','transform-list','choices'];
  assert([...groups[0].children].map(o=>o.value).join('|')===basics.map(n=>'demo:'+n).join('|'),'Basic progression');
  assert(groups[2].firstElementChild.value==='demo:language-reference','Reference leads explorations');
  assert(![...el('program-picker').options].some(o=>o.value==='demo:intro'||o.value==='package:intro'),'Start Here retired from selector');
  assert(el('program-picker').value==='demo:names-values'&&el('expression-editor').value==='greeting'&&el('output-type').value==='string','Beginner arrival is ready to evaluate');
  assert(el('result').textContent===''&&el('terminal').textContent==='','Arrival waits for Evaluate');
  change('runtime-backend',backend);await status('Ready');
  const base=new URL('../',document.querySelector('script[type=module][src]').src);
  const releases=(await(await fetch(new URL('packages.json',base))).json()).releases;
  const visible=[...groups[3].children],manifests=visible.map(o=>releases.find(r=>r.name===o.value.slice(8))?.manifest);
  assert(new Set(manifests).size===manifests.length,'One selector row per module identity');
  assert(visible.every(o=>!o.textContent.startsWith('tricu-')),'Friendly library labels');
  assert(visible.some(o=>o.value==='package:tricu-lib-native-math')&&!visible.some(o=>o.value==='package:tricu-math'),'Complete library publication preferred');
  const select=async name=>{change('program-picker','demo:'+name);await status('Ready');};
  const evaluate=async(expression,output,expected)=>{input('expression-editor',expression);change('output-type',output);el('run').click();await status('Finished');assert(el('result').textContent===expected,expression+' expected '+expected+' got '+el('result').textContent);};
  const defaults=[['greeting','string','Hello, world!'],['total','number','12'],['double 6','number','12'],['count','number','3'],['total','number','24'],['message 0','string','Your basket is empty.']];
  for(let i=0;i<basics.length;i++){
   await select(basics[i]);assert(el('expression-editor').value===defaults[i][0]&&el('output-type').value===defaults[i][1],'Default expression/settings '+basics[i]);
   el('run').click();await status('Finished');assert(el('result').textContent===defaults[i][2],'Default result '+basics[i]);
   const original=el('source-editor').value;
   if(i===0){input('source-editor',original.replace('answer = 42','answer = 7'));await status('Compiled');await evaluate('answer','number','7');}
   if(i===1){input('source-editor',original.replace('Math.add 5 7','Math.add 8 9'));await status('Compiled');await evaluate('total','number','17');}
   if(i===2){input('source-editor',original.replace('double number = Math.multiply number 2','triple number = Math.multiply number 3'));await status('Compiled');await evaluate('triple 6','number','18');}
   if(i===3){input('source-editor',original.replace('numbers = [2 4 6]','numbers = [2 4 6 8]'));await status('Compiled');await evaluate('count','number','4');await evaluate('total','number','20');input('source-editor',original.replace('numbers = [2 4 6]','numbers = []'));await status('Compiled');await evaluate('count','number','0');await evaluate('total','number','0');}
   if(i===4){input('source-editor',original.replace('Math.multiply number 2','Math.multiply number 3'));await status('Compiled');await evaluate('total','number','36');}
   if(i===5){input('source-editor',original.replace('message _ =','message 2 = "You have two items."\nmessage _ ='));await status('Compiled');await evaluate('message 2','string','You have two items.');await evaluate('message 4','string','You have several items.');}
   el('restore-source').click();await status('Ready');assert(el('source-editor').value===original,'Restore '+basics[i]);
  }
  await select('language-reference');
  // Each preset goes through the actual published page (before editing), so the
  // examples must work using the public interface rather than hidden imports.
  const catalogue=await(await fetch(new URL('catalogue.json',base))).json();
  const reference=catalogue.find(d=>d.id==='language-reference');
  for(const name of Object.keys(reference.presets)){
   change('export',name);el('run').click();await status('Finished');assert(el('result').textContent.length>0,'Reference preset '+name);
  }
  await evaluate('describe (t t)','string','true');await evaluate('describe "hi"','string','greeting');await evaluate('firstOr 99 []','number','99');
  input('source-editor',reference.source+'\n-- my reference notes');await status('Compiled');await evaluate('sequenced 9','number','9');
  // A retired example's immutable publication still loads through its old share link.
  const old=releases.find(r=>r.name==='intro'&&r.version==='0.2.0');
  location.hash=new URLSearchParams({bundle:old.hash,demo:'intro',export:'answer'}).toString();await delay(50);await status('Ready');
  assert(el('program-picker').value==='hash','Retired link remains a direct bundle selection');await evaluate('answer','number','42');
  await select('names-values');
  return {userAgent:navigator.userAgent,checks:['beginner default; grouped selector; identity-based library deduplication; all six lesson defaults and exercises; restoration; all reference presets before editing; editable reference; retained historical link'],backend};
 }