From b4d322455ea4b6564c97d358861dbace35233fd8 Mon Sep 17 00:00:00 2001 From: Brian Rourke Boll Date: Wed, 3 Jul 2024 13:29:01 -0400 Subject: [PATCH] Update comments --- src/Compiler/Checking/CheckExpressions.fs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Compiler/Checking/CheckExpressions.fs b/src/Compiler/Checking/CheckExpressions.fs index 1ccd00c286e..1b8de018388 100644 --- a/src/Compiler/Checking/CheckExpressions.fs +++ b/src/Compiler/Checking/CheckExpressions.fs @@ -6973,7 +6973,7 @@ and TcIndexingThen cenv env overallTy mWholeExpr mDot tpenv setInfo synLeftExprO | (_, Array) & (ArrayIndexerOrSlicer (path, meth, args), _) | (_, String) & (StringIndexerOrSlicer (path, meth, args), _) -> tcArrayOrStringIndexing (path, meth, args) - // Look for an indexer property or method, or delay lookup while assuming `Item`. + // Look for an indexer property, or else assume `Item`. | (Indexing, Getting), Indexable indexer | (Indexing, Getting), (Array | Nominal) & PossiblyIndexable indexer -> propagateThenTcDelayed tpenv expr exprTy (mkDelayedIndexedGet indexer decodedIndexArgs @ delayed) @@ -6986,16 +6986,16 @@ and TcIndexingThen cenv env overallTy mWholeExpr mDot tpenv setInfo synLeftExprO | ((Slicing, Getting), Nominal) & Sliceable (tpenv, expr, exprTy) -> propagateThenTcDelayed tpenv expr exprTy delayed - // In the immediate absence of either, delay lookup while assuming `GetSlice`. + // In the immediate absence of either, assume `GetSlice`. | (Slicing, Getting), PossiblyGetSliceable slicer -> propagateThenTcDelayed tpenv expr exprTy (mkDelayedGetSlice slicer decodedIndexArgs @ delayed) - // Look for an indexer property or method, or delay lookup while assuming `Item`. + // Look for an indexer property, or else assume `Item`. | (Indexing, Setting (setArg, mOfLeftOfSet)), Indexable indexer | (Indexing, Setting (setArg, mOfLeftOfSet)), (Array | Nominal) & PossiblyIndexable indexer -> propagateThenTcDelayed tpenv expr exprTy (mkDelayedIndexedSet indexer decodedIndexArgs setArg mOfLeftOfSet @ delayed) - // Delay lookup of `SetSlice`. + // Assume `SetSlice`. | (Slicing, Setting (setArg, mOfLeftOfSet)), (Array | Nominal) -> propagateThenTcDelayed tpenv expr exprTy (mkDelayedSetSlice decodedIndexArgs setArg mOfLeftOfSet @ delayed)