Define a Cycle

I wasn't clear on what a Cycle was when reading through the document.
Defining it will be helpful for other readers not familiar with it as
well.
This commit is contained in:
Alex Kitchens 2018-05-22 16:30:05 -05:00 committed by Who? Me?!
parent 812c9416fc
commit a819c74358
1 changed files with 3 additions and 0 deletions

View File

@ -47,6 +47,9 @@ let ty = tcx.type_of(some_def_id);
### Cycles between queries ### Cycles between queries
A cycle is when a query becomes stuck in a loop e.g. query A generates query B
which generates query A again.
Currently, cycles during query execution should always result in a Currently, cycles during query execution should always result in a
compilation error. Typically, they arise because of illegal programs compilation error. Typically, they arise because of illegal programs
that contain cyclic references they shouldn't (though sometimes they that contain cyclic references they shouldn't (though sometimes they