Skip to content

Commit 412c1db

Browse files
committed
docs(kmir): mark bridge projection rules as temporary
1 parent f2ccd0c commit 412c1db

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

  • kmir/src/kmir/kdist/mir-semantics/rt

kmir/src/kmir/kdist/mir-semantics/rt/data.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -509,6 +509,7 @@ The following rule resolves this situation by using the head element.
509509
=> #traverseProjection(DEST, VALUE, projectionElemField(IDX, TY) PROJS, CTXTS) ... </k> // TODO mark context?
510510
[preserves-definedness, priority(100)]
511511
512+
// Temporary bridge rule for the current mixed bare-value/Range representation.
512513
rule <k> #traverseProjection(
513514
DEST,
514515
Range(ListItem(Union(_, _) #as VALUE) _REST:List),
@@ -658,6 +659,7 @@ Similar to `ConstantIndex`, the slice _end_ index may count from the _end_ or t
658659
andBool START <=Int size(ELEMENTS) -Int END
659660
[preserves-definedness] // Indexes checked to be in range for ELEMENTS
660661
662+
// Temporary bridge rule for the current mixed bare-value/Range representation.
661663
rule <k> #traverseProjection(
662664
DEST,
663665
VAL,

0 commit comments

Comments
 (0)