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

final class InferenceTests: XCTestCase {
	func testGraphsWithoutReturnsHaveUnitType() {
		assert(constraints(Graph()).0, ==, .Unit)
	}
}


private func simplify(type: Term) -> Term {
	return Substitution(lazy(enumerate(type.freeVariables)).map { ($1, Term(integerLiteral: $0)) }).apply(type)
}


import Assertions
import Manifold
import TesseractCore
import XCTest

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

final class InferenceTests: XCTestCase {
	func testGraphsWithoutReturnsHaveUnitType() {
		assert(constraints(Graph()).0, ==, .Unit)
	}
}


import Assertions
import Manifold
import TesseractCore
import XCTest

--- 
+++ 
@@ -7,6 +7,11 @@
 }
 
 
+private func simplify(type: Term) -> Term {
+	return Substitution(lazy(enumerate(type.freeVariables)).map { ($1, Term(integerLiteral: $0)) }).apply(type)
+}
+
+
 import Assertions
 import Manifold
 import TesseractCore
Add a helper to simplify the variables in a type.
