From d2e90d284e8eb49ec930def86a923d8dd1d66749 Mon Sep 17 00:00:00 2001
From: klarkc <walkerleite490@gmail.com>
Date: Mon, 9 Oct 2023 12:27:07 -0300
Subject: [PATCH] fix(pix-ctl/pix-ctl-full): bump purs to 0.14.7 and fix
 different version

---
 pix-ctl-full/flake.nix | 4 ++--
 pix-ctl/flake.nix      | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/pix-ctl-full/flake.nix b/pix-ctl-full/flake.nix
index 3d5eb13..7266f32 100644
--- a/pix-ctl-full/flake.nix
+++ b/pix-ctl-full/flake.nix
@@ -13,7 +13,7 @@
       #  right now purs-nix is only compatible with x86_64-linux
       systems = [ "x86_64-linux" ];
       overlays = with inputs.ctl-nix.inputs.ctl.overlays; [
-        # adds: purs
+        # adds easy-ps for CTL
         purescript
         # adds:
         #  arion
@@ -28,7 +28,7 @@
       ({ system, pkgs, ctl-nix, hor-plutus, ... }:
         let
           # Use purs from CTL instead from nixpkgs
-          purs = pkgs.easy-ps.purs-0_14_5;
+          purs = pkgs.easy-ps.purs-0_14_7;
           purs-nix = inputs.purs-nix {
             inherit system;
             overlays = [ ctl-nix ];
diff --git a/pix-ctl/flake.nix b/pix-ctl/flake.nix
index 9b17649..c912ebb 100644
--- a/pix-ctl/flake.nix
+++ b/pix-ctl/flake.nix
@@ -12,7 +12,7 @@
       #  right now purs-nix is only compatible with x86_64-linux
       systems = [ "x86_64-linux" ];
       overlays = with inputs.ctl-nix.inputs.ctl.overlays; [
-        # needed by CTL
+        # adds easy-ps for CTL
         purescript
       ];
     in
@@ -21,7 +21,7 @@
       ({ system, pkgs, ctl-nix, ... }:
         let
           # Use purs from CTL instead from nixpkgs
-          purs = pkgs.easy-ps.purs-0_14_5;
+          purs = pkgs.easy-ps.purs-0_14_7;
           purs-nix = inputs.purs-nix {
             inherit system;
             overlays = [ ctl-nix ];
@@ -51,8 +51,8 @@
                 packages =
                   with pkgs;
                   [
-                    easy-ps.purescript-language-server
                     purs
+                    easy-ps.purescript-language-server
                     ps-command
                   ];
               };