mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-07-07 21:15:04 +00:00
8495c059e5
* [feat] add simple nix development environment * [feat] add a workflow that checks the nix code * [chore] documentation updates of the expr ast * [fix] allow unification errors to originate from a specific location - add an origin field to NotEq unification error - add an origin field to CannotDecide unification error - reuse the span emitted for a data constructor without type for its type - Box the type error in Error to reduce the size of the enum * [chore] add testfiles for unificatoin errors * [fix] apply changes as requested by Tim Süberkrüb - correct spelling in nix workflow - adjust README to mention IFD - use span of (co)matches instead of propagating outwards - adjust spelling - add two new examples for fail-check - change the naming of the reason span to while_elaborating_span Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io> * [chore] add a workflow name for the nix workflow Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io> * [chore] only run the nix workflow on main --------- Co-authored-by: Tim Süberkrüb <dev@timsueberkrueb.io>
24 lines
674 B
Nix
24 lines
674 B
Nix
{
|
|
inputs.flake-parts.url = "github:hercules-ci/flake-parts";
|
|
inputs.nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
|
|
|
|
outputs =
|
|
inputs:
|
|
inputs.flake-parts.lib.mkFlake { inherit inputs; } {
|
|
systems = [
|
|
"x86_64-linux"
|
|
"aarch64-linux"
|
|
"x86_64-darwin"
|
|
"aarch64-darwin"
|
|
];
|
|
perSystem =
|
|
{ pkgs, config, ... }:
|
|
{
|
|
devShells.default = import ./contrib/nix/shell.nix { inherit pkgs; };
|
|
packages = import ./contrib/nix/default.nix { inherit pkgs; } // {
|
|
default = config.packages.polarity;
|
|
};
|
|
formatter = pkgs.nixfmt-rfc-style;
|
|
};
|
|
};
|
|
}
|