From 528ea424071ae58976478cd0075edb38f6ae8fd5 Mon Sep 17 00:00:00 2001
From: Basile Henry <bjm.henry@gmail.com>
Date: Fri, 28 Dec 2018 20:47:11 +0100
Subject: [PATCH] Fix error message for not-equal when type checking (#768)

According to the standard https://github.com/dhall-lang/dhall-lang/blob/master/standard/dhall.abnf\#L399 the correct operator is `!=`
---
 dhall/src/Dhall/TypeCheck.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dhall/src/Dhall/TypeCheck.hs b/dhall/src/Dhall/TypeCheck.hs
index e370334..da888c9 100644
--- a/dhall/src/Dhall/TypeCheck.hs
+++ b/dhall/src/Dhall/TypeCheck.hs
@@ -3488,7 +3488,7 @@ prettyTypeMessage (CantEQ expr0 expr1) =
         buildBooleanOperator "==" expr0 expr1
 
 prettyTypeMessage (CantNE expr0 expr1) =
-        buildBooleanOperator "/=" expr0 expr1
+        buildBooleanOperator "!=" expr0 expr1
 
 prettyTypeMessage (CantInterpolate expr0 expr1) = ErrorMessages {..}
   where