Skip to content

Commit 528ea42

Browse files
basile-henryGabriella439
authored andcommitted
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 `!=`
1 parent 0b3fd4b commit 528ea42

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

dhall/src/Dhall/TypeCheck.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3488,7 +3488,7 @@ prettyTypeMessage (CantEQ expr0 expr1) =
34883488
buildBooleanOperator "==" expr0 expr1
34893489

34903490
prettyTypeMessage (CantNE expr0 expr1) =
3491-
buildBooleanOperator "/=" expr0 expr1
3491+
buildBooleanOperator "!=" expr0 expr1
34923492

34933493
prettyTypeMessage (CantInterpolate expr0 expr1) = ErrorMessages {..}
34943494
where

0 commit comments

Comments
 (0)