From f52726e3be50b0ef4f5317391b9069905eac3a45 Mon Sep 17 00:00:00 2001 From: jpmoresmau Date: Wed, 14 Jan 2015 17:34:24 +0100 Subject: [PATCH] we have equal (==) let's have its little brother (/=) --- src/Language/Haskell/Generate/PreludeDef.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Language/Haskell/Generate/PreludeDef.hs b/src/Language/Haskell/Generate/PreludeDef.hs index e8b40d9..8ca7589 100644 --- a/src/Language/Haskell/Generate/PreludeDef.hs +++ b/src/Language/Haskell/Generate/PreludeDef.hs @@ -60,6 +60,7 @@ fmap concat $ mapM declareNamedSymbol , ('(++), "append'") , ('(!!), "index'") , ('(==), "equal'") + , ('(/=), "notequal'") ] (<>.) :: ExpG (b -> c) -> ExpG (a -> b) -> ExpG (a -> c)