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

import Tesseract
import XCTest

final class TypeTests: XCTestCase {
	func testConstantTermHasConstantType() {
		XCTAssertEqual(typeof(.Constant(.Integer(0))), Type.Integer)
	}
}

Test the type checking of constant terms.
Test the type checking of constant terms.
