From 052d09e892f2ec8022381e72d690a4c3905b23ea Mon Sep 17 00:00:00 2001
From: Aria <weglossing@gmail.com>
Date: Tue, 2 Sep 2025 16:14:38 -0500
Subject: [PATCH] Add synonyms to reference

---
 .../src/repl/components/panel/Reference.jsx   | 25 ++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/website/src/repl/components/panel/Reference.jsx b/website/src/repl/components/panel/Reference.jsx
index 1b617341b..2e2ef4cbc 100644
--- a/website/src/repl/components/panel/Reference.jsx
+++ b/website/src/repl/components/panel/Reference.jsx
@@ -2,9 +2,28 @@ import { useMemo, useState } from 'react';
 
 import jsdocJson from '../../../../../doc.json';
 import { Textbox } from '../textbox/Textbox';
-const availableFunctions = jsdocJson.docs
-  .filter(({ name, description }) => name && !name.startsWith('_') && !!description)
-  .sort((a, b) => /* a.meta.filename.localeCompare(b.meta.filename) +  */ a.name.localeCompare(b.name));
+
+const isValid = ({ name, description }) =>
+  name && !name.startsWith('_') && !!description;
+
+const availableFunctions = (() => {
+  const seen = new Set(); // avoid repetition
+  const functions = [];
+  for (const doc of jsdocJson.docs) {
+    if (!isValid(doc)) continue;
+    let docAndSynonyms = [doc.name, ...(doc.synonyms || [])];
+    for (const s of docAndSynonyms) {
+      if (!s || seen.has(s)) continue;
+      seen.add(s);
+      functions.push({
+        ...doc,
+        name: s, // update names for the synonym
+        longname: s,
+      });
+    }
+  }
+  return functions.sort((a, b) => /* a.meta.filename.localeCompare(b.meta.filename) +  */ a.name.localeCompare(b.name));
+})();
 
 const getInnerText = (html) => {
   var div = document.createElement('div');