truecourse 0.6.0-next.4 → 0.6.0-next.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/cli.mjs +15 -8
- package/package.json +1 -1
- package/server.mjs +1 -1
package/cli.mjs
CHANGED
|
@@ -128242,7 +128242,7 @@ function readToolVersion() {
|
|
|
128242
128242
|
if (cachedVersion)
|
|
128243
128243
|
return cachedVersion;
|
|
128244
128244
|
if (true) {
|
|
128245
|
-
cachedVersion = "0.6.0-next.
|
|
128245
|
+
cachedVersion = "0.6.0-next.5";
|
|
128246
128246
|
return cachedVersion;
|
|
128247
128247
|
}
|
|
128248
128248
|
try {
|
|
@@ -149106,13 +149106,15 @@ async function runContractsGenerate(options = {}) {
|
|
|
149106
149106
|
const repairModel = resolveModel("contract.repair", void 0, repoRoot5);
|
|
149107
149107
|
const fallbackModel = resolveFallbackModel(repoRoot5) ?? void 0;
|
|
149108
149108
|
let totalSlices = 0;
|
|
149109
|
-
let
|
|
149109
|
+
let doneSlices = 0;
|
|
149110
149110
|
const runner = spawnRunner2({
|
|
149111
149111
|
concurrency,
|
|
149112
149112
|
model: extractModel,
|
|
149113
149113
|
fallbackModel,
|
|
149114
|
-
|
|
149115
|
-
O2.step(
|
|
149114
|
+
onSliceDone: (s, ok) => {
|
|
149115
|
+
O2.step(
|
|
149116
|
+
`extracted ${++doneSlices}/${totalSlices} ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}${ok ? "" : " (failed)"}`
|
|
149117
|
+
);
|
|
149116
149118
|
}
|
|
149117
149119
|
});
|
|
149118
149120
|
let result;
|
|
@@ -149126,7 +149128,7 @@ async function runContractsGenerate(options = {}) {
|
|
|
149126
149128
|
totalSlices = t2;
|
|
149127
149129
|
},
|
|
149128
149130
|
onSliceCacheHit: (s) => {
|
|
149129
|
-
O2.message(` cache hit ${++
|
|
149131
|
+
O2.message(` cache hit ${++doneSlices}/${totalSlices} ${s.specPath} :: ${s.headingPath.join(" \u2192 ")}`, { symbol: "\xB7" });
|
|
149130
149132
|
}
|
|
149131
149133
|
});
|
|
149132
149134
|
} catch (e) {
|
|
@@ -149159,13 +149161,18 @@ async function runContractsGenerate(options = {}) {
|
|
|
149159
149161
|
for (const d3 of result.mergeDiagnostics) {
|
|
149160
149162
|
O2.warn(d3.message);
|
|
149161
149163
|
}
|
|
149164
|
+
const LIST_CAP = 20;
|
|
149165
|
+
const printFileList = (files, marker) => {
|
|
149166
|
+
for (const f2 of files.slice(0, LIST_CAP)) console.log(` ${marker} ${path54.relative(repoRoot5, f2)}`);
|
|
149167
|
+
if (files.length > LIST_CAP) console.log(` \u2026 and ${files.length - LIST_CAP} more`);
|
|
149168
|
+
};
|
|
149162
149169
|
if (options.diff) {
|
|
149163
149170
|
if (result.write.proposed.length === 0) {
|
|
149164
149171
|
gt("No changes \u2014 every contract is already up to date.");
|
|
149165
149172
|
return;
|
|
149166
149173
|
}
|
|
149167
149174
|
O2.info(`Would write ${result.write.proposed.length} file${result.write.proposed.length === 1 ? "" : "s"}:`);
|
|
149168
|
-
|
|
149175
|
+
printFileList(result.write.proposed, "+");
|
|
149169
149176
|
gt("Run `truecourse contracts generate` to apply.");
|
|
149170
149177
|
return;
|
|
149171
149178
|
}
|
|
@@ -149175,7 +149182,7 @@ async function runContractsGenerate(options = {}) {
|
|
|
149175
149182
|
return;
|
|
149176
149183
|
}
|
|
149177
149184
|
O2.success(`Wrote ${result.write.written.length} contract file${result.write.written.length === 1 ? "" : "s"}.`);
|
|
149178
|
-
|
|
149185
|
+
printFileList(result.write.written, "\u2022");
|
|
149179
149186
|
syncShippedTcSyntax();
|
|
149180
149187
|
gt(`Run \`truecourse verify\` to check code against the new contracts.`);
|
|
149181
149188
|
}
|
|
@@ -152788,7 +152795,7 @@ async function runHooksRun() {
|
|
|
152788
152795
|
|
|
152789
152796
|
// tools/cli/src/index.ts
|
|
152790
152797
|
var program2 = new Command();
|
|
152791
|
-
program2.name("truecourse").version("0.6.0-next.
|
|
152798
|
+
program2.name("truecourse").version("0.6.0-next.5").description("TrueCourse CLI \u2014 analyze your repository and open the dashboard");
|
|
152792
152799
|
var dashboardCmd = program2.command("dashboard").description("Start the TrueCourse dashboard and open it in your browser").option("--reconfigure", "Re-prompt for console vs background service mode").option("--service", "Run as a background service (skips mode prompt)").option("--console", "Run in this terminal (skips mode prompt)").action(async (options) => {
|
|
152793
152800
|
if (options.service && options.console) {
|
|
152794
152801
|
console.error("error: --service and --console are mutually exclusive");
|
package/package.json
CHANGED
package/server.mjs
CHANGED
|
@@ -156920,7 +156920,7 @@ function readToolVersion() {
|
|
|
156920
156920
|
if (cachedVersion)
|
|
156921
156921
|
return cachedVersion;
|
|
156922
156922
|
if (true) {
|
|
156923
|
-
cachedVersion = "0.6.0-next.
|
|
156923
|
+
cachedVersion = "0.6.0-next.5";
|
|
156924
156924
|
return cachedVersion;
|
|
156925
156925
|
}
|
|
156926
156926
|
try {
|