tri: the command line
You will learn
What tri test does, how tri hands other words to t27c, and which commands are its own.
In the gHashTag/t27 repository, scripts/tri is a small wrapper. tri test runs the conformance suite, t27c suite --repo-root .; a word tri does not know, such as gen or seal, is passed on to t27c. Its own commands include audit, recall, frontier, lesson and help. This lesson read the script and did not run it: native t27c is built on a Linux machine, and this course does not run it on yours.
Try it
Read the table and say which commands go to t27c and which stay inside tri.
Which tri commands run inside the script and which are handed to t27c, read from scripts/tri in gHashTag/t27. Lesson 24 of the t27 basics course.
specs/basics/24_tri_commands.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 24: tri: the command line.
; tri is the command the t27 repository uses to test, generate and check specs.
module basics_24_tri_commands;
pub const OWN_COMMANDS : [5]str = ["audit", "recall", "frontier", "lesson", "help"];
pub const PASSED_TO_T27C : [2]str = ["gen", "seal"];
pub const TEST_RUNS : str = "t27c suite --repo-root .";
test tri_test_runs_the_suite {
assert TEST_RUNS == "t27c suite --repo-root .";
assert OWN_COMMANDS[4] == "help";
assert PASSED_TO_T27C[1] == "seal";
}
All lessons
Module 1 · A spec file
What a .t27 file holds: a module line, prose lines and comments.
Module 2 · Values and types
Constants, the width of a whole number, and true, false and text.
Module 3 · Arrays, trits and expressions
Lists of values, the three values of a trit, and what operators compute.
Module 4 · Tests and functions
A test block, several small tests in one spec, and a function with typed inputs.
Module 5 · Inside a function
Names with let and var, choices with if and switch, and loops.
Module 6 · Visibility and your own types
What pub shares with other modules, and the structs and enums you declare.
Module 7 · Modules, rules and gen-ts
Reading another module, stating a rule that always holds, and a spec turned into TypeScript.
Module 8 · The compiler and tri
The backends t27c writes, the stages it reads a spec in, and the tri command.
Module 9 · Errors, a program, what next
Reading a compiler error, one small complete program, and the course to take next.