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

GabrielDosReis · GabrielDosReis · commit 7aea94489817 · 2023-09-05T05:50:44.000-07:00
Fix #110
diff --git a/ltx/exprs.tex b/ltx/exprs.tex
@@ -873,7 +873,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
`@@ -873,7 +873,7 @@ \subsection{\valueTag{ExprSort::Cast}}`
`873`	`873`	`\DeclareMember{locus}{SourceLocation} \\`
`874`	`874`	`\DeclareMember{type}{TypeIndex} \\`
`875`	`875`	`\DeclareMember{source}{ExprIndex} \\`
`876`		`- \DeclareMember{target}{Index} \\`
	`876`	`+ \DeclareMember{target}{TypeIndex} \\`
`877`	`877`	`\DeclareMember{operator}{DyadicOperator} \\`
`878`	`878`	`}`
`879`	`879`	`\caption{Structure of a cast expression}`