---

yaml
---
r: 12173
b: refs/heads/master
c: 3955b3a
h: refs/heads/master
i:
  12171: 4ae73c0
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 18a97d71f95ad5b155537fff7b3a24758b08429e
+refs/heads/master: 3955b3a41aa4df8da4c5f0b22d0b72f5586b9851
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/compiletest/runtest.rs

@@ -130,7 +130,7 @@ fn run_pretty_test(config: config, 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(config, testfile, actual);
+    let procres = typecheck_source(config, props, testfile, actual);
 
     if procres.status != 0 {
         fatal_procres("pretty-printed source does not typecheck", procres);
@@ -169,9 +169,10 @@ actual:\n\
         }
     }
 
-    fn typecheck_source(config: config, testfile: str, src: str) -> procres {
-        compose_and_run(config, testfile, make_typecheck_args,
-                        config.compile_lib_path, option::some(src))
+    fn typecheck_source(config: config, props: test_props,
+                        testfile: str, src: str) -> procres {
+        compose_and_run_compiler(
+            config, props, testfile, make_typecheck_args, option::some(src))
     }
 
     fn make_typecheck_args(config: config, _testfile: str) -> procargs {
@@ -285,6 +286,25 @@ type procres = {status: int, stdout: str, stderr: str, cmdline: str};
 
 fn compile_test(config: config, props: test_props,
                 testfile: str) -> procres {
+    compose_and_run_compiler(config, props, testfile,
+                             make_compile_args(_, props, [], make_exe_name, _),
+                             none)
+}
+
+fn exec_compiled_test(config: config, props: test_props,
+                      testfile: str) -> procres {
+    compose_and_run(config, testfile,
+                             bind make_run_args(_, props, _),
+                             config.run_lib_path, option::none)
+}
+
+fn compose_and_run_compiler(
+    config: config,
+    props: test_props,
+    testfile: str,
+    mk_args: fn(config: config, _testfile: str) -> procargs,
+    input: option<str>) -> procres {
+
     vec::iter(props.aux_builds) {|rel_ab|
         let abs_ab = path::connect(config.aux_base, rel_ab);
         let auxres = compose_and_run(config, abs_ab,
@@ -298,19 +318,12 @@ fn compile_test(config: config, props: test_props,
         }
     }
 
-    compose_and_run(config, testfile,
-                    make_compile_args(_, props, [], make_exe_name, _),
-                    config.compile_lib_path, option::none)
-}
-
-fn exec_compiled_test(config: config, props: test_props,
-                      testfile: str) -> procres {
-    compose_and_run(config, testfile, bind make_run_args(_, props, _),
-                    config.run_lib_path, option::none)
+    compose_and_run(config, testfile, mk_args,
+                    config.compile_lib_path, input)
 }
 
 fn compose_and_run(config: config, testfile: str,
-                   make_args: fn@(config, str) -> procargs, lib_path: str,
+                   make_args: fn(config, str) -> procargs, lib_path: str,
                    input: option<str>) -> procres {
     let procargs = make_args(config, testfile);
     ret program_output(config, testfile, lib_path,