[add 'lte' method and show instance to VMap
John Meacham <john@repetae.net>**20060225140906] hunk ./Fixer/VMap.hs 55
-vmapProxyIndirect :: (Ord n,Ord p) => Int -> VMap p n -> VMap p n
-vmapProxyIndirect i vm = emptyVMap {  vmapNodes = Set.fromList [  Left (ProxyArg p i) | Left p <- Set.toList $ vmapNodes vm] }
+vmapProxyIndirect :: (Show p,Show n,Ord p,Ord n,Fixable (VMap p n)) => Int -> VMap p n -> VMap p n
+vmapProxyIndirect i vm = emptyVMap {  vmapNodes = Set.fromList [  Left p {- (ProxyArg p i) -} | Left p <- Set.toList $ vmapNodes vm] }
hunk ./Fixer/VMap.hs 58
-vmapValue :: (Ord p,Ord n) => n -> [VMap p n] -> VMap p n
+vmapValue :: (Show p,Show n,Ord p,Ord n) => n -> [VMap p n] -> VMap p n
hunk ./Fixer/VMap.hs 61
-vmapPlaceholder :: (Ord p,Ord n) => p  -> VMap p n
+vmapPlaceholder :: (Show p,Show n,Ord p,Ord n) => p  -> VMap p n
hunk ./Fixer/VMap.hs 81
-instance (Ord p,Ord n) => Fixable (VMap p n) where
+instance (Show p,Show n,Ord p,Ord n) => Fixable (VMap p n) where
hunk ./Fixer/VMap.hs 90
+    lte x@VMap { vmapArgs = as, vmapNodes = ns } y@VMap { vmapArgs = as', vmapNodes = ns'} = any isLeft (Set.toList ns') || isBottom (x `minus` y)
+    showFixable x = show x
hunk ./Fixer/VMap.hs 93
-instance (Ord p,Ord n) => Monoid (VMap p n) where
+instance (Show p,Show n,Ord p,Ord n) => Monoid (VMap p n) where