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

final class NaturalTests: XCTestCase {
	func testReferencesToZeroAreWellTyped() {
		let value = Zero.typecheck(naturalEnvironment).right
		assert(value, !=, nil)
		assert(value?.quote, ==, .type)
	}
}

let Zero = Term.free("Zero")


import Assertions
import Manifold
import XCTest

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

final class NaturalTests: XCTestCase {
	func testReferencesToZeroAreWellTyped() {
		let value = Zero.typecheck(naturalEnvironment).right
		assert(value, !=, nil)
		assert(value?.quote, ==, .type)
	}

	func testReferencesToZeroEvaluateToConstantValueOfZero() {
		let result = Zero.evaluate(naturalEnvironment)
		let constant = result.right?.constant
		assert(constant?.0 as? Int, ==, 0)
	}
}

let Zero = Term.free("Zero")


import Assertions
import Manifold
import XCTest

--- 
+++ 
@@ -5,12 +5,6 @@
 		let value = Zero.typecheck(naturalEnvironment).right
 		assert(value, !=, nil)
 		assert(value?.quote, ==, .type)
-	}
-
-	func testReferencesToZeroEvaluateToConstantValueOfZero() {
-		let result = Zero.evaluate(naturalEnvironment)
-		let constant = result.right?.constant
-		assert(constant?.0 as? Int, ==, 0)
 	}
 }
 
Remove a test of a constant value for Natural.
