From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 26 Sep 2026 15:30:53 -0300
Subject: preparation cleanup for RNT integration

---
 todos.pl | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 todos.pl

(limited to 'todos.pl')

diff --git a/todos.pl b/todos.pl
deleted file mode 100644
index c1c6368..0000000
--- a/todos.pl
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env perl
-use strict;
-use warnings;
-use File::Find;
-
-my $root = $ARGV[0] // '.';
-my @files;
-
-find(sub {
-    $File::Find::prune = 1 if -d && /^(_build|\.git)$/;
-    push @files, $File::Find::name if /\.ml(i|l)?$/ && -f;
-}, $root);
-
-my $count = 0;
-for my $file (sort @files) {
-    open my $fh, '<', $file or die "Cannot open $file: $!";
-    my $lineno = 0;
-    while (<$fh>) {
-        $lineno++;
-        if (/\bTODO\b[:\s]*(.*)/) {
-            my $msg = $1;
-            $msg =~ s/\s*\*\)\s*$//;  # strip OCaml comment close
-            $msg =~ s/^\s+|\s+$//g;
-            printf "%-60s  line %-4d  %s\n", $file, $lineno, $msg;
-            $count++;
-        }
-    }
-    close $fh;
-}
-
-print "\n$count TODO(s) found.\n";
-- 
cgit v1.2.3