//  Copyright © 2015 Rob Rix. All rights reserved.

final class ChurchListTests: XCTestCase {
	func testModuleTypechecks() {
		module.typecheck().forEach { XCTFail($0.description) }
	}
}

private let module = Module<Term>.churchList


import Manifold
import XCTest

//  Copyright © 2015 Rob Rix. All rights reserved.

final class ChurchListTests: XCTestCase {}


import Manifold
import XCTest

--- 
+++ 
@@ -1,6 +1,12 @@
 //  Copyright © 2015 Rob Rix. All rights reserved.
 
-final class ChurchListTests: XCTestCase {}
+final class ChurchListTests: XCTestCase {
+	func testModuleTypechecks() {
+		module.typecheck().forEach { XCTFail($0.description) }
+	}
+}
+
+private let module = Module<Term>.churchList
 
 
 import Manifold
Test that the module typechecks.
