pi-lens 4.4.1 → 4.4.2
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/CHANGELOG.md +63 -0
- package/config/dependency-cruiser-eager-allowlist.json +3 -1
- package/dist/{chunk-BJF25SUG.js → chunk-23WOO7TX.js} +11 -10
- package/dist/{chunk-WATC3IQR.js → chunk-2B73ZPOK.js} +3 -3
- package/dist/{chunk-N2IRDBZI.js → chunk-2BBLFX75.js} +101 -11
- package/dist/{chunk-TA5L5KWQ.js → chunk-2CD5RS6M.js} +2 -2
- package/dist/{chunk-3TTPKMEF.js → chunk-2ZGIZPDG.js} +38 -37
- package/dist/{chunk-LNOMA3MP.js → chunk-34WSVGEM.js} +29 -3
- package/dist/chunk-3JNKMP3B.js +17 -0
- package/dist/{chunk-H2W2AXD3.js → chunk-3UUPUE3O.js} +41 -35
- package/dist/{chunk-6P54TMWL.js → chunk-3VPVG5SU.js} +6 -6
- package/dist/chunk-3WA4HP4I.js +55 -0
- package/dist/chunk-466Z26MG.js +30 -0
- package/dist/{chunk-PCHDGUKT.js → chunk-4UNXBNE2.js} +12 -11
- package/dist/{chunk-J7WJZ6W7.js → chunk-4W4VLAPJ.js} +12 -11
- package/dist/{chunk-F5VLZHUW.js → chunk-52FUZI6K.js} +4 -2
- package/dist/chunk-5JM2524W.js +84 -0
- package/dist/{chunk-H5EV3VMF.js → chunk-5NGR67U5.js} +2 -2
- package/dist/{chunk-YLN4K6WD.js → chunk-66SXUJCA.js} +6 -6
- package/dist/{chunk-LD7WFTRX.js → chunk-66VMUL7Q.js} +16 -16
- package/dist/{chunk-BHWHXMQ2.js → chunk-67WMNWEE.js} +9 -8
- package/dist/{chunk-USHG4DLH.js → chunk-6C7JWPCP.js} +7 -7
- package/dist/{chunk-VPWKF3GN.js → chunk-6GFRNVYR.js} +11 -10
- package/dist/{chunk-3JL6IFD7.js → chunk-6SDEP3AJ.js} +9 -8
- package/dist/{chunk-KJCWXUUS.js → chunk-724UL2TJ.js} +6 -4
- package/dist/{chunk-MQA2YBAH.js → chunk-76MWC2K6.js} +3 -3
- package/dist/{chunk-XHSCVSOL.js → chunk-7DYBLXYA.js} +3 -3
- package/dist/{chunk-AFZYMAIV.js → chunk-7ULNCDCO.js} +37 -35
- package/dist/{chunk-VSMJK3ZJ.js → chunk-AOHZU2BM.js} +1 -1
- package/dist/{chunk-ZETYB3XG.js → chunk-ARJ6PLFH.js} +44 -28
- package/dist/{chunk-T4QZ6FEH.js → chunk-AW7R2GWG.js} +65 -8
- package/dist/{chunk-GAYGGICG.js → chunk-BKE7E7TC.js} +10 -9
- package/dist/{chunk-EUT3B22Y.js → chunk-BRGDSBJE.js} +13 -12
- package/dist/{chunk-T54VJRAD.js → chunk-C34ZXZ7O.js} +55 -11
- package/dist/{chunk-CBD2B5CP.js → chunk-CF24OIYI.js} +21 -20
- package/dist/{chunk-UGSMCQ4D.js → chunk-CHOW74WE.js} +1 -1
- package/dist/{chunk-OZJINN4O.js → chunk-CO2G5PHH.js} +2 -2
- package/dist/{chunk-OC7LYAU5.js → chunk-EETY4LF7.js} +24 -10
- package/dist/{chunk-KJN4IOEJ.js → chunk-EJIUXPBX.js} +1 -1
- package/dist/{chunk-IQZXOZ7S.js → chunk-ESBQHFMJ.js} +549 -271
- package/dist/{chunk-CFYISHUW.js → chunk-FLKWCIZH.js} +8 -5
- package/dist/{chunk-IUKPRZER.js → chunk-GAEGEPOC.js} +2 -2
- package/dist/{chunk-6XX5HCLK.js → chunk-GBPP5P7X.js} +4 -4
- package/dist/{chunk-3FERWMCH.js → chunk-GHB6AYCP.js} +27 -26
- package/dist/{chunk-NFXP47RV.js → chunk-GOYRYZ2R.js} +26 -24
- package/dist/{chunk-TQFBZVCG.js → chunk-GXW6K4YJ.js} +1 -1
- package/dist/{chunk-N7YNJE5R.js → chunk-GZYBXISR.js} +9 -9
- package/dist/{chunk-3JSEWUWI.js → chunk-IBGIOBEE.js} +3 -3
- package/dist/{chunk-OYTMZXRF.js → chunk-IBRALRBR.js} +15 -14
- package/dist/{chunk-5JHXUETW.js → chunk-IXXDFY73.js} +3 -3
- package/dist/chunk-IZSHAIJ7.js +26 -0
- package/dist/{chunk-7ELY2CSM.js → chunk-JAU72XNY.js} +16 -14
- package/dist/chunk-JMYYOTQG.js +77 -0
- package/dist/{chunk-ELVWJYRV.js → chunk-JSQFTSC6.js} +12 -11
- package/dist/{chunk-3P4PF2BX.js → chunk-JWA5I3SR.js} +34 -20
- package/dist/{chunk-J6DFZDFA.js → chunk-KBG47GHP.js} +4 -4
- package/dist/{chunk-XGUL4SLQ.js → chunk-L3BLXZG7.js} +2 -2
- package/dist/chunk-LOP6GRPH.js +31 -0
- package/dist/chunk-MQLUAEOC.js +162 -0
- package/dist/{chunk-3MRXIJ6I.js → chunk-MRXKYPCS.js} +2 -2
- package/dist/{chunk-G3RLJYA2.js → chunk-N2H3ZPZY.js} +47 -1
- package/dist/{chunk-HREZQCT3.js → chunk-N3X6Q4YT.js} +3 -3
- package/dist/{chunk-NJF2X5XF.js → chunk-NW7BOILN.js} +19 -17
- package/dist/{chunk-ZZUFZUQZ.js → chunk-ODBNXWT4.js} +275 -90
- package/dist/{chunk-HSIRMK2D.js → chunk-OG5UUPN7.js} +13 -13
- package/dist/{chunk-ZOEYVXSV.js → chunk-OXXKQCSV.js} +6 -6
- package/dist/{chunk-S6AMWKPC.js → chunk-P7266HLM.js} +2 -2
- package/dist/{chunk-JONGANYH.js → chunk-PFNSLWU5.js} +31 -30
- package/dist/{chunk-64LU2OVH.js → chunk-PHDMFAKM.js} +12 -2
- package/dist/{chunk-IMSQR4WO.js → chunk-PNQDPDRC.js} +1 -1
- package/dist/{chunk-MTDRLSI7.js → chunk-PV6LR5P5.js} +5398 -1156
- package/dist/{chunk-N77WFUL7.js → chunk-Q6ZWTCLY.js} +24 -22
- package/dist/{chunk-IUR76K6A.js → chunk-Q7DUK4LX.js} +5 -5
- package/dist/{chunk-CULQYFLU.js → chunk-QGQ5CCCG.js} +2 -2
- package/dist/{chunk-UEAHAMEI.js → chunk-QHJ6DQ2R.js} +11 -11
- package/dist/{chunk-BNKLYOOO.js → chunk-QILIYSJF.js} +1 -1
- package/dist/{chunk-VYKKMYVT.js → chunk-QOBUHWHX.js} +11 -6
- package/dist/{chunk-3PNFWVHT.js → chunk-QQNQ7SJW.js} +2 -75
- package/dist/{chunk-OEX24ECI.js → chunk-QZVW3AAK.js} +50 -41
- package/dist/{chunk-7M4T5N3V.js → chunk-R3PCY3YS.js} +14 -13
- package/dist/{chunk-MGIWSROG.js → chunk-RPLINGVB.js} +7 -7
- package/dist/{chunk-CMU4RMJB.js → chunk-RWWYJ623.js} +10 -1
- package/dist/{chunk-7BX5DWSA.js → chunk-SAEFPSB6.js} +11 -11
- package/dist/{chunk-6UYA642J.js → chunk-TYM6OUIT.js} +13 -12
- package/dist/{chunk-ALQRYH6O.js → chunk-UXGETRP4.js} +13 -12
- package/dist/{chunk-FGALODG3.js → chunk-UZ3TUTRV.js} +1 -1
- package/dist/{chunk-J3FZR3YY.js → chunk-VCHXCQFG.js} +3 -3
- package/dist/{chunk-DMS52BEP.js → chunk-VITUCP5A.js} +5 -5
- package/dist/{chunk-O7HZX7CA.js → chunk-VRZP76YM.js} +1 -1
- package/dist/{chunk-VZHJS6DR.js → chunk-VSSBEUFT.js} +16 -15
- package/dist/{chunk-U52SAGRM.js → chunk-VWCXW2E7.js} +1 -1
- package/dist/{chunk-WW5BLB74.js → chunk-WOA4LN2R.js} +2 -2
- package/dist/{chunk-IR6XFA5P.js → chunk-WOKKRCJ5.js} +15 -14
- package/dist/{chunk-ZMOMPX2Z.js → chunk-WU567RSC.js} +11 -10
- package/dist/{chunk-WSEWKCXU.js → chunk-XCJN5IJU.js} +4 -4
- package/dist/{chunk-D65GOCJB.js → chunk-XKIZ2HNN.js} +15 -14
- package/dist/{chunk-OYOB3ZFG.js → chunk-XMSXXAHW.js} +2 -2
- package/dist/chunk-XPZPXCBV.js +28 -0
- package/dist/{chunk-34OCDWOS.js → chunk-XTMJ7XDT.js} +1 -1
- package/dist/{chunk-Z6BB4JLQ.js → chunk-XVF2VVXP.js} +5 -3
- package/dist/chunk-Z527N6YQ.js +28 -0
- package/dist/{chunk-D6YF5HKX.js → chunk-ZANLILYD.js} +22 -2
- package/dist/{chunk-2UMYMRI3.js → chunk-ZGDGW2V3.js} +2 -2
- package/dist/{chunk-6B5I6ICN.js → chunk-ZHFZWTZV.js} +12 -11
- package/dist/{chunk-AXKPQ6ZI.js → chunk-ZXYDQ3TZ.js} +5 -5
- package/dist/index.js +72740 -70136
- package/dist/mcp/analyze-cli.js +18 -8
- package/dist/mcp/cli.js +48 -37
- package/dist/mcp/server.js +564 -394
- package/dist/mcp/worker.js +66 -55
- package/dist/probes/installer.js +20 -19
- package/docs/astplayground.md +1 -1
- package/docs/configuration.md +29 -0
- package/docs/dependencies.md +3 -0
- package/docs/features.md +2 -2
- package/docs/globalconfig.md +2 -0
- package/docs/language-coverage.md +2 -1
- package/docs/lsp-capability-matrix.md +29 -7
- package/docs/lsp-idle-eviction.md +38 -47
- package/docs/pi-lens-fixer.md +4 -0
- package/docs/pi-lens-merge-policy.md +5 -0
- package/docs/pi-lens-retro.md +2 -1
- package/docs/pi-lens-reviewer.md +15 -0
- package/docs/pi-lens-subagent.md +2 -0
- package/docs/real-harness.md +17 -0
- package/docs/schema/pi-lens-config-v1.json +37 -2
- package/docs/servercapabilities.md +15 -4
- package/docs/settings.md +2 -1
- package/package.json +1 -1
- package/dist/chunk-2FQ62SPM.js +0 -83
- package/dist/chunk-7AXO3ZDF.js +0 -30
- package/dist/chunk-KMGPUKFD.js +0 -25
- package/dist/chunk-RJFED73B.js +0 -79
- package/dist/chunk-RTQNRM5X.js +0 -27
- package/dist/chunk-V5MEBST3.js +0 -4139
- package/dist/chunk-VGEVL5EQ.js +0 -29
- package/dist/chunk-WPE5FPGR.js +0 -54
- package/dist/chunk-Z7QQA2KT.js +0 -27
|
@@ -4,46 +4,46 @@ import {
|
|
|
4
4
|
} from "./chunk-7U2IDNXN.js";
|
|
5
5
|
import {
|
|
6
6
|
getScratchTreeFnmatchPatterns
|
|
7
|
-
} from "./chunk-
|
|
7
|
+
} from "./chunk-VCHXCQFG.js";
|
|
8
8
|
import {
|
|
9
9
|
formatToolFailure
|
|
10
|
-
} from "./chunk-
|
|
10
|
+
} from "./chunk-2CD5RS6M.js";
|
|
11
11
|
import {
|
|
12
12
|
firstOutputLine,
|
|
13
13
|
spawnFailedWithNoOutput
|
|
14
|
-
} from "./chunk-
|
|
14
|
+
} from "./chunk-UZ3TUTRV.js";
|
|
15
15
|
import {
|
|
16
16
|
listNestedLinkedWorktreeRoots
|
|
17
|
-
} from "./chunk-
|
|
17
|
+
} from "./chunk-PNQDPDRC.js";
|
|
18
18
|
import {
|
|
19
19
|
extractTomlTableSection,
|
|
20
20
|
parseTomlStringArray
|
|
21
|
-
} from "./chunk-
|
|
21
|
+
} from "./chunk-P7266HLM.js";
|
|
22
22
|
import {
|
|
23
23
|
VENV_BIN_DIRS,
|
|
24
24
|
findLocalBinsAt
|
|
25
|
-
} from "./chunk-
|
|
25
|
+
} from "./chunk-AW7R2GWG.js";
|
|
26
26
|
import {
|
|
27
27
|
probeToolAsync
|
|
28
|
-
} from "./chunk-
|
|
28
|
+
} from "./chunk-RWWYJ623.js";
|
|
29
29
|
import {
|
|
30
30
|
classifyProbeFailure,
|
|
31
31
|
createAvailabilityLatch,
|
|
32
32
|
logAvailabilityDecision,
|
|
33
33
|
startHostStallSampler
|
|
34
|
-
} from "./chunk-
|
|
34
|
+
} from "./chunk-VRZP76YM.js";
|
|
35
35
|
import {
|
|
36
36
|
safeSpawnAsync
|
|
37
|
-
} from "./chunk-
|
|
37
|
+
} from "./chunk-C34ZXZ7O.js";
|
|
38
38
|
import {
|
|
39
39
|
incrementDegradationCount
|
|
40
|
-
} from "./chunk-
|
|
40
|
+
} from "./chunk-JAU72XNY.js";
|
|
41
41
|
import {
|
|
42
42
|
createSubsystemLogger
|
|
43
|
-
} from "./chunk-
|
|
43
|
+
} from "./chunk-XTMJ7XDT.js";
|
|
44
44
|
import {
|
|
45
45
|
findNearestMarkerRoot
|
|
46
|
-
} from "./chunk-
|
|
46
|
+
} from "./chunk-N2H3ZPZY.js";
|
|
47
47
|
|
|
48
48
|
// dist/clients/dead-code-client.js
|
|
49
49
|
import * as fs from "node:fs";
|
|
@@ -203,7 +203,7 @@ var PythonDeadCodeClient = class {
|
|
|
203
203
|
return findLocalBinsAt(["vulture"], root, {
|
|
204
204
|
windowsExt: ".exe",
|
|
205
205
|
binDirs: VENV_BIN_DIRS
|
|
206
|
-
}).
|
|
206
|
+
}).flatMap((full) => typeof full === "string" ? [{ cmd: full, prefix: [] }] : []);
|
|
207
207
|
}
|
|
208
208
|
async doEnsureAvailable(root) {
|
|
209
209
|
const candidates = [
|
|
@@ -1,17 +1,17 @@
|
|
|
1
1
|
import { createRequire as __pilensCreateRequire } from "node:module"; const require = __pilensCreateRequire(import.meta.url);
|
|
2
|
-
import {
|
|
3
|
-
assertInstallAllowed
|
|
4
|
-
} from "./chunk-D6YF5HKX.js";
|
|
5
2
|
import {
|
|
6
3
|
classifyProbeFailure,
|
|
7
4
|
installRetryDelayMs
|
|
8
|
-
} from "./chunk-
|
|
5
|
+
} from "./chunk-VRZP76YM.js";
|
|
9
6
|
import {
|
|
10
7
|
safeSpawnAsync
|
|
11
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-C34ZXZ7O.js";
|
|
9
|
+
import {
|
|
10
|
+
assertInstallAllowed
|
|
11
|
+
} from "./chunk-ZANLILYD.js";
|
|
12
12
|
import {
|
|
13
13
|
logExtension
|
|
14
|
-
} from "./chunk-
|
|
14
|
+
} from "./chunk-XTMJ7XDT.js";
|
|
15
15
|
|
|
16
16
|
// dist/clients/dispatch/runners/utils/lazy-installer.js
|
|
17
17
|
var LAZY_INSTALL_SPECS = {
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
import { createRequire as __pilensCreateRequire } from "node:module"; const require = __pilensCreateRequire(import.meta.url);
|
|
2
2
|
import {
|
|
3
3
|
logExtension
|
|
4
|
-
} from "./chunk-
|
|
4
|
+
} from "./chunk-XTMJ7XDT.js";
|
|
5
5
|
import {
|
|
6
6
|
findNearestMarkerRoot,
|
|
7
7
|
isAtOrAboveHomeDir
|
|
8
|
-
} from "./chunk-
|
|
8
|
+
} from "./chunk-N2H3ZPZY.js";
|
|
9
9
|
|
|
10
10
|
// dist/clients/cargo-manifest.js
|
|
11
11
|
import { readFile } from "node:fs/promises";
|
|
@@ -2,56 +2,57 @@ import { createRequire as __pilensCreateRequire } from "node:module"; const requ
|
|
|
2
2
|
import {
|
|
3
3
|
createAvailabilityChecker,
|
|
4
4
|
resolveAvailableOrInstall
|
|
5
|
-
} from "./chunk-
|
|
5
|
+
} from "./chunk-GOYRYZ2R.js";
|
|
6
6
|
import {
|
|
7
7
|
ruffConfigArgs
|
|
8
|
-
} from "./chunk-
|
|
9
|
-
import "./chunk-
|
|
10
|
-
import "./chunk-
|
|
11
|
-
import "./chunk-
|
|
12
|
-
import "./chunk-
|
|
8
|
+
} from "./chunk-RPLINGVB.js";
|
|
9
|
+
import "./chunk-ESBQHFMJ.js";
|
|
10
|
+
import "./chunk-34WSVGEM.js";
|
|
11
|
+
import "./chunk-VWCXW2E7.js";
|
|
12
|
+
import "./chunk-ZXYDQ3TZ.js";
|
|
13
|
+
import "./chunk-724UL2TJ.js";
|
|
13
14
|
import "./chunk-QOZXJ4NA.js";
|
|
14
|
-
import "./chunk-
|
|
15
|
-
import "./chunk-
|
|
16
|
-
import "./chunk-
|
|
17
|
-
import "./chunk-
|
|
18
|
-
import "./chunk-IUKPRZER.js";
|
|
15
|
+
import "./chunk-P7266HLM.js";
|
|
16
|
+
import "./chunk-52FUZI6K.js";
|
|
17
|
+
import "./chunk-SAEFPSB6.js";
|
|
18
|
+
import "./chunk-GAEGEPOC.js";
|
|
19
19
|
import "./chunk-Z3CCVDUB.js";
|
|
20
20
|
import "./chunk-2BEMIWEW.js";
|
|
21
|
-
import "./chunk-
|
|
21
|
+
import "./chunk-66VMUL7Q.js";
|
|
22
22
|
import {
|
|
23
23
|
resolveToolCwd
|
|
24
|
-
} from "./chunk-
|
|
25
|
-
import "./chunk-
|
|
26
|
-
import "./chunk-
|
|
27
|
-
import "./chunk-
|
|
28
|
-
import "./chunk-
|
|
29
|
-
import "./chunk-
|
|
30
|
-
import "./chunk-
|
|
31
|
-
import "./chunk-
|
|
32
|
-
import "./chunk-H5EV3VMF.js";
|
|
24
|
+
} from "./chunk-Q7DUK4LX.js";
|
|
25
|
+
import "./chunk-AW7R2GWG.js";
|
|
26
|
+
import "./chunk-RWWYJ623.js";
|
|
27
|
+
import "./chunk-VRZP76YM.js";
|
|
28
|
+
import "./chunk-QOBUHWHX.js";
|
|
29
|
+
import "./chunk-QILIYSJF.js";
|
|
30
|
+
import "./chunk-6C7JWPCP.js";
|
|
31
|
+
import "./chunk-5NGR67U5.js";
|
|
33
32
|
import {
|
|
34
33
|
safeSpawnAsync
|
|
35
|
-
} from "./chunk-
|
|
34
|
+
} from "./chunk-C34ZXZ7O.js";
|
|
36
35
|
import "./chunk-BW5KFIQC.js";
|
|
37
36
|
import "./chunk-QYF5S6P6.js";
|
|
38
37
|
import {
|
|
39
38
|
isFileKind
|
|
40
|
-
} from "./chunk-
|
|
41
|
-
import "./chunk-
|
|
42
|
-
import "./chunk-
|
|
39
|
+
} from "./chunk-PHDMFAKM.js";
|
|
40
|
+
import "./chunk-2BBLFX75.js";
|
|
41
|
+
import "./chunk-XVF2VVXP.js";
|
|
42
|
+
import "./chunk-ZANLILYD.js";
|
|
43
43
|
import "./chunk-2EECBNC5.js";
|
|
44
|
-
import "./chunk-
|
|
44
|
+
import "./chunk-JAU72XNY.js";
|
|
45
45
|
import {
|
|
46
46
|
createSubsystemLogger
|
|
47
|
-
} from "./chunk-
|
|
48
|
-
import "./chunk-
|
|
49
|
-
import "./chunk-
|
|
47
|
+
} from "./chunk-XTMJ7XDT.js";
|
|
48
|
+
import "./chunk-JMYYOTQG.js";
|
|
49
|
+
import "./chunk-QQNQ7SJW.js";
|
|
50
|
+
import "./chunk-AOHZU2BM.js";
|
|
50
51
|
import "./chunk-LJDODBBZ.js";
|
|
51
52
|
import "./chunk-ABBOA7UD.js";
|
|
52
53
|
import {
|
|
53
54
|
pathsEqual
|
|
54
|
-
} from "./chunk-
|
|
55
|
+
} from "./chunk-N2H3ZPZY.js";
|
|
55
56
|
import "./chunk-NXL4FFQQ.js";
|
|
56
57
|
|
|
57
58
|
// dist/clients/ruff-client.js
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import { createRequire as __pilensCreateRequire } from "node:module"; const require = __pilensCreateRequire(import.meta.url);
|
|
2
2
|
import {
|
|
3
3
|
findNearestDirWithMarker
|
|
4
|
-
} from "./chunk-
|
|
4
|
+
} from "./chunk-XVF2VVXP.js";
|
|
5
5
|
import {
|
|
6
6
|
isWindowsPath
|
|
7
|
-
} from "./chunk-
|
|
7
|
+
} from "./chunk-N2H3ZPZY.js";
|
|
8
8
|
|
|
9
9
|
// dist/clients/file-kinds.js
|
|
10
10
|
import { basename, extname, win32 } from "node:path";
|
|
@@ -78,6 +78,7 @@ var KIND_EXTENSIONS = {
|
|
|
78
78
|
".vue"
|
|
79
79
|
],
|
|
80
80
|
kotlin: [".kt", ".kts"],
|
|
81
|
+
lean: [".lean"],
|
|
81
82
|
lua: [".lua"],
|
|
82
83
|
markdown: [".md", ".mdx"],
|
|
83
84
|
nix: [".nix"],
|
|
@@ -117,6 +118,11 @@ function isReadableSourceFile(filePath) {
|
|
|
117
118
|
const extension = extname(filePath).toLowerCase();
|
|
118
119
|
return Object.keys(KIND_EXTENSIONS).some((kind) => hasKindExtension(filePath, kind)) || NON_KIND_READABLE_EXTENSIONS.has(extension);
|
|
119
120
|
}
|
|
121
|
+
var LEAN_ROOT_MARKERS = [
|
|
122
|
+
"lakefile.lean",
|
|
123
|
+
"lakefile.toml",
|
|
124
|
+
"lean-toolchain"
|
|
125
|
+
];
|
|
120
126
|
var DOTNET_CSHARP_ROOT_MARKERS = [
|
|
121
127
|
"*.csproj",
|
|
122
128
|
"*.sln",
|
|
@@ -206,6 +212,7 @@ var CODE_KINDS = /* @__PURE__ */ new Set([
|
|
|
206
212
|
"java",
|
|
207
213
|
"jsts",
|
|
208
214
|
"kotlin",
|
|
215
|
+
"lean",
|
|
209
216
|
"lua",
|
|
210
217
|
"nix",
|
|
211
218
|
"ocaml",
|
|
@@ -259,6 +266,7 @@ function getFileKindLabel(kind) {
|
|
|
259
266
|
fsharp: "F#",
|
|
260
267
|
java: "Java",
|
|
261
268
|
kotlin: "Kotlin",
|
|
269
|
+
lean: "Lean 4",
|
|
262
270
|
swift: "Swift",
|
|
263
271
|
dart: "Dart",
|
|
264
272
|
lua: "Lua",
|
|
@@ -302,6 +310,7 @@ function getLanguageId(kind) {
|
|
|
302
310
|
fsharp: "fsharp",
|
|
303
311
|
java: "java",
|
|
304
312
|
kotlin: "kotlin",
|
|
313
|
+
lean: "lean",
|
|
305
314
|
swift: "swift",
|
|
306
315
|
dart: "dart",
|
|
307
316
|
lua: "lua",
|
|
@@ -325,6 +334,7 @@ export {
|
|
|
325
334
|
KIND_EXTENSIONS,
|
|
326
335
|
isJstsFactFile,
|
|
327
336
|
isReadableSourceFile,
|
|
337
|
+
LEAN_ROOT_MARKERS,
|
|
328
338
|
DOTNET_CSHARP_ROOT_MARKERS,
|
|
329
339
|
DOTNET_FSHARP_ROOT_MARKERS,
|
|
330
340
|
TERRAGRUNT_FILENAMES,
|