Draft smol (#632)

Author: mattiamanzati

.github/workflows/test-v4.yml

@@ -15,10 +15,14 @@ permissions: {}
 
 jobs:
   test:
-    name: Test
+    name: Test ${{ matrix.harness }}
     runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        harness: [v3, v4]
     steps:
       - uses: actions/checkout@v3
       - name: Install dependencies
         uses: ./.github/actions/setup
-      - run: pnpm test
+      - run: pnpm test:${{ matrix.harness }}

.github/workflows/test.yml

@@ -12,3 +12,4 @@ Dockerfile
 .env
 .pnpm-store/
 specs/
+.context/

.gitignore

@@ -0,0 +1,107 @@
+# Effect-Smol (v4) Compatibility Tracker
+
+This file tracks all language service features and their compatibility status with effect-smol (Effect v4).
+
+**Legend:**
+- [ ] Not tested / Unknown status
+- [x] Compatible with effect-smol
+- [~] Partially compatible / Needs work
+- [-] Not applicable to effect-smol
+- [N] v4 only
+
+---
+
+## Diagnostics (47 total)
+
+- [-] effectGenUsesAdapter
+- [-] unsupportedServiceAccessors
+- [-] schemaUnionOfLiterals
+- [-] genericEffectServices
+- [-] scopeInLayerEffect
+- [-] missingEffectServiceDependency
+- [X] floatingEffect
+- [X] missingEffectContext
+- [X] missingEffectError
+- [X] unnecessaryPipe
+- [X] unnecessaryPipeChain
+- [X] returnEffectInGen
+- [X] unnecessaryEffectGen
+- [X] duplicatePackage
+- [X] globalErrorInEffectFailure
+- [X] effectInVoidSuccess
+- [X] effectSucceedWithVoid
+- [X] effectMapVoid
+- [X] tryCatchInEffectGen
+- [X] instanceOfSchema
+- [X] anyUnknownInErrorContext
+- [X] missingStarInYieldEffectGen
+- [X] missingReturnYieldStar
+- [X] strictBooleanExpressions
+- [X] globalErrorInEffectCatch
+- [X] preferSchemaOverJson
+- [X] catchAllToMapError
+- [X] unnecessaryFailYieldableError
+- [X] catchUnfailableEffect
+- [X] effectFnIife
+- [X] schemaStructWithTag
+- [X] importFromBarrel
+- [X] overriddenSchemaConstructor
+- [X] classSelfMismatch
+- [X] unknownInEffectCatch
+- [X] layerMergeAllWithDependencies
+- [-] redundantSchemaTagIdentifier
+- [X] effectFnOpportunity
+- [ ] leakingRequirements
+- [ ] multipleEffectProvide
+- [ ] outdatedEffectCodegen
+- [ ] nonObjectEffectServiceType
+- [ ] deterministicKeys
+- [X] missedPipeableOpportunity
+- [ ] strictEffectProvide
+- [ ] runEffectInsideEffect
+- [ ] missingLayerContext
+- [ ] schemaSyncInEffect
+
+---
+
+## Completions (13 total)
+
+- [ ] contextSelfInClasses
+- [ ] durationInput
+- [ ] effectCodegensComment
+- [ ] effectDataClasses
+- [X] effectDiagnosticsComment
+- [X] effectJsdocComment
+- [ ] effectSchemaSelfInClasses
+- [ ] effectSelfInClasses
+- [ ] effectSqlModelSelfInClasses
+- [X] fnFunctionStar
+- [X] genFunctionStar
+- [ ] rpcMakeClasses
+- [ ] schemaBrand
+
+---
+
+## Refactors (21 total)
+
+- [X] asyncAwaitToFn
+- [ ] asyncAwaitToFnTryPromise
+- [X] asyncAwaitToGen
+- [ ] asyncAwaitToGenTryPromise
+- [X] effectGenToFn
+- [X] functionToArrow
+- [ ] layerMagic
+- [ ] makeSchemaOpaque
+- [ ] makeSchemaOpaqueWithNs
+- [X] pipeableToDatafirst
+- [X] removeUnnecessaryEffectGen
+- [ ] structuralTypeToSchema
+- [X] toggleLazyConst
+- [X] togglePipeStyle
+- [X] toggleReturnTypeAnnotation
+- [X] toggleTypeAnnotation
+- [ ] typeToEffectSchema
+- [ ] typeToEffectSchemaClass
+- [X] wrapWithEffectGen
+- [X] wrapWithPipe
+- [ ] writeTagClassAccessors

SMOL_TODOS.md

@@ -16,6 +16,7 @@
     "check": "pnpm -r check",
     "circular": "pnpm --filter @effect/language-service circular",
     "clean": "pnpm -r clean",
+    "perf": "pnpm -r perf",
     "pr-ai": "claude 'perform the actions described in CLAUDE.md under the section push PR to github workflow'"
   },
   "devDependencies": {