---

yaml
---
r: 4334
b: refs/heads/master
c: a601eb1
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 59691b084fd64c6e98c36f8c738abe4a6fe6f89e
+refs/heads/master: a601eb169ee5748b7afebab12d75ecc3ad3b47bc

trunk/src/test/compiletest/runtest.rs

@@ -100,7 +100,7 @@ fn run_pretty_test(cx: &cx, props: &test_props, testfile: &str) {
     compare_source(expected, actual);
 
     // Finally, let's make sure it actually appears to remain valid code
-    let procres = typecheck_source(cx, actual);
+    let procres = typecheck_source(cx, testfile, actual);
 
     if procres.status != 0 {
         fatal_procres("pretty-printed source does not typecheck",
@@ -139,9 +139,15 @@ actual:\n\
         }
     }
 
-    fn typecheck_source(cx: &cx, src: &str) -> procres {
-        // FIXME
-        ret {status: 0, stdout: src, stderr: "", cmdline: ""};
+    fn typecheck_source(cx: &cx, testfile: &str, src: &str) -> procres {
+        compose_and_run(cx, testfile, make_typecheck_args,
+                        cx.config.compile_lib_path, option::some(src))
+    }
+
+    fn make_typecheck_args(config: &config, testfile: &str) -> procargs {
+        let prog = config.rustc_path;
+        let args = ["-", "--no-trans"];
+        ret {prog: prog, args: args};
     }
 }