Currently, a new TexPredefinedFormulaParser is constructed for each TexFormulaParser (even if it is currently singleton in most cases), and then the TexFormulaParser is populated with the data from the TexPredefinedFormulaParser.
We could do better:
parse once
parse on demand?
get rid of these pesky signatures Func<SourceSpan, TexFormula?> in TexFormulaParser::predefinedFormulas.
When fixing this, look for TODO[#xxx] in the code.
Currently, a new
TexPredefinedFormulaParseris constructed for eachTexFormulaParser(even if it is currently singleton in most cases), and then theTexFormulaParseris populated with the data from theTexPredefinedFormulaParser.We could do better:
Func<SourceSpan, TexFormula?>inTexFormulaParser::predefinedFormulas.When fixing this, look for
TODO[#xxx]in the code.