add some comments

UnsignedByte · UnsignedByte · commit 4d1c5a5f58c6 · 2025-03-19T02:26:56.000Z
diff --git a/tests/check/combined-constraint.fil b/tests/check/combined-constraint.fil
@@ -1,9 +1,11 @@
+// Component with constraint depending on event, parameter, and existential parameter.
 comp Inst[W]<'G: 1> () -> () with {
     some L where L >= 0;
 } where 'G + L + W >= 'G {
     L := 1;
 }
 
 comp main<'G: 1>() -> () {
+    // Invoke this instantiation
     inst := new Inst[1]<'G>();
 }

Original file line number	Diff line number	Diff line change
`@@ -1,9 +1,11 @@`
	`1`	`+// Component with constraint depending on event, parameter, and existential parameter.`
`1`	`2`	`comp Inst[W]<'G: 1> () -> () with {`
`2`	`3`	`some L where L >= 0;`
`3`	`4`	`} where 'G + L + W >= 'G {`
`4`	`5`	`L := 1;`
`5`	`6`	`}`
`6`	`7`
`7`	`8`	`comp main<'G: 1>() -> () {`
	`9`	`+ // Invoke this instantiation`
`8`	`10`	`inst := new Inst[1]<'G>();`
`9`	`11`	`}`