diff --git a/src/InputBlock.tsx b/src/InputBlock.tsx index 3e82212..3ea0345 100644 --- a/src/InputBlock.tsx +++ b/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) diff --git a/src/eval.ts b/src/eval.ts index 62e2af8..d756806 100644 --- a/src/eval.ts +++ b/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); diff --git a/src/main.tsx b/src/main.tsx index dffec85..c1e5878 100644 --- a/src/main.tsx +++ b/src/main.tsx @@ -7,7 +7,8 @@ import '@fontsource-variable/inconsolata/standard.css'; import '@fontsource-variable/roboto/standard.css'; createRoot(document.getElementById('root')!).render( - + // I don't need StrictMode, it makes debugging annoying and I know my shit is pure + // - , + // , ) diff --git a/src/util/dom_trickery.ts b/src/util/dom_trickery.ts index 3bbc909..cf7993c 100644 --- a/src/util/dom_trickery.ts +++ b/src/util/dom_trickery.ts @@ -51,6 +51,6 @@ export function focusPrevElement() { export const autoInputWidth = (inputRef: React.RefObject, 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`; } }