Fix type of ExprSort::Cast target field (#111)

GabrielDosReis · GabrielDosReis · commit 7775e2a72715 · 2023-09-05T05:51:11.000-07:00
Fix #110
diff --git a/ltx/exprs.tex b/ltx/exprs.tex
@@ -849,7 +849,7 @@ \subsection{\valueTag{ExprSort::Cast}}
 		\DeclareMember{locus}{SourceLocation} \\
 		\DeclareMember{type}{TypeIndex} \\
 		\DeclareMember{source}{ExprIndex} \\
-		\DeclareMember{target}{Index} \\
+		\DeclareMember{target}{TypeIndex} \\
 		\DeclareMember{operator}{DyadicOperator} \\
 	}
 	\caption{Structure of a cast expression}

Original file line number	Diff line number	Diff line change
`@@ -849,7 +849,7 @@ \subsection{\valueTag{ExprSort::Cast}}`
`849`	`849`	`\DeclareMember{locus}{SourceLocation} \\`
`850`	`850`	`\DeclareMember{type}{TypeIndex} \\`
`851`	`851`	`\DeclareMember{source}{ExprIndex} \\`
`852`		`- \DeclareMember{target}{Index} \\`
	`852`	`+ \DeclareMember{target}{TypeIndex} \\`
`853`	`853`	`\DeclareMember{operator}{DyadicOperator} \\`
`854`	`854`	`}`
`855`	`855`	`\caption{Structure of a cast expression}`