Commit 4d085395 authored by R. RyanTM's avatar R. RyanTM Committed by Mathew Polzin
Browse files

idris2: 0.7.0 -> 0.8.0

parent 92a6403f

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