change comment

anoma · Oct 11, 2023 · 55c0cfb · 55c0cfb
1 parent 159429d
commit 55c0cfb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -964,7 +964,8 @@ checkInductiveDef InductiveDef {..} = do
         checkField :: RecordField 'Parsed -> Sem r (RecordField 'Scoped)
         checkField RecordField {..} = do
           type' <- checkParseExpressionAtoms _fieldType
-          -- TODO local scope??
+          -- Since we don't allow dependent types in constructor types, each
+          -- field is checked with a local scope
           withLocalScope $ do
             name' <- bindVariableSymbol _fieldName
             return