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

final class ElaborationTests: XCTestCase {
	func testElaboratesTheTypeOfType() {
		let term: Term = .Type
		assert(try? term.elaborateType(nil, [:], [:]), ==, AnnotatedTerm<Term>.Unroll(.Type(1), .Identity(.Type(0))))
	}
}


import Assertions
import Manifold
import XCTest

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

final class ElaborationTests: XCTestCase {
	
}

import Manifold
import XCTest

--- 
+++ 
@@ -1,8 +1,13 @@
 //  Copyright © 2015 Rob Rix. All rights reserved.
 
 final class ElaborationTests: XCTestCase {
-	
+	func testElaboratesTheTypeOfType() {
+		let term: Term = .Type
+		assert(try? term.elaborateType(nil, [:], [:]), ==, AnnotatedTerm<Term>.Unroll(.Type(1), .Identity(.Type(0))))
+	}
 }
 
+
+import Assertions
 import Manifold
 import XCTest
Test that the type of Type is elaborated.
