Permalink
Browse files

fix annotation effect compare bug

  • Loading branch information...
1 parent e8d066a commit 9c2f2412a607ac227c14a9ed0d46096556e5fda4 @bblum committed Dec 14, 2011
Showing with 2 additions and 1 deletion.
  1. +2 −1 Rules.hs
View
@@ -46,7 +46,8 @@ effect (Annotation (_,IncDec y)) (Nested x) =
-- Is the second argument a subtype of the first? (is assignment legal?)
subtype :: Annotation -> Annotation -> Bool
-subtype (Annotation (Rule r1,_)) (Annotation (Rule r2,_)) = r2 <= r1
+subtype (Annotation (Rule r1,e1)) (Annotation (Rule r2,e2)) =
+ (r2 <= r1) && (e1 == e2)
-- Does the provided code context satisfy the annotation?
satisfies :: Annotation -> Context -> Bool

0 comments on commit 9c2f241

Please sign in to comment.