add warning about reference section

diff --git a/src/doc/tarpl/references.md b/src/doc/tarpl/references.md
index da70dd529078b3cee5c71ddb70b3fb2101fb2911..3d7369eca0fed3e31c4eaba18fd5436d94932718 100644 (file)
--- a/src/doc/tarpl/references.md
+++ b/src/doc/tarpl/references.md
@@ -22,6 +22,10 @@ what *aliased* means. To define aliasing, we must define the notion of
 *paths* and *liveness*.
 
 
+**NOTE: The model that follows is generally agreed to be dubious and have
+issues. It's ok-ish as an intuitive model, but fails to capture the desired
+semantics. We leave this here to be able to use notions introduced here in later
+sections. This will be significantly changed in the future. TODO: do that.**
 
 
 # Paths