From 6ff0c8ba66e02efd3b69ccf83772b1e80ea17b19 Mon Sep 17 00:00:00 2001
From: Luke Lau <luke_lau@icloud.com>
Date: Tue, 7 Aug 2018 16:33:58 +0100
Subject: [PATCH] Set permissions of hie

---
 .download-hie.sh | 1 +
 .gitignore       | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/.download-hie.sh b/.download-hie.sh
index f762066..a502b16 100644
--- a/.download-hie.sh
+++ b/.download-hie.sh
@@ -3,3 +3,4 @@ case `ghc --version` in
 	*8.4.3*) wget https://877-129435383-gh.circle-artifacts.com/0/bin/hie;;
 	*8.2.2*) wget https://878-129435383-gh.circle-artifacts.com/0/bin/hie;;
 esac
+chmod u+x hie
diff --git a/.gitignore b/.gitignore
index 21a6195..b057681 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,6 @@ example/.ghc.environment.*
 
 # used for rerunning failed hspec tests
 .hspec-failures
+
+# downloaded by .download-hie.sh on travis
+hie
-- 
2.30.2