Upgrade Core to d7a93980ea86b0a36dfdadb7e80af79806d961e2 (#882)

Signed-off-by: Juan Cruz Viotti <[email protected]>

Author: jviotti

DEPENDENCIES

@@ -1,3 +1,3 @@
 vendorpull https://github.com/sourcemeta/vendorpull 70342aaf458e6cb80baeb5b718901075fc42ede6
-core https://github.com/sourcemeta/core 9542de1f402025f49f58458f424d01d3f446a7e9
+core https://github.com/sourcemeta/core d7a93980ea86b0a36dfdadb7e80af79806d961e2
 bootstrap https://github.com/twbs/bootstrap 1a6fdfae6be09b09eaced8f0e442ca6f7680a61e

src/compiler/compiler.cc

@@ -6,6 +6,15 @@
 
 #include "encoding.h"
 
+static auto transformer_callback_noop(const sourcemeta::core::Pointer &,
+                                      const std::string_view,
+                                      const std::string_view,
+                                      const std::string_view) -> void {
+  // This callback should never be called, as all the transformation rules
+  // we define in this project can indeed be transformed
+  assert(false);
+}
+
 namespace sourcemeta::jsonbinpack {
 
 auto canonicalize(sourcemeta::core::JSON &schema,
@@ -23,7 +32,8 @@ auto canonicalize(sourcemeta::core::JSON &schema,
                         sourcemeta::core::AlterSchemaCategory::Implicit);
   sourcemeta::core::add(canonicalizer,
                         sourcemeta::core::AlterSchemaCategory::Superfluous);
-  canonicalizer.apply(schema, walker, make_resolver(resolver), default_dialect);
+  canonicalizer.apply(schema, walker, make_resolver(resolver),
+                      transformer_callback_noop, default_dialect);
 }
 
 auto make_encoding(sourcemeta::core::JSON &document,
@@ -80,7 +90,8 @@ auto compile(sourcemeta::core::JSON &schema,
   // Numbers
   mapper.add<NumberArbitrary>();
 
-  mapper.apply(schema, walker, make_resolver(resolver), default_dialect);
+  mapper.apply(schema, walker, make_resolver(resolver),
+               transformer_callback_noop, default_dialect);
 
   // The "any" encoding is always the last resort
   const auto dialect{sourcemeta::core::dialect(schema)};