4 files changed, 2 insertions(+), 14 deletions(-)

M dhall-lang
M lib/dhall/ast.rb
M lib/dhall/binary.rb
M test/test_normalization.rb

@@ 1,1 1,1 @@
-Subproject commit e4e9c2d52766017e726ec5a0198a9cd3bc461179
+Subproject commit 07aa048ee5f5705c020172e0b74f7b929b2303da

@@ 541,17 541,6 @@ module Dhall
 		end
 	end
 
-	class Constructors < Expression
-		extend Gem::Deprecate
-
-		def initialize(arg)
-			@arg = arg
-		end
-		DEPRECATION_WIKI = "https://github.com/dhall-lang/dhall-lang/wiki/" \
-		                   "Migration:-Deprecation-of-constructors-keyword"
-		deprecate :initialize, DEPRECATION_WIKI, 2019, 4
-	end
-
 	class If < Expression
 		include(ValueSemantics.for_attributes do
 			predicate Expression

@@ 250,7 250,7 @@ module Dhall
 		RecordProjection,
 		UnionType,
 		Union,
-		Constructors,
+		nil,
 		If,
 		Natural,
 		Integer,

@@ 28,7 28,6 @@ class TestNormalization < Minitest::Test
 		test = path.relative_path_from(STANDARD).to_s.sub(/A\.dhallb$/, "")
 		next if test =~ /prelude\//
 		next if test =~ /remoteSystems/
-		next if test =~ /constructorsId$/
 		next if test =~ /multiline\//
 
 		define_method("test_#{test.gsub(/\//, "_")}") do