moonlight-core 0.1.0.3 → 0.1.0.4
raw patch · 4 files changed
+16/−9 lines, 4 files
Files
- CHANGELOG.md +7/−0
- README.md +4/−4
- moonlight-core.cabal +2/−2
- test/facade/PublicSurfaceSpec.hs +3/−3
CHANGELOG.md view
@@ -1,5 +1,12 @@ # Changelog +## 0.1.0.4 - 2026-08-21++- Documentation: correct the README selectors for the public `syntax`,+ `automata`, and `egraph-program` sublibraries and the `tests` component;+ align the facade metadata assertion with those canonical names.+- Publish a complete user-uploaded Haddock archive for the current release.+ ## 0.1.0.3 - 2026-08-20 - Compatibility: the `Moonlight.Core` main-library closure now supports GHC
README.md view
@@ -15,9 +15,9 @@ | Cabal dependency | Import | What you get | | --- | --- | --- | | `moonlight-core` | `Moonlight.Core` | The ordinary total vocabulary. This is the default. |-| `moonlight-core:moonlight-core-syntax` | `Moonlight.Core.Pattern.AntiUnify` | Patterns and term anti-unification without the full umbrella. |-| `moonlight-core:moonlight-core-automata` | `Moonlight.Core.Pattern.Automata` or `.Kernel` | The bottom-up automata substrate and compiled matcher. Depend on syntax too when naming its types directly. |-| `moonlight-core:moonlight-core-egraph-program` | `Moonlight.Core.EGraph.Program` | The host-neutral e-graph program algebra without the rest of the foundation. |+| `moonlight-core:syntax` | `Moonlight.Core.Pattern.AntiUnify` | Patterns and term anti-unification without the full umbrella. |+| `moonlight-core:automata` | `Moonlight.Core.Pattern.Automata` or `.Kernel` | The bottom-up automata substrate and compiled matcher. Depend on syntax too when naming its types directly. |+| `moonlight-core:egraph-program` | `Moonlight.Core.EGraph.Program` | The host-neutral e-graph program algebra without the rest of the foundation. | | `moonlight-core` | `Moonlight.Core.Unsound` | The explicit trust boundary. | The private implementation slices remain **basis**, **numeric**, **solver**, and@@ -28,7 +28,7 @@ ## Test ```bash-cabal test moonlight-core:moonlight-core-test+cabal test moonlight-core:tests ``` ## Benchmarks
moonlight-core.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: moonlight-core-version: 0.1.0.3+version: 0.1.0.4 synopsis: Mathematical basis for Pale Meridian. description: A total vocabulary of numeric classes, structural identity, orders, patterns, fixpoints, union-find, finite registries, and host-neutral e-graph programs. license: MIT@@ -25,7 +25,7 @@ source-repository this type: git location: https://github.com/PaleRoses/moonlight.git- tag: moonlight-core-0.1.0.3+ tag: moonlight-core-0.1.0.4 subdir: moonlight-core common shared-properties
test/facade/PublicSurfaceSpec.hs view
@@ -112,11 +112,11 @@ testEGraphProgramSublibrarySurface :: IO () testEGraphProgramSublibrarySurface = do cabalText <- readFile (packageRootFromTestModule __FILE__ </> "moonlight-core.cabal")- namedLibraryFieldValues "moonlight-core-egraph-program" "visibility" cabalText+ namedLibraryFieldValues "egraph-program" "visibility" cabalText @?= Right ["public"]- namedLibraryFieldValues "moonlight-core-egraph-program" "hs-source-dirs" cabalText+ namedLibraryFieldValues "egraph-program" "hs-source-dirs" cabalText @?= Right ["src-egraph-program"]- namedLibraryFieldValues "moonlight-core-egraph-program" "exposed-modules" cabalText+ namedLibraryFieldValues "egraph-program" "exposed-modules" cabalText @?= Right ["Moonlight.Core.EGraph.Program"] packageRootFromTestModule :: FilePath -> FilePath