Unverified Commit c50957e9 authored by Mathew Polzin's avatar Mathew Polzin Committed by GitHub
Browse files

idris2: 0.7.0 -> 0.8.0, idris2Packages.idris2Lsp: 2024-01-21 -> 2025-09-10 (#457345)

parents 4bd5adc2 da61fd19

pkgs/by-name/id/idris2/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -11,12 +11,12 @@ let 
    in

    {

      # Compiler version & repo

      idris2-version = "0.7.0";

      idris2-version = "0.8.0";

      idris2-src = fetchFromGitHub {

        owner = "idris-lang";

        repo = "Idris2";

        rev = "v${self.idris2-version}";

        hash = "sha256-VwveX3fZfrxEsytpbOc5Tm6rySpLFhTt5132J6rmrmM=";

        hash = "sha256-MvFNSPpgONSTjACH3HGWEiNgz9aAeBPmyQwFe21+fe0=";

      };

      # Prelude libraries

      mkPrelude = callPackage ./mkPrelude.nix { }; # Build helper

pkgs/by-name/id/idris2/tests.nix

+6 −6
Original line number Diff line number Diff line
@@ -149,9 +149,9 @@ in 
    transformBuildIdrisOutput = pkg: pkg.library { withSource = false; };

    expectedTree = ''

      `-- lib

          `-- idris2-0.7.0

          `-- idris2-${idris2.version}

              `-- pkg-0

                  |-- 2023090800

                  |-- 2025081600

                  |   |-- Main.ttc

                  |   `-- Main.ttm

                  `-- pkg.ipkg
@@ -186,9 +186,9 @@ in 
    transformBuildIdrisOutput = pkg: pkg.library { withSource = true; };

    expectedTree = ''

      `-- lib

          `-- idris2-0.7.0

          `-- idris2-${idris2.version}

              `-- pkg-0

                  |-- 2023090800

                  |-- 2025081600

                  |   |-- Main.ttc

                  |   `-- Main.ttm

                  |-- Main.idr
@@ -224,9 +224,9 @@ in 
    transformBuildIdrisOutput = pkg: pkg.library'.withSource;

    expectedTree = ''

      `-- lib

          `-- idris2-0.7.0

          `-- idris2-${idris2.version}

              `-- pkg-0

                  |-- 2023090800

                  |-- 2025081600

                  |   |-- Main.ttc

                  |   `-- Main.ttm

                  |-- Main.idr

pkgs/development/compilers/idris2/idris2-lsp.nix

+6 −6
Original line number Diff line number Diff line
@@ -22,24 +22,24 @@ let 
  inherit (idris2Packages) idris2Api;

  lspLib = idris2Packages.buildIdris {

    ipkgName = "lsp-lib";

    version = "2024-01-21";

    version = "2025-08-14";

    src = fetchFromGitHub {

      owner = "idris-community";

      repo = "LSP-lib";

      rev = "03851daae0c0274a02d94663d8f53143a94640da";

      hash = "sha256-ICW9oOOP70hXneJFYInuPY68SZTDw10dSxSPTW4WwWM=";

      rev = "ca77e80a392b8cfeee3aaeb150069957699cdb82";

      hash = "sha256-maXHx/OrflIdV7XPfDCRShUGZekLbLOSFQPHnL6DxnI=";

    };

    idrisLibraries = [ ];

  };



  lspPkg = idris2Packages.buildIdris {

    ipkgName = "idris2-lsp";

    version = "2024-01-21";

    version = "2025-09-10";

    src = fetchFromGitHub {

      owner = "idris-community";

      repo = "idris2-lsp";

      rev = "a77ef2d563418925aa274fa29f06880dde43f4ec";

      hash = "sha256-zjfVfkpiQS9AdmTfq0hYRSelJq5Caa9VGTuFLtSvl5o=";

      rev = "81344545c134c8e7105ecf1fdd7a1caae6647035";

      hash = "sha256-uYmg9Jd98RiO5SpRFox2xNAxY4nocPuK//zxuaIi/DM=";

    };

    idrisLibraries = [

      idris2Api