ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix error message for not-equal when type checking (#768)

Browse Source 
According to the standard https://github.com/dhall-lang/dhall-lang/blob/master/standard/dhall.abnf\#L399 the correct operator is `!=`
This commit is contained in:
Basile Henry 2018-12-28 20:47:11 +01:00 committed by Gabriel Gonzalez
parent 0b3fd4b624
commit 528ea42407
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dhall/src/Dhall/TypeCheck.hs
View File

@ -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