Add inequality operator `!=`

(fixes #5).

diff --git a/doc/arbtt.xml b/doc/arbtt.xml
index 0695511..16d3c76 100644 (file)
--- a/doc/arbtt.xml
+++ b/doc/arbtt.xml
@@ -465,7 +465,8 @@ $ runhaskell Setup.hs install</screen>
 
           <production id="g-cmpop">
             <lhs>CmpOp</lhs>
-            <rhs><quote>&lt;=</quote> | <quote>&lt;</quote> | <quote>==</quote>
+            <rhs><quote>&lt;=</quote> | <quote>&lt;</quote> |
+            <quote>==</quote> | <quote>!=</quote>
             | <quote>&gt;</quote> | <quote>&gt;=</quote></rhs>
           </production>
 

diff --git a/src/Categorize.hs b/src/Categorize.hs
index cb12358..8395ed2 100644 (file)
--- a/src/Categorize.hs
+++ b/src/Categorize.hs
@@ -347,6 +347,7 @@ parseCmp = choice $ map (\(s,o) -> reservedOp lang s >> return o)
                          (">", Cmp (>)),
                          ("==",Cmp (==)),
                          ("=", Cmp (==)),
+                         ("!=",Cmp (/=)),
                          ("<", Cmp (<)),
                          ("<=",Cmp (<=))]