HomePhabricator

Update function-schemata sub-module to HEAD (3db774b) and replace Z23s with Z21s

Description

Update function-schemata sub-module to HEAD (3db774b) and replace Z23s with Z21s

New changes:
7130492 Add support for dereferenced and executed functions for typed list definitions
3195378 Follow-up 94ff48d: Check that a valid Z6 is a literal Z6 before accessing Z6K1
fa49d3c validationStatus: Also cover toString() and so reach 100%
ba3eda9 definitions: Correct Z24/void to be an instance of Z21/Unit
ea77aa4 schema.validatesAsUnit: Fix to use Z21 not Z23 validation
5e9990d [BREAKING CHANGE] Replace Z23s with Z24s in function-schemata
3db774b definitions: Rename validator function & implementation for Z21

Local changes:

  • Now using makeVoid instead of makeUnit;
  • isVoid instead of validatesAsUnit (JavaScript)
  • Similarly in Python
  • Z24 instead of Z23

Bug: T285433
Bug: T304980
Change-Id: Ibb0ee2d81dce0c694718c4a40ce9e6a80e7a53e8