Permalink
Browse files

Annotations in ViewTerm equality

Ignore-this: 720315b2a11a2cef2d58264480a56b33

darcs-hash:20091207124241-228f4-e0e80f23bae0364b26aa976e63aef71555d43b27.gz
  • Loading branch information...
1 parent 975e1a8 commit 4c391d26bf7bfc71125569f74d430adedadb91d7 eb committed Dec 7, 2009
Showing with 2 additions and 0 deletions.
  1. +2 −0 Ivor/ViewTerm.lhs
View
@@ -107,6 +107,8 @@
> (==) (Ivor.ViewTerm.Eval t) (Ivor.ViewTerm.Eval t') = t==t'
> (==) (Ivor.ViewTerm.Escape t) (Ivor.ViewTerm.Escape t') = t==t'
> (==) (Annotation _ t) (Annotation _ t') = t == t'
+> (==) (Annotation _ t) t' = t == t'
+> (==) t (Annotation _ t') = t == t'
> (==) _ _ = False
> -- | Haskell types which can be used as constants

0 comments on commit 4c391d2

Please sign in to comment.