Make Embed an instance of Ord

lambdageek · Aug 1, 2015 · 0474960 · 0474960
1 parent 9760c2e
commit 0474960
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,11 @@
 # 0.2
 
+* Incorporating some of the extras/oversights from
+  [clash-lib Unbound.Generics.LocallyNameless.Extra](https://github.com/clash-lang/clash-compiler/blob/master/clash-lib/src/Unbound/Generics/LocallyNameless/Extra.hs)
+
+	* Make `Embed` an instance of `Ord`
+	* `NFData` instances (see below)
+
 * Re-implement `freshen'` and `gfreshen` using a free monad to give
   GHC a chance to inline it all away.  This changes the type of
   `gfreshen`.  Major version bump.

diff --git a/src/Unbound/Generics/LocallyNameless/Embed.hs b/src/Unbound/Generics/LocallyNameless/Embed.hs
@@ -32,7 +32,7 @@ import Unbound.Generics.LocallyNameless.Internal.Iso (iso)
 --   (You may also use the functions 'embed' and 'unembed', which
 --   additionally can construct or destruct any number of enclosing
 --   'Shift's at the same time.)
-newtype Embed t = Embed t deriving (Eq, Generic)
+newtype Embed t = Embed t deriving (Eq, Ord, Generic)
 
 class IsEmbed e where
   -- | The term type embedded in the embedding 'e'