//  Copyright (c) 2015 Rob Rix. All rights reserved.

final class InferenceTests: XCTestCase {
	func testVariablesAreAssignedAFreshTypeVariable() {
		assertNotNil(infer(0).0.variable)
	}

	func testApplicationsAreAssignedAFreshTypeVariable() {
		let application = 0 <| 0 // fixme: left operand should be an abstraction
		assertNotNil(infer(application).0.variable)
	}

	func testAbstractionsAreAssignedAFunctionType() {
		let abstraction = 0 .. 0
		assertNotNil(infer(abstraction).0.function)
	}
}


// MARK: - Imports

import Assertions
import Manifold
import Prelude
import XCTest

//  Copyright (c) 2015 Rob Rix. All rights reserved.

final class InferenceTests: XCTestCase {
	func testVariablesAreAssignedAFreshTypeVariable() {
		assertEqual(infer(0).0.isVariable, true)
	}

	func testApplicationsAreAssignedAFreshTypeVariable() {
		let application = 0 <| 0 // fixme: left operand should be an abstraction
		assertEqual(infer(application).0.isVariable, true)
	}

	func testAbstractionsAreAssignedAFunctionType() {
		let abstraction = 0 .. 0
		assertEqual(infer(abstraction).0.isFunction, true)
	}
}


// MARK: - Imports

import Assertions
import Manifold
import Prelude
import XCTest

--- 
+++ 
@@ -2,17 +2,17 @@
 
 final class InferenceTests: XCTestCase {
 	func testVariablesAreAssignedAFreshTypeVariable() {
-		assertEqual(infer(0).0.isVariable, true)
+		assertNotNil(infer(0).0.variable)
 	}
 
 	func testApplicationsAreAssignedAFreshTypeVariable() {
 		let application = 0 <| 0 // fixme: left operand should be an abstraction
-		assertEqual(infer(application).0.isVariable, true)
+		assertNotNil(infer(application).0.variable)
 	}
 
 	func testAbstractionsAreAssignedAFunctionType() {
 		let abstraction = 0 .. 0
-		assertEqual(infer(abstraction).0.isFunction, true)
+		assertNotNil(infer(abstraction).0.function)
 	}
 }
 
Correct the tests of type/constraint inference.
