add comment

SoftwareFoundationGroupAtKyotoU · Mar 21, 2024 · 088f7ee · 088f7ee
1 parent 130d1ec
commit 088f7ee
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/test/list/reverse2.imp b/src/test/list/reverse2.imp
@@ -10,6 +10,7 @@ mklist(n) {
 _reverse(l, l_next) {
     match l_next with
       Nil -> {
+        // FIXME: this alias statement is (maybe) wrong
         // alias(*(l.Cons.2) = l_next);
         return l
       }
@@ -51,4 +52,4 @@ len(l) {
     let len_l = len(l) in
     let rev_l = reverse(l) in
     assert(len_l = len(rev_l))
-}
+}