src/Tools/Metis/scripts/mlpp

 #!/usr/bin/perl
 
-# Copyright (c) 2006 Joe Hurd, distributed under the BSD License
+# Copyright (c) 2006 Joe Leslie-Hurd, distributed under the BSD License
 
 use strict;
 use warnings;
 use Pod::Usage;
 use Getopt::Std;

 sub print_normal {
     (scalar @_ == 1) or die;
     my $text = shift @_;
 
     if ($opt_c eq "mosml") {
-        $text =~ s/Array\.copy/Array_copy/g;
-        $text =~ s/Array\.foldli/Array_foldli/g;
-        $text =~ s/Array\.foldri/Array_foldri/g;
-        $text =~ s/Array\.modifyi/Array_modifyi/g;
-        $text =~ s/OS\.Process\.isSuccess/OS_Process_isSuccess/g;
-        $text =~ s/PP\.ppstream/ppstream/g;
-        $text =~ s/String\.concatWith/String_concatWith/g;
-        $text =~ s/String\.isSubstring/String_isSubstring/g;
-        $text =~ s/String\.isSuffix/String_isSuffix/g;
-        $text =~ s/Substring\.full/Substring_full/g;
-        $text =~ s/TextIO\.inputLine/TextIO_inputLine/g;
-        $text =~ s/Vector\.foldli/Vector_foldli/g;
-        $text =~ s/Vector\.mapi/Vector_mapi/g;
+        $text =~ s/Real\.isFinite/Real_isFinite/g;
     }
 
     print STDOUT $text;
 }
 

 
 Waiting to rear their ugly heads.
 
 =head1 AUTHORS
 
-Joe Hurd <[e-mail]>
+Joe Leslie-Hurd <[e-mail]>
 
 =head1 SEE ALSO
 
 Perl(1).