remove old comments

francescoo22 · Jun 26, 2024 · 0280a80 · 0280a80
1 parent 1d039aa
commit 0280a80
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/chapters/4-Annotation-System.typ b/chapters/4-Annotation-System.typ
@@ -140,8 +140,6 @@ If $p_1 subset.sq p_2$ holds, we say that
   - The annotation of variables contained in the unfication is the least upper bound of the annotation in $Delta_1$ and $Delta_2$.
 
 #display-rules(
-  // U-Empty, U-Sym,
-  // U-Local, U-Rec,
   Ctx-Lub-Empty, Ctx-Lub-Sym,
   Ctx-Lub-1, "",
   Ctx-Lub-2, "",
@@ -182,9 +180,7 @@ fun use_f(x: unique) {
   Assign-Borrowed-Field, "",
   Assign-Call, "",
   Call, "",
-  // Return-Null, "",
   Return-p, "",
-  // Return-m, "",
 )
 
 *Note:* Since they can be easily desugared, there are no rules for returnning `null` or a method call.