Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .changeset/brave-projects-build.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler-cli': major
'@silk-lang/compiler-cli': major
---

Replace the single `silk compile` workflow with the project-oriented `build`, `check`, and `run`
Expand Down
2 changes: 1 addition & 1 deletion .changeset/bright-trees-parse.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add the first lossless concrete syntax tree, deterministic parser diagnostics, and recoverable
Expand Down
2 changes: 1 addition & 1 deletion .changeset/brisk-names-collect.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Replace singular semantic fields with ordered function facts, closed declaration-name lookup, and
Expand Down
2 changes: 1 addition & 1 deletion .changeset/calm-files-walk.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add the root-confined native `OsFileSystem` provider, opaque affine OS handles, injected evaluator
Expand Down
2 changes: 1 addition & 1 deletion .changeset/calm-rivers-lex.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Introduce the bootstrap compiler package with immutable byte-oriented sources, source-owned spans,
Expand Down
2 changes: 1 addition & 1 deletion .changeset/clear-calls-resolve.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Resolve top-level zero-argument calls, propagate declared result types, and diagnose unknown function names.
2 changes: 1 addition & 1 deletion .changeset/deep-facts-analyze.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Analyze nested call arguments as recursive semantic expression facts and report a precise temporary
Expand Down
2 changes: 1 addition & 1 deletion .changeset/gentle-calls-parse.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Parse lossless zero-argument call expressions and publish closed integer-or-unresolved-call return facts.
2 changes: 1 addition & 1 deletion .changeset/intrinsics-know-targets.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Enforce reachable-only target availability for sealed compiler intrinsics and expose deterministic executable intrinsic inventories.
2 changes: 1 addition & 1 deletion .changeset/llvm-effect-contract.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/llvm': major
'@silk-lang/llvm': major
---

Add the LLVM-specific `LlvmError` contract, make expected validation and state-transition failures
Expand Down
2 changes: 1 addition & 1 deletion .changeset/llvm-structural-cleanup.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/llvm': patch
'@silk-lang/llvm': patch
---

Restructure the builder's internal state: collapse the parallel description/handle/key arrays into
Expand Down
2 changes: 1 addition & 1 deletion .changeset/nested-values-evaluate.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Evaluate nested call expressions left to right with exact recursive results, blocked reasons,
Expand Down
2 changes: 1 addition & 1 deletion .changeset/olive-moons-compile.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add a WebAssembly backend satisfying the nominal `Backend` service, emitting structured control
Expand Down
2 changes: 1 addition & 1 deletion .changeset/portable-files-serve.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add owned normalized `Path`, allocation-free portable filesystem values and failures, and the
Expand Down
2 changes: 1 addition & 1 deletion .changeset/portable-logs-observe.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add source-defined portable semantic logging with explicit Logger requirements, complete borrowed
Expand Down
10 changes: 5 additions & 5 deletions .changeset/quiet-fences-format.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
'@silk-effect/compiler': minor
'@silk-effect/documentation': minor
'@silk-effect/formatter': minor
'@silk-effect/compiler-cli': minor
'@silk-effect/lsp': minor
'@silk-lang/compiler': minor
'@silk-lang/documentation': minor
'@silk-lang/formatter': minor
'@silk-lang/compiler-cli': minor
'@silk-lang/lsp': minor
---

Format active fenced Silk modules inside source-owned documentation through one canonical formatter
Expand Down
2 changes: 1 addition & 1 deletion .changeset/rooted-source-resolution.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': major
'@silk-lang/compiler': major
---

Replace preloaded source maps with an explicit root `SourceFile` and the injectable
Expand Down
2 changes: 1 addition & 1 deletion .changeset/silk-language-package.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/language': minor
'@silk-lang/language': minor
---

New package: editor language support for Silk. A CodeMirror 6 extension whose highlighting is
Expand Down
2 changes: 1 addition & 1 deletion .changeset/silk-lsp-server.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/lsp': minor
'@silk-lang/lsp': minor
---

Add the Silk Effect language server: a stdio LSP binary serving whole-phase diagnostics, expression
Expand Down
2 changes: 1 addition & 1 deletion .changeset/silky-tools-compile.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler-cli': minor
'@silk-lang/compiler-cli': minor
---

Add the `silk` command line interface built on Effect's CLI primitives. `silk compile` runs the
Expand Down
10 changes: 5 additions & 5 deletions .changeset/smooth-docs-hover.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
'@silk-effect/compiler': minor
'@silk-effect/compiler-cli': minor
'@silk-effect/documentation': minor
'@silk-effect/language': minor
'@silk-effect/lsp': minor
'@silk-lang/compiler': minor
'@silk-lang/compiler-cli': minor
'@silk-lang/documentation': minor
'@silk-lang/language': minor
'@silk-lang/lsp': minor
---

Add raw `///` and `//!` documentation source facts, lazy CommonMark documentation models,
Expand Down
2 changes: 1 addition & 1 deletion .changeset/soft-scopes-resolve.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Resolve bootstrap parameter declarations and bare identifier expressions within their owning function, including exact identities, declared types, lookup outcomes, provenance, and deterministic diagnostics.
2 changes: 1 addition & 1 deletion .changeset/steady-calls-check.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Publish ordered call arguments, positional target-parameter mappings, explicit call-contract outcomes, and deterministic wrong-arity diagnostics.
2 changes: 1 addition & 1 deletion .changeset/swift-facts-analyze.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add immutable semantic facts, declaration lookup, and phase-owned diagnostics for the first
Expand Down
2 changes: 1 addition & 1 deletion .changeset/tall-nests-parse.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Parse recursively nested call arguments as lossless concrete syntax while preserving an explicit
Expand Down
2 changes: 1 addition & 1 deletion .changeset/tidy-functions-repeat.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Parse one or more public bootstrap functions as ordered lossless concrete branches while keeping
Expand Down
2 changes: 1 addition & 1 deletion .changeset/tiny-values-evaluate.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Add closed bootstrap evaluation for reachable `main: I32` programs, with exact results, positional parameter frames, deterministic traces, and bounded recursive-cycle outcomes.
2 changes: 1 addition & 1 deletion .changeset/warm-values-parse.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/compiler': minor
'@silk-lang/compiler': minor
---

Parse typed bootstrap parameters, bare identifier expressions, and integer or identifier call arguments as lossless recoverable syntax.
4 changes: 2 additions & 2 deletions .changeset/wasm-builder-core.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
'@silk-effect/wasm': patch
'@silk-lang/wasm': patch
---

Introduce `@silk-effect/wasm`: Effect-native WebAssembly module construction with instructions as
Introduce `@silk-lang/wasm`: Effect-native WebAssembly module construction with instructions as
plain data, handle-based index spaces resolved at emission, full specification validation at
define and emit time, and deterministic `.wat` text and `.wasm` binary output verified against a
pinned `wasm-tools` oracle. Baseline: core 2.0 plus tail calls, extended constant expressions,
Expand Down
4 changes: 2 additions & 2 deletions .changeset/wasm-bulk-instruction-families.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
'@silk-effect/wasm': patch
'@silk-lang/wasm': patch
---

Add the bulk instruction families to `@silk-effect/wasm`: fixed-width SIMD and relaxed SIMD
Add the bulk instruction families to `@silk-lang/wasm`: fixed-width SIMD and relaxed SIMD
(`v128.const`, shuffles, lane operations, and the full `0xFD` family), threads (shared memories
and the `0xFE` atomic family with exact-alignment validation), and memory64 (64-bit addressed
memories and tables threaded through validation, limits, and both emitters). Baseline modules
Expand Down
4 changes: 2 additions & 2 deletions .changeset/wasm-exceptions-branch-hints.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
'@silk-effect/wasm': patch
'@silk-lang/wasm': patch
---

Add exception handling and branch hinting to `@silk-effect/wasm`: exception tags as a new
Add exception handling and branch hinting to `@silk-lang/wasm`: exception tags as a new
importable/exportable entity kind, the `exnref` reference type, `throw`/`throw_ref`/`try_table`
with all four catch-clause kinds, tag names in the name section, and optional likely/unlikely
hints on `br_if`/`if` emitted as the `metadata.code.branch_hint` custom section and text
Expand Down
4 changes: 2 additions & 2 deletions .changeset/wasm-gc-typed-refs.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
'@silk-effect/wasm': patch
'@silk-lang/wasm': patch
---

Add GC and typed function references to `@silk-effect/wasm`, completing the Chrome-unflagged
Add GC and typed function references to `@silk-lang/wasm`, completing the Chrome-unflagged
feature surface: parameterized reference types with abstract and concrete heap types, struct
and array types in canonicalized recursive groups with declared supertypes, subtype-aware
validation, the GC/cast/typed-call instruction set, and type names. `ValType.RefType` changes
Expand Down
2 changes: 1 addition & 1 deletion .changeset/webcontainers-run-effect.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
'@silk-effect/platform-webcontainer': major
'@silk-lang/platform-webcontainer': major
---

Add an Effect-native WebContainer platform package with a scoped runtime, standard virtual
Expand Down
4 changes: 2 additions & 2 deletions .claude/launch.json
Original file line number Diff line number Diff line change
Expand Up @@ -4,14 +4,14 @@
{
"name": "docs",
"runtimeExecutable": "pnpm",
"runtimeArgs": ["--filter", "@silk-effect/docs", "dev"],
"runtimeArgs": ["--filter", "@silk-lang/docs", "dev"],
"port": 3000,
"autoPort": true
},
{
"name": "docs-next",
"runtimeExecutable": "pnpm",
"runtimeArgs": ["--filter", "@silk-effect/docs", "exec", "next", "dev"],
"runtimeArgs": ["--filter", "@silk-lang/docs", "exec", "next", "dev"],
"port": 3000,
"autoPort": true
}
Expand Down
4 changes: 2 additions & 2 deletions .github/scripts/publish-with-oidc-guard.test.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ function fakeSpawn({ stdout = '', stderr = '', code = 0 }) {
}

test('forwards publish output', async () => {
const output = 'New tag: @silk-effect/llvm@0.1.0\n'
const output = 'New tag: @silk-lang/llvm@0.1.0\n'
let seen = ''
const code = await runPublish('pnpm', ['run', 'release:publish'], {
onOutput: (chunk) => {
Expand All @@ -39,7 +39,7 @@ test('forwards publish output', async () => {

test('passes through a clean publish', async () => {
const result = await publishWithGuard({
spawnImpl: fakeSpawn({ stdout: 'New tag: @silk-effect/llvm@0.1.0\n' }),
spawnImpl: fakeSpawn({ stdout: 'New tag: @silk-lang/llvm@0.1.0\n' }),
})

assert.deepEqual(result, { exitCode: 0, skippedOidc: false })
Expand Down
8 changes: 4 additions & 4 deletions .github/scripts/verify-release-trust.test.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,11 @@ const trusted = {
}

test('accepts a trusted publish with provenance', () => {
assert.deepEqual(checkManifest('@silk-effect/llvm', '0.1.0', trusted), [])
assert.deepEqual(checkManifest('@silk-lang/llvm', '0.1.0', trusted), [])
})

test('rejects an untrusted publish without provenance', () => {
const failures = checkManifest('@silk-effect/llvm', '0.1.0', {
const failures = checkManifest('@silk-lang/llvm', '0.1.0', {
version: '0.1.0',
_npmUser: { name: 'manual' },
})
Expand All @@ -27,7 +27,7 @@ test('reads the requested version from the registry packument', async () => {
ok: true,
json: async () => ({ versions: { '0.1.0': trusted } }),
})
const manifest = await fetchRegistryManifest('@silk-effect/llvm', '0.1.0', { fetchImpl })
const manifest = await fetchRegistryManifest('@silk-lang/llvm', '0.1.0', { fetchImpl })

assert.equal(manifest.version, '0.1.0')
})
Expand All @@ -36,7 +36,7 @@ test('surfaces registry errors', async () => {
const fetchImpl = async () => ({ ok: false, status: 503 })

await assert.rejects(
() => fetchRegistryManifest('@silk-effect/llvm', '0.1.0', { fetchImpl }),
() => fetchRegistryManifest('@silk-lang/llvm', '0.1.0', { fetchImpl }),
/returned 503/u,
)
})
24 changes: 12 additions & 12 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,16 +40,16 @@ jobs:
- run: pnpm exec biome check .
- run: node scripts/turbo.mjs run build
- run: node scripts/turbo.mjs run typecheck
- run: node scripts/turbo.mjs run test --filter='!@silk-effect/compiler'
# The non-vitest parts of @silk-effect/compiler#test (its vitest payload is sharded below).
- run: node scripts/turbo.mjs run test --filter='!@silk-lang/compiler'
# The non-vitest parts of @silk-lang/compiler#test (its vitest payload is sharded below).
- run: |
pnpm --filter @silk-effect/compiler run unicode:check
pnpm --filter @silk-effect/compiler run stdlib:check
pnpm --filter @silk-effect/compiler run toolchain:check
pnpm --filter @silk-effect/compiler run documentation:policy
pnpm --filter @silk-effect/compiler run documentation:check
pnpm --filter @silk-effect/compiler run documentation:examples
- run: pnpm --filter @silk-effect/compiler run test:native-acceptance
pnpm --filter @silk-lang/compiler run unicode:check
pnpm --filter @silk-lang/compiler run stdlib:check
pnpm --filter @silk-lang/compiler run toolchain:check
pnpm --filter @silk-lang/compiler run documentation:policy
pnpm --filter @silk-lang/compiler run documentation:check
pnpm --filter @silk-lang/compiler run documentation:examples
- run: pnpm --filter @silk-lang/compiler run test:native-acceptance
- run: pnpm test:scripts
- run: pnpm release:candidate

Expand Down Expand Up @@ -86,7 +86,7 @@ jobs:
# Mirrors test:parallel's flags; `pnpm --filter … run script -- args` drops the args
# (observed in run 33014303799: every shard ran the full suite), so invoke vitest directly.
- run: >
pnpm --filter @silk-effect/compiler exec vitest run
pnpm --filter @silk-lang/compiler exec vitest run
--passWithNoTests --exclude test/DriverNativeAcceptance.test.ts
--shard=${{ matrix.shard }}/4
--reporter=default --reporter=json
Expand All @@ -110,5 +110,5 @@ jobs:
node-version: 24
cache: pnpm
- run: pnpm install --frozen-lockfile
- run: pnpm --filter @silk-effect/platform-webcontainer exec playwright install --with-deps chromium
- run: pnpm --filter @silk-effect/platform-webcontainer test:browser
- run: pnpm --filter @silk-lang/platform-webcontainer exec playwright install --with-deps chromium
- run: pnpm --filter @silk-lang/platform-webcontainer test:browser
4 changes: 2 additions & 2 deletions .vscode/tasks.json
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
{
"label": "Silk: Build language server",
"type": "shell",
"command": "pnpm --filter @silk-effect/lsp run build",
"command": "pnpm --filter @silk-lang/lsp run build",
"options": {
"cwd": "${workspaceFolder}"
},
Expand Down Expand Up @@ -56,7 +56,7 @@
{
"label": "Silk: Watch language server",
"type": "shell",
"command": "pnpm --filter @silk-effect/lsp run dev",
"command": "pnpm --filter @silk-lang/lsp run dev",
"options": {
"cwd": "${workspaceFolder}"
},
Expand Down
2 changes: 1 addition & 1 deletion AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@ public actor, add its explicit package subpath export and prefer the deep import

```ts
import * as Effect from 'effect/Effect'
import * as Target from '@silk-effect/llvm/Target'
import * as Target from '@silk-lang/llvm/Target'
```

Avoid a growing destructured import from the package barrel.
Expand Down
Loading
Loading