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

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

private let module = Module<Term>.churchSum


import Manifold
import XCTest

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

final class ChurchSumTests: XCTestCase {}


import Manifold
import XCTest

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