[adapted tests to new name `phrac'
mail@stefanwehr.de**20050525051515] {
hunk ./tests/ast/should_fail/000.err 1
-Parser error, next tokens: minhs: reading EOF!
+Parser error, next tokens: phrac: reading EOF!
hunk ./tests/driver/check 29
-# "check" runs the tests in all the subdirs. Tests look like *'.mhs'
+# "check" runs the tests in all the subdirs. Tests look like *'.phc'
hunk ./tests/driver/check 32
-$project = "minhs";
+$project = "phrac";
hunk ./tests/driver/check 229
+if ( ($total[0]+0) == 0 ) {
+    print "No tests found\n";
+    exit 1;
+}
+
hunk ./tests/driver/check 264
-# is_leaf: a directory is a leaf node if it contains any *.mhs files
+# is_leaf: a directory is a leaf node if it contains any *.phc files
hunk ./tests/driver/check 268
-    $found = grep { /\.mhs$/ } readdir(IN);
+    $found = grep { /\.phc$/ } readdir(IN);
hunk ./tests/driver/check 290
-# return a sorted list of all *.mhs files in the current directory
+# return a sorted list of all *.phc files in the current directory
hunk ./tests/driver/check 293
-    my @tests = grep { /\.mhs$/ } readdir(DIR);
+    my @tests = grep { /\.phc$/ } readdir(DIR);
hunk ./tests/type-inference/should_fail/016.phc 5
-foo :: a -> T a;
-foo = foo;
+bar = let foo :: a -> T a;
+          foo = foo;
+      in 42;
}