diff options
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index 7f9d4e5ecb..6db02c0f24 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -93,6 +93,12 @@ constraints must remain acyclic. Typing expressions that violate the acyclicity of the graph of constraints results in a \errindex{Universe inconsistency} error (see also Section~\ref{PrintingUniverses}). +% TODO: The concept of 'universe inconsistency' deserves more attention. +% Somewhere in the document we should: +% - give concrete examples when universe inconsistency arises +% - explain why it arised +% - how can a user identify the "vicious cycle". + %% HH: This looks to me more like source of confusion than helpful %% \subsection{Constants} |