fixtures: the fifteen rules the corpus had not reached, and the data-host profile stops reviving (#24) - #106
Merged
Merged
Conversation
…host profile stops reviving (#24) Sixteen fixtures for S-Module, S-TopConst, S-ExportSingle, S-ExportResource, S-ExportDestructure, S-ExportNamed, S-ReExport, S-ExportTypeOnly, S-Disqualify (one file per arm), S-Prop (both ways), S-Shorthand, F-Val-Domain, F-Val-Envelope, F-Val-Symbol-Scope and F-Eval-Interior. UNCOVERED.md is 128 of 138 after the script printed it; the ten left need a form the reference lacks or a property no adapter can observe. Two of the fixtures are judged in data-host with a named host, and they found the reference reviving there: F-Profile-DataHost says revival is serialization, no constructor and no function is invoked, and the host is a description, so the data-host adapter now keeps a host's intrinsics and trust set only and project.ts leaves the envelope as the output. The runner test that assumed a data-host fixture names no host now asserts the opposite. The rules runner drops exported functions from the namespace it serializes (F-Val-Callable, F-Val-Serializable).
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Toward #24;
UNCOVERED.mdgoes from 25 entries to 10,128 of 138.S-Module,S-TopConst,S-ExportSingle,S-ExportResource,S-ExportDestructure,S-ExportNamed,S-ReExport,S-ExportTypeOnly,S-Disqualify(one file per arm),S-Prop(accept and reject),S-Shorthand,F-Val-Domain,F-Val-Envelope,F-Val-Symbol-ScopewithF-Eval-Interior.data-host. F-Profile-DataHost is unambiguous (revival is serialization; the host is a description), sohostOfkeeps only intrinsics and the trust set there andproject.tsleaves envelopes as the output. Two fixtures are judged indata-hostwith theshapeshost and pin this.