Good-enough validator #38

Closed
opened 2024-05-19 19:24:16 +00:00 by scott · 4 comments
Owner

As detailed in validator.janet:

  • Called keywords may only take one argument
  • Property access on pkgs and nses
  • Validate dict patterns
  • Allow passing in a context (e.g., Base, Prelude) for validation
As detailed in `validator.janet`: - [x] Called keywords may only take one argument - [x] Property access on `pkg`s and `ns`es - [x] Validate dict patterns - [x] Allow passing in a context (e.g., `Base`, `Prelude`) for validation
scott added this to the Computer Class milestone 2024-05-19 19:24:16 +00:00
scott self-assigned this 2024-05-19 19:24:21 +00:00
scott added the
now
label 2024-05-19 19:24:38 +00:00
Author
Owner

Passing in contexts: a06014270f

Passing in contexts: https://alea.ludus.dev/twc/ludus/commit/a06014270f72b645f5c08a006f33e2fe2787a737
Author
Owner

Called keywords/single arg: 94adf5e9d5

Dict pattern validation: d249ee0b21

Called keywords/single arg: https://alea.ludus.dev/twc/ludus/commit/94adf5e9d56b9e060bff6f97488e1535ca3f5d5d Dict pattern validation: https://alea.ludus.dev/twc/ludus/commit/d249ee0b21714d695664c989dfa54a15a553ed31
Author
Owner

Basic pkg checking; no ns checking. 524e3627fb

Left to implement: static nested pkg nesting; and any ns checking at all.

Not closing, but shifting to 0.1.0 milestone, since this should be enough to improve the parser.

Basic pkg checking; no ns checking. https://alea.ludus.dev/twc/ludus/commit/524e3627fb243a03cd12aab4bce9dac6bbd3b7b2 Left to implement: static nested pkg nesting; and any ns checking at all. Not closing, but shifting to 0.1.0 milestone, since this should be enough to improve the parser.
scott modified the milestone from Computer Class to 0.2.0 2024-05-30 23:59:27 +00:00
scott changed title from Finish validator to Good-enough validator 2024-05-31 16:55:22 +00:00
scott modified the milestone from 0.2.0 to Computer Class 2024-05-31 16:55:28 +00:00
scott added a new dependency 2024-05-31 17:11:20 +00:00
scott modified the milestone from Computer Class to 0.2.0 2024-06-04 17:29:30 +00:00
scott modified the milestone from 0.2.0 to Computer Class 2024-06-04 17:30:09 +00:00
Author
Owner

This is the "good enough," not "complete" validator. At present, I believe this has all the things we need for Computer Class. May have to re-open?

This is the "good enough," not "complete" validator. At present, I believe this has all the things we need for Computer Class. May have to re-open?
scott closed this issue 2024-06-04 17:30:39 +00:00
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Reference: twc/ludus#38
No description provided.