[change the Show instance for Fixer values to use 'showFixable'. allow supersets of consts if the values check out
John Meacham <john@repetae.net>**20070306015840] hunk ./Fixer/Fixer.hs 85
-instance Show a => Show (Value a) where
-    showsPrec _ (ConstValue a) = showString "<<" . shows a . showString ">>"
+instance Fixable a => Show (Value a) where
+    showsPrec _ (ConstValue a) = showString "<<" . showString (showFixable a) . showString ">>"
hunk ./Fixer/Fixer.hs 153
-modifiedSuperSetOf ConstValue {} _ _ =  Rule $ fail "Fixer: You cannot modify a constant value"
+modifiedSuperSetOf (ConstValue vb) (ConstValue va)  f | f va `lte` vb =  Rule $ return ()
+modifiedSuperSetOf ca@ConstValue {}  cb _ =  Rule $ fail ("Fixer.modifedSuperSetOf: You cannot modify a constant value:" ++ show(ca,cb))
hunk ./Fixer/Fixer.hs 161
-ConstValue {} `isSuperSetOf` _ = Rule $  fail "Fixer: You cannot modify a constant value"
+ConstValue v1 `isSuperSetOf` ConstValue v2 | v2 `lte` v1 =  Rule $ return ()
+ConstValue {} `isSuperSetOf` _ = Rule $  fail "Fixer.isSuperSetOf: You cannot modify a constant value"