Merge pull request purescript#1870 from purescript/eq-deriving

paf31 · paf31 · commit 291ff0b06f2a · 2016-02-21T20:18:00.000-08:00
Eq and Ord deriving
diff --git a/examples/passing/Deriving.purs b/examples/passing/Deriving.purs
@@ -0,0 +1,31 @@
+module Main where
+
+import Prelude
+import Test.Assert
+
+data V
+
+derive instance eqV :: Eq V
+
+derive instance ordV :: Ord V
+
+data X = X Int | Y String
+
+derive instance eqX :: Eq X
+
+derive instance ordX :: Ord X
+
+newtype Z = Z { left :: X, right :: X }
+
+derive instance eqZ :: Eq Z
+
+main = do
+  assert $ X 0 == X 0
+  assert $ X 0 /= X 1
+  assert $ Y "Foo" == Y "Foo"
+  assert $ Y "Foo" /= Y "Bar"
+  assert $ X 0 < X 1
+  assert $ X 0 < Y "Foo"
+  assert $ Y "Bar" < Y "Baz"
+  assert $ z == z where
+    z = Z { left: X 0, right: Y "Foo" }
diff --git a/src/Language/PureScript/Constants.hs b/src/Language/PureScript/Constants.hs
@@ -98,6 +98,9 @@ eq = "eq"
 notEq :: String
 notEq = "notEq"
 
+compare :: String
+compare = "compare"
+
 (&&) :: String
 (&&) = "&&"
 
diff --git a/src/Language/PureScript/Sugar/TypeClasses/Deriving.hs b/src/Language/PureScript/Sugar/TypeClasses/Deriving.hs
