From 56824cb6456352abcb61080f5c6eb3f166694ce4 Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Fri, 24 Dec 2021 11:15:10 +0100
Subject: [PATCH] error -> fail

---
 src/compiler/GF/Interactive.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs
index 046111090..c9db4683b 100644
--- a/src/compiler/GF/Interactive.hs
+++ b/src/compiler/GF/Interactive.hs
@@ -70,7 +70,7 @@ mainServerGFI opts0 port files =
           return $ if continue then Just gfenv else Nothing
 #else
 mainServerGFI opts port files =
-  error "GF has not been compiled with server mode support"
+  fail "GF has not been compiled with server mode support"
 #endif
 
 -- | Read end execute commands until it is time to quit