mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-11 14:43:47 +00:00
![Silvan Mosberger](/assets/img/avatar_default.png)
After final improvements to the official formatter implementation, this commit now performs the first treewide reformat of Nix files using it. This is part of the implementation of RFC 166. Only "inactive" files are reformatted, meaning only files that aren't being touched by any PR with activity in the past 2 months. This is to avoid conflicts for PRs that might soon be merged. Later we can do a full treewide reformat to get the rest, which should not cause as many conflicts. A CI check has already been running for some time to ensure that new and already-formatted files are formatted, so the files being reformatted here should also stay formatted. This commit was automatically created and can be verified using nix-builda08b3a4d19
.tar.gz \ --argstr baseRevb32a094368
result/bin/apply-formatting $NIXPKGS_PATH
42 lines
1011 B
Nix
42 lines
1011 B
Nix
{
|
|
lib,
|
|
fetchFromGitHub,
|
|
ocamlPackages,
|
|
}:
|
|
|
|
let
|
|
inherit (ocamlPackages) buildDunePackage js_of_ocaml menhir;
|
|
in
|
|
|
|
buildDunePackage rec {
|
|
pname = "eff";
|
|
version = "5.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "matijapretnar";
|
|
repo = "eff";
|
|
rev = "v${version}";
|
|
hash = "sha256-0U61y41CA0YaoNk9Hsj7j6eb2V6Ku3MAjW9lMEimiC0=";
|
|
};
|
|
|
|
nativeBuildInputs = [ menhir ];
|
|
|
|
buildInputs = [ js_of_ocaml ];
|
|
|
|
doCheck = true;
|
|
|
|
meta = with lib; {
|
|
homepage = "https://www.eff-lang.org";
|
|
description = "Functional programming language based on algebraic effects and their handlers";
|
|
mainProgram = "eff";
|
|
longDescription = ''
|
|
Eff is a functional language with handlers of not only exceptions,
|
|
but also of other computational effects such as state or I/O. With
|
|
handlers, you can simply implement transactions, redirections,
|
|
backtracking, multi-threading, and much more...
|
|
'';
|
|
license = licenses.bsd2;
|
|
maintainers = [ maintainers.jirkamarsik ];
|
|
};
|
|
}
|