~singpolyma/dhall-ruby

9cf879f6fd9d381ba3ed8f86808adae793a85a5b — Stephen Paul Weber 3 years ago a124cc7
Fix style in tests
1 files changed, 8 insertions(+), 6 deletions(-)

M test/test_typechecker.rb
M test/test_typechecker.rb => test/test_typechecker.rb +8 -6
@@ 46,9 46,10 @@ class TestTypechecker < Minitest::Test

	def test_variable_in_context
		context =
			Dhall::TypeChecker::Context.new
				.add(forall("x", Dhall::Variable["Type"]))
				.add(forall("x", Dhall::Variable["Kind"]))
			Dhall::TypeChecker::Context
			.new
			.add(forall("x", Dhall::Variable["Type"]))
			.add(forall("x", Dhall::Variable["Kind"]))

		assert_equal(
			Dhall::Variable["Kind"],


@@ 60,9 61,10 @@ class TestTypechecker < Minitest::Test

	def test_variable_in_parent_context
		context =
			Dhall::TypeChecker::Context.new
				.add(forall("x", Dhall::Variable["Type"]))
				.add(forall("x", Dhall::Variable["Kind"]))
			Dhall::TypeChecker::Context
			.new
			.add(forall("x", Dhall::Variable["Type"]))
			.add(forall("x", Dhall::Variable["Kind"]))

		assert_equal(
			Dhall::Variable["Type"],