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

final class TypeTests: XCTestCase {
	func testVariableTypesHaveOneFreeVariable() {
		let variable = Variable()
		assertEqual(Type(variable).freeVariables, Set(variable))
	}

	func testFunctionTypesDistributeFreeVariables() {
		let variable = Variable()
		assertEqual(Type(function: Type(variable), Type(variable)).freeVariables, Set(variable))
	}
}


// MARK: - Imports

import Manifold
import Set
import XCTest

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

final class TypeTests: XCTestCase {
	func testVariableTypesHaveOneFreeVariable() {
		let variable = Variable()
		assertEqual(Type(variable).freeVariables, Set(variable))
	}
}


// MARK: - Imports

import Manifold
import Set
import XCTest

--- 
+++ 
@@ -4,6 +4,11 @@
 	func testVariableTypesHaveOneFreeVariable() {
 		let variable = Variable()
 		assertEqual(Type(variable).freeVariables, Set(variable))
+	}
+
+	func testFunctionTypesDistributeFreeVariables() {
+		let variable = Variable()
+		assertEqual(Type(function: Type(variable), Type(variable)).freeVariables, Set(variable))
 	}
 }
 
Test the free type variables in function types.
