Add that in guards ports can be literals to docs (#1821)

* Add that ports can be literals in guards to docs * Update docs/lang/ref.md Co-authored-by: Adrian Sampson <[email protected]> --------- Co-authored-by: Adrian Sampson <[email protected]>
calyxir · Dec 22, 2023 · c34d1dd · c34d1dd
1 parent 08fd510
commit c34d1dd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/lang/ref.md b/docs/lang/ref.md
@@ -227,6 +227,8 @@ Guards can use the following constructs:
 - `guard || guard`: Disjunction between two guards
 - `guard && guard`: Conjunction of two guards
 
+In the context of guards, a port can also be a literal (i.e., `counter.out == 3'd2` is a valid guard). 
+
 > **Well-formedness**: For each input port on the LHS, only one guard should be active in any given cycle during the execution of a Calyx program.
 
 ### Continuous Assignments