[98] Functions modifications

Replace \u2200 and \u2208 caracters by 'forall' and 'in'. Replace \u2192, \u00D7 caracters by changing the function/reduction syntaxes. Bug: cea-hpc#98 Signed-off-by: Vincent BLAIN <[email protected]>
vblainobeo · Oct 6, 2022 · 1d3d591 · 1d3d591
1 parent 37529b6
commit 1d3d591
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/fr.cea.nabla/src/fr/cea/nabla/LatexLabelServices.xtend b/plugins/fr.cea.nabla/src/fr/cea/nabla/LatexLabelServices.xtend
@@ -116,7 +116,7 @@ class LatexLabelServices
 	static def dispatch String getLatex(Function it) { 'def~ ' + name.transformString + '~:~' + getLatex(variables, it.intypesDeclaration, it.returnTypeDeclaration) }
 	static def dispatch String getLatex(Reduction it) { 'red~ ' + name.transformString + ',~' + seed?.latex + '~:~' + getLatex(variables, typeDeclaration) }
 
-	private static def String getLatex(List<SimpleVar> vars, FunctionTypeDeclaration td)
+	private static def String getLatex(List<SimpleVar> vars, List<FunctionInTypeDeclaration> itd, FunctionReturnTypeDeclaration rtd)
 	{
 		var ret = ''
 		if (vars !== null)