Add a comment

melt-umn · Feb 9, 2018 · e599ee4 · e599ee4
1 parent 7451560
commit e599ee4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/edu.umn.cs.melt.ableC/abstractsyntax/env/LabelItem.sv b/edu.umn.cs.melt.ableC/abstractsyntax/env/LabelItem.sv
@@ -2,6 +2,9 @@ grammar edu:umn:cs:melt:ableC:abstractsyntax:env;
 
 nonterminal LabelItem with sourceLocation;
 
+-- Note that we unfortunately can't include a reference to the labeled statement here, since these
+-- are function-scope defs, which need to be computed without the use of env to avoid a circular
+-- dependancy.
 abstract production labelItem
 top::LabelItem ::= sourceLocation::Location
 {