+++ /dev/null
-#! /usr/bin/perl -i.bak
-
-while (<>) {
- # Insert header line
- if ($ARGV ne $oldargv) {
- $ARGV =~ /\d+/;
- $filenum = $&;
- print <<EOTXT;
-Reading file "test/typechecker/t$filenum.hs":
-EOTXT
- $oldargv = $ARGV;
- }
-
- # Make this script idempotent
- next if /^Reading file "test\/typechecker\/t\d+\.hs":/;
-
- # Fix error messages
- s#test/T[A-Za-z0-9]*\.hs#test/typechecker/t$filenum.hs#g;
-
- # Delete trailing line
- s/^Hugs:\[Leaving Hugs\]\n//;
-
- print;
-}