hydra-kernel 0.17.0__tar.gz → 0.17.2__tar.gz

{hydra_kernel-0.17.0 → hydra_kernel-0.17.2}/.gitignore

@@ -21,10 +21,15 @@ dist-newstyle/
 stack.yaml.lock
 *.cabal
 
-# Java / Gradle
+# Java / Gradle. Path-anchored (not a bare "build") so this can never swallow
+# a module-namespace directory literally named "build" (e.g. the
+# hydra.build.* family under dist/json/, #416) -- it only matches the
+# specific Gradle output roots below.
 .gradle
 gradle.properties
-build
+/packages/hydra-java/build/
+/heads/java/json-driver/build/
+/heads/java/target-driver/build/
 
 # IDEs
 .bsp/
@@ -69,26 +74,21 @@ docs/reviews/
 docs/work/
 
 # Package distributions.
-# dist/json/ is the source of truth (tracked). dist/haskell/ is tracked
-# through the 0.15 release to support bootstrapping from a fresh clone.
-# All other target-language trees are regenerated from dist/json/ and
-# not checked in.
-#
-# Exception within the tracked dist/haskell/ tree (#418): the hand-written
-# distribution-package content that sync-haskell.sh OVERLAYS from its canonical
-# home under the top-level overlay/haskell/ tree is NOT committed — it would
-# duplicate the canonical source, and the whole dist/haskell/ tree leaves Git
-# after 0.16.0 anyway. The canonical copies under overlay/haskell/ ARE tracked.
-#   - hydra umbrella package (entirely copied)
-dist/haskell/hydra/
-#   - hydra-kernel hand-written runtime (copied from dist-packages/hydra-kernel/)
-dist/haskell/hydra-kernel/src/main/haskell/Hydra/Settings.hs
-dist/haskell/hydra-kernel/src/main/haskell/Hydra/Kernel.hs
-dist/haskell/hydra-kernel/src/main/haskell/Hydra/Haskell/Lib/
-dist/haskell/hydra-kernel/src/main/haskell/Hydra/Dsl/Literals.hs
-dist/haskell/hydra-kernel/src/main/haskell/Hydra/Dsl/Meta/Common.hs
-#   - hydra-kernel hand-written test bridge (overlaid from overlay/haskell/.../src/test/)
-dist/haskell/hydra-kernel/src/test/haskell/Hydra/Test/TestEnv.hs
+# dist/json/ is the source of truth (tracked). All target-language trees,
+# INCLUDING dist/haskell/ as of #376, are regenerated from dist/json/ and not
+# checked in. dist/haskell/ was tracked from the 0.15 release through #376 to
+# support bootstrapping from a fresh clone before the cold-clone seeder
+# (heads/haskell/json-driver/) existed; that seeder now performs the same
+# role by regenerating dist/haskell/ from the committed dist/json/ using only
+# published Hackage coder packages — see bin/sync.sh's cold-start detection
+# and heads/haskell/json-driver/bin/cold-seed-dist-haskell.sh. The former
+# per-file overlay exceptions under dist/haskell/ (hydra umbrella,
+# hydra-kernel hand-written runtime, hydra-pg/hydra-typescript DSL helpers)
+# are subsumed by this blanket ignore; their canonical copies remain tracked
+# under overlay/haskell/. (Hackage channel staging artifacts — the sdists and
+# Haddock docs that prepare-release.sh / publish-hackage.sh assemble into
+# dist/haskell/ — are likewise covered by this blanket ignore. #589.)
+dist/haskell/
 
 dist/clojure/
 dist/common-lisp/
@@ -116,8 +116,11 @@ dist/haskell/*/.test-input-hash.txt
 # file is a cache miss, never a correctness problem. Tracking digests
 # previously caused merge conflicts on every cross-branch merge because
 # the hashes always diverged. See #379. The matching root-level cache
-# directory is dist/json/build/ (universe digest).
-dist/**/build/
+# directory is dist/json/build/ (universe digest). Depth-anchored
+# (rather than dist/**/build/) so it can never swallow a module-namespace
+# directory literally named "build" (e.g. the hydra.build.* family, #416).
+dist/json/build/
+dist/*/*/build/
 
 # Other
 *.log

{hydra_kernel-0.17.0 → hydra_kernel-0.17.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: hydra-kernel
-Version: 0.17.0
+Version: 0.17.2
 Summary: Hydra programming language kernel
 Project-URL: Homepage, https://github.com/CategoricalData/hydra
 Project-URL: Repository, https://github.com/CategoricalData/hydra
@@ -86,17 +86,19 @@ declaring every primitive in that namespace as a `PrimitiveDefinition`
 (name, description, signature, isPure / isTotal flags, and an optional
 cross-compilable default implementation in Hydra terms).
 
-The 13 namespaces — `Chars`, `Eithers`, `Equality`, `Lists`, `Literals`,
-`Logic`, `Maps`, `Math`, `Maybes`, `Pairs`, `Regex`, `Sets`, `Strings` —
-together declare 241 primitives. See
+The 18 namespaces — `Chars`, `Effects`, `Eithers`, `Equality`, `Files`,
+`Hashing`, `Lists`, `Literals`, `Logic`, `Maps`, `Math`, `Optionals`, `Pairs`,
+`Regex`, `Sets`, `Strings`, `System`, `Text` — together declare ~269 primitives
+(see the lexicon for the authoritative count). See
 [`docs/hydra-lexicon.txt`](https://github.com/CategoricalData/hydra/blob/main/docs/hydra-lexicon.txt)
 for the full signature list, and
 [`docs/recipes/adding-primitives.md`](https://github.com/CategoricalData/hydra/blob/main/docs/recipes/adding-primitives.md)
 for the recipe to add a new one.
 
 Host-side primitive registries — including the Haskell-side
-[`Hydra/Dsl/Libraries.hs`](https://github.com/CategoricalData/hydra/blob/main/overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Dsl/Libraries.hs)
-(in `overlay/haskell` since #473) that pairs each native implementation with a
+[`Hydra/Overlay/Haskell/Libraries.hs`](https://github.com/CategoricalData/hydra/blob/main/overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Overlay/Haskell/Libraries.hs)
+(in `overlay/haskell` since #473, relocated under the `hydra.overlay.<lang>.*`
+namespace by #501) that pairs each native implementation with a
 primitive name — are distinct from this canonical registry: they provide
 host-specific implementations and **derive** each primitive's name from its
 generated `PrimitiveDefinition` (the single source of truth), rather than
@@ -111,7 +113,7 @@ live in adjacent directories:
 |-------|------|
 | `packages/hydra-kernel/src/main/haskell/Hydra/Sources/`            | Kernel DSL sources (this package) |
 | `heads/haskell/src/main/haskell/Hydra/Dsl/`                        | Hand-written Haskell DSL helpers used to write the sources |
-| `overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Haskell/Lib/` | Hand-written Haskell primitive implementations (overlaid onto the kernel dist) |
+| `overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Overlay/Haskell/Lib/` | Hand-written Haskell primitive implementations (overlaid onto the kernel dist) |
 | `dist/haskell/hydra-kernel/`                                       | Generated Haskell kernel (`Hydra/Core.hs`, `Hydra/Graph.hs`, etc.) |
 | `dist/java/hydra-kernel/`                               | Generated Java kernel (`hydra.core.*`, `hydra.graph.*`, etc.) |
 | `dist/python/hydra-kernel/`                             | Generated Python kernel |
@@ -129,7 +131,7 @@ The kernel is generated from these DSL sources via `bin/sync.sh`. After editing
 file under `Hydra/Sources/Kernel/`, run:
 
 ```bash
-bin/sync-haskell.sh        # regenerate Haskell kernel, run stack test
+heads/haskell/bin/sync-haskell.sh   # regenerate Haskell kernel, run stack test
 bin/sync.sh                # regenerate every target language's kernel and tests
 ```
 

{hydra_kernel-0.17.0 → hydra_kernel-0.17.2}/README.md

@@ -73,17 +73,19 @@ declaring every primitive in that namespace as a `PrimitiveDefinition`
 (name, description, signature, isPure / isTotal flags, and an optional
 cross-compilable default implementation in Hydra terms).
 
-The 13 namespaces — `Chars`, `Eithers`, `Equality`, `Lists`, `Literals`,
-`Logic`, `Maps`, `Math`, `Maybes`, `Pairs`, `Regex`, `Sets`, `Strings` —
-together declare 241 primitives. See
+The 18 namespaces — `Chars`, `Effects`, `Eithers`, `Equality`, `Files`,
+`Hashing`, `Lists`, `Literals`, `Logic`, `Maps`, `Math`, `Optionals`, `Pairs`,
+`Regex`, `Sets`, `Strings`, `System`, `Text` — together declare ~269 primitives
+(see the lexicon for the authoritative count). See
 [`docs/hydra-lexicon.txt`](https://github.com/CategoricalData/hydra/blob/main/docs/hydra-lexicon.txt)
 for the full signature list, and
 [`docs/recipes/adding-primitives.md`](https://github.com/CategoricalData/hydra/blob/main/docs/recipes/adding-primitives.md)
 for the recipe to add a new one.
 
 Host-side primitive registries — including the Haskell-side
-[`Hydra/Dsl/Libraries.hs`](https://github.com/CategoricalData/hydra/blob/main/overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Dsl/Libraries.hs)
-(in `overlay/haskell` since #473) that pairs each native implementation with a
+[`Hydra/Overlay/Haskell/Libraries.hs`](https://github.com/CategoricalData/hydra/blob/main/overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Overlay/Haskell/Libraries.hs)
+(in `overlay/haskell` since #473, relocated under the `hydra.overlay.<lang>.*`
+namespace by #501) that pairs each native implementation with a
 primitive name — are distinct from this canonical registry: they provide
 host-specific implementations and **derive** each primitive's name from its
 generated `PrimitiveDefinition` (the single source of truth), rather than
@@ -98,7 +100,7 @@ live in adjacent directories:
 |-------|------|
 | `packages/hydra-kernel/src/main/haskell/Hydra/Sources/`            | Kernel DSL sources (this package) |
 | `heads/haskell/src/main/haskell/Hydra/Dsl/`                        | Hand-written Haskell DSL helpers used to write the sources |
-| `overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Haskell/Lib/` | Hand-written Haskell primitive implementations (overlaid onto the kernel dist) |
+| `overlay/haskell/hydra-kernel/src/main/haskell/Hydra/Overlay/Haskell/Lib/` | Hand-written Haskell primitive implementations (overlaid onto the kernel dist) |
 | `dist/haskell/hydra-kernel/`                                       | Generated Haskell kernel (`Hydra/Core.hs`, `Hydra/Graph.hs`, etc.) |
 | `dist/java/hydra-kernel/`                               | Generated Java kernel (`hydra.core.*`, `hydra.graph.*`, etc.) |
 | `dist/python/hydra-kernel/`                             | Generated Python kernel |
@@ -116,7 +118,7 @@ The kernel is generated from these DSL sources via `bin/sync.sh`. After editing
 file under `Hydra/Sources/Kernel/`, run:
 
 ```bash
-bin/sync-haskell.sh        # regenerate Haskell kernel, run stack test
+heads/haskell/bin/sync-haskell.sh   # regenerate Haskell kernel, run stack test
 bin/sync.sh                # regenerate every target language's kernel and tests
 ```