From dba5ef4267a4a4e7e023546ad5c73699c3351115 Mon Sep 17 00:00:00 2001
From: iko <ilyakooo0@gmail.com>
Date: Thu, 19 Mar 2020 00:28:19 +0300
Subject: [PATCH] Added note

---
 INSTALL.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/INSTALL.md b/INSTALL.md
index 358491ed4..efa2f8491 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -147,3 +147,7 @@ A workround for this bug is to override the used libffi version (this is what we
 ```bash
 export LD_PRELOAD=/opt/ghc/${GHCVER}/lib/ghc-${GHCVER}/rts/libffi.so.7
 ```
+
+## GHC 8.6
+
+For reasons that haven't been investigated building the Idris compiler with GHC 8.6 leads to a compiler which doesn't pass test.