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

final class DatatypeTests: XCTestCase {
	func testDatatypeWithZeroConstructorsIsUnitType() {
		assert(Datatype(constructors: []).value("A"), ==, .UnitType)
	}
}


import Assertions
@testable import Manifold
import XCTest

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

final class DatatypeTests: XCTestCase {
}


import Assertions
@testable import Manifold
import XCTest

--- 
+++ 
@@ -1,6 +1,9 @@
 //  Copyright © 2015 Rob Rix. All rights reserved.
 
 final class DatatypeTests: XCTestCase {
+	func testDatatypeWithZeroConstructorsIsUnitType() {
+		assert(Datatype(constructors: []).value("A"), ==, .UnitType)
+	}
 }
 
 
Test that zero-constructor datatypes are unit.
