small changes - disable suggestions temporarily

src/InputBlock.tsx

@@ -54,7 +54,7 @@ const computeSuggestions = (text, env, suggestionPriority: (s: ResolvedType) =>
           }]),
   ]
   // return ls;
-  // return [];
+  return [];
   return ls
     .map(suggestion => [suggestionPriority(suggestion[2]), ...suggestion] as PrioritizedSuggestionType)
     .sort(([priorityA], [priorityB]) => priorityB - priorityA)

src/eval.ts

@@ -99,6 +99,15 @@ export function evalCallBlock2(fnResolved: ResolvedType, inputResolved: Resolved
     // fn is a function...
     const [_inType, inSubst, outType, _outSubst] = assignFnSubstitutions(fnResolved.t, inputResolved.t, getUnusedTypeVarIdx(env)); // may throw
 
+    console.log('==================================')
+    console.log('fnResolvedT:', prettyT(fnResolved.t));
+    console.log('inputResolvedT:', prettyT(inputResolved.t));
+    console.log('_inType:',prettyT(_inType));
+    console.log('inSubst:', [...inSubst].map(([key,val]) => [key,prettyT(val)]));
+    console.log('outType:',prettyT(outType));
+    console.log('_outSubst:', [..._outSubst].map(([key,val]) => [key,prettyT(val)]));
+    console.log('==================================')
+
     // console.log('assignFn...', 'fn.t:', prettyT(fnResolved.t), 'input:', inputResolved, 'input.t:', prettyT(inputResolved.t), '\nout =', prettyT(outType), 'subst:', substitutions, substitutions.size);
   
     const mergedSubstitutions = mergeMaps(inSubst, fnResolved.substitutions, inputResolved.substitutions);

src/main.tsx

@@ -7,7 +7,8 @@ import '@fontsource-variable/inconsolata/standard.css';
 import '@fontsource-variable/roboto/standard.css';
 
 createRoot(document.getElementById('root')!).render(
-  <StrictMode>
+  // I don't need StrictMode, it makes debugging annoying and I know my shit is pure
+  // <StrictMode>
     <App />
-  </StrictMode>,
+  // </StrictMode>,
 )

src/util/dom_trickery.ts

@@ -51,6 +51,6 @@ export function focusPrevElement() {
 
 export const autoInputWidth = (inputRef: React.RefObject<HTMLInputElement| null>, text, emptyWidth=150) => {
   if (inputRef.current) {
-    inputRef.current.style.width = `${text.length === 0 ? emptyWidth : (text.length*8.7)}px`;
+    inputRef.current.style.width = `${text.length === 0 ? emptyWidth : (text.length*8.0)}px`;
   }
 }