Skip to content

Commit

Permalink
add warning about reference section
Browse files Browse the repository at this point in the history
  • Loading branch information
Gankra committed Jul 29, 2015
1 parent b539906 commit 4c48ffa
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions src/doc/tarpl/references.md
Expand Up @@ -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
Expand Down

0 comments on commit 4c48ffa

Please sign in to comment.