purescript-lua · Unisay · Jun 14, 2026 · Jun 14, 2026
diff --git a/.eslintrc.json b/.eslintrc.json
diff --git a/.gitignore b/.gitignore
@@ -1,8 +1,4 @@
 /.*
 !/.gitignore
-!/.eslintrc.json
 !/.github/
 /output/
-/dist
-package-lock.json
-test/actual_output.txt
diff --git a/AGENTS.md b/AGENTS.md
@@ -0,0 +1,45 @@
+# AGENTS.md
+
+A PureScript→Lua FFI fork in the [`purescript-lua`](https://github.com/Unisay/purescript-lua) package set. Generated code targets **Lua 5.1**.
+
+## Commands
+
+All commands run inside the nix dev shell:
+
+- Build: `nix develop -c ./scripts/build`
+- Test (only if the fork has `scripts/test`): `nix develop -c bash ./scripts/test`
+- Lint: `nix develop -c luacheck --quiet --std lua51 --no-unused-args src/`
+
+## Lua 5.1 target
+
+The output runs on Lua 5.1, which is stricter than 5.3:
+
+- No `table.unpack`, `bit32`, `utf8`, or the `//` operator. `math.pow` and `math.atan2` do exist.
+- Array-style tables are 1-indexed: the first element is `t[1]`, not `t[0]`.
+- `unit` is `{}`, never `nil`: a `nil` table element silently disappears, which would collapse `Array Unit` into an empty table.
+- Lua 5.1 mangles some Lua 5.3 string escapes, so keep FFI string escapes 5.1-safe.
+
+## FFI files (under `src/`)
+
+pslua's foreign-file parser needs every exported value wrapped in parentheses:
+
+```lua
+return {
+  identity = (function(x) return x end),
+  answer = (42),
+}
+```
+
+A bare `function … end` or an unparenthesised expression fails to parse.
+
+## Toolchain
+
+`flake.nix` pins everything through [`purescript-overlay`](https://github.com/thomashoneyman/purescript-overlay): purs 0.15.16 (`purs-bin.purs-0_15_16`), spago 0.21.0 (`spago-bin.spago-0_21_0`), Lua 5.1 (`lua51Packages`). The `pslua` input tracks `github:Unisay/purescript-lua`; keep `flake.lock` reasonably current, since a long-stale pslua pin won't create the `--lua-output-file` directory and CI fails.
+
+## Releasing
+
+Tag-driven, with no GitHub Release or changelog entry. The full conventions live in the [package-set repo](https://github.com/Unisay/purescript-lua-package-sets/blob/master/CONTRIBUTING.md): push an annotated tag on `master`, bump this fork's `version` in the package set's `src/packages.dhall`, refresh `latest-compatible-sets.json`, and push a `psc-*` set tag.
+
+## Decisions
+
+Cross-cutting decisions are recorded as ADRs in the [package-set repo](https://github.com/Unisay/purescript-lua-package-sets/tree/master/docs/adr). Read them before a decision that affects the set, and add one after making such a decision.
diff --git a/CLAUDE.md b/CLAUDE.md
@@ -0,0 +1 @@
+@AGENTS.md
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -4,34 +4,45 @@
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
     nixpkgs.url = "nixpkgs/nixos-unstable";
-    easyps = {
-      url = "github:justinwoo/easy-purescript-nix";
-      flake = false;
+    purescript-overlay = {
+      url = "github:thomashoneyman/purescript-overlay";
+      inputs.nixpkgs.follows = "nixpkgs";
     };
     pslua.url = "github:Unisay/purescript-lua";
   };
 
-  outputs = { self, nixpkgs, flake-utils, easyps, pslua }:
+  outputs = { self, nixpkgs, flake-utils, purescript-overlay, pslua }:
     flake-utils.lib.eachDefaultSystem (system:
       let
-        p = nixpkgs.legacyPackages.${system};
-        e = import easyps { pkgs = p; };
-        l = p.lua51Packages;
+        pkgs = import nixpkgs {
+          inherit system;
+          overlays = [ purescript-overlay.overlays.default ];
+        };
       in {
-        devShell = p.mkShell {
-          buildInputs = [
-              p.dhall
-              l.lua
-              l.luacheck
-              p.luaformatter
-              p.nixfmt
-              pslua.packages.${system}.default
-              e.purs-0_15_15
-              e.purs-tidy
-              e.spago
-              p.treefmt
-            ];
+        devShell = pkgs.mkShell {
+          buildInputs = with pkgs; [
+            dhall
+            lua51Packages.lua
+            lua51Packages.luacheck
+            luaformatter
+            nixfmt-rfc-style
+            pslua.packages.${system}.default
+            purs-bin.purs-0_15_16
+            spago-bin.spago-0_21_0
+            treefmt
+          ];
         };
       });
-}
 
+  # --- Flake Local Nix Configuration ----------------------------
+  nixConfig = {
+    extra-substituters = [
+      "https://cache.iog.io"
+      "https://purescript-lua.cachix.org"
+    ];
+    extra-trusted-public-keys = [
+      "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ="
+      "purescript-lua.cachix.org-1:yLs4ei2HtnuPtzLekOrW3xdfm95+Etw15gwgyIGTayA="
+    ];
+  };
+}
diff --git a/package.json b/package.json