~singpolyma/dhall-ruby

45d912e569ddc89604bf24393b4cdf86132a5bee — Stephen Paul Weber 3 years ago b24c244
Refactor OperatorRecursiveRecordMerge typechecker
1 files changed, 2 insertions(+), 3 deletions(-)

M lib/dhall/typecheck.rb
M lib/dhall/typecheck.rb => lib/dhall/typecheck.rb +2 -3
@@ 307,9 307,8 @@ module Dhall

				type = annotated_lhs.type.deep_merge_type(annotated_rhs.type)

				unless type.is_a?(Dhall::RecordType)
					raise TypeError, "RecursiveRecordMerge got #{type}"
				end
				TypeChecker.assert type, Dhall::RecordType,
				                   "RecursiveRecordMerge got #{type}"

				# Annotate to sanity check
				TypeChecker.for(type).annotate(context)