fix: pin logos-lidl to the C-ABI commit + lock it

The logos-lidl input was declared in flake.nix but missing from flake.lock,
so override chains that don't reach the nested input (the doctest harness
building a scaffolded module) couldn't resolve it. Pin the branch rev and
lock it so the component is self-contained. Re-point at master once logos-lidl
lands.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Dario Gabriel Lipicar
2026-06-16 19:11:39 -03:00
co-authored by Claude Opus 4.8
parent d36b54c5da
commit 727d83feb6
2 changed files with 30 additions and 2 deletions
Generated
+27
View File
@@ -1,5 +1,31 @@
{
"nodes": {
"logos-lidl": {
"inputs": {
"logos-nix": [
"logos-nix"
],
"nixpkgs": [
"logos-lidl",
"logos-nix",
"nixpkgs"
]
},
"locked": {
"lastModified": 1781644893,
"narHash": "sha256-EjSn54bSCvwLJvwAT+8cfwjaWXsK07JJ3V5yAyMkyVY=",
"owner": "logos-co",
"repo": "logos-lidl",
"rev": "636b06b9f24a993b7f8dc3d31672a9c9634801f7",
"type": "github"
},
"original": {
"owner": "logos-co",
"repo": "logos-lidl",
"rev": "636b06b9f24a993b7f8dc3d31672a9c9634801f7",
"type": "github"
}
},
"logos-nix": {
"inputs": {
"nixpkgs": "nixpkgs"
@@ -61,6 +87,7 @@
},
"root": {
"inputs": {
"logos-lidl": "logos-lidl",
"logos-nix": "logos-nix",
"logos-protocol": "logos-protocol",
"nixpkgs": [
+3 -2
View File
@@ -10,8 +10,9 @@
inputs.logos-protocol.inputs.logos-nix.follows = "logos-nix";
# The canonical, language-neutral LIDL frontend (lexer/parser/AST/serializer/
# validator) the code generator links. Follows our logos-nix so it resolves
# the identical nixpkgs pin.
inputs.logos-lidl.url = "github:logos-co/logos-lidl";
# the identical nixpkgs pin. Temporary branch pin (descriptions + C ABI) —
# re-point at master once logos-lidl lands.
inputs.logos-lidl.url = "github:logos-co/logos-lidl/636b06b9f24a993b7f8dc3d31672a9c9634801f7";
inputs.logos-lidl.inputs.logos-nix.follows = "logos-nix";
outputs = { self, nixpkgs, logos-nix, logos-protocol, logos-lidl }: