removed comparePos (that equalled compare)

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8861 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Sep 18, 2007 · cca95d3 · cca95d3
1 parent 8861ccb
commit cca95d3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/Common/Id.hs b/Common/Id.hs
@@ -60,9 +60,6 @@ appRange (Range l1) (Range l2) = Range $ l1 ++ l2
 concatMapRange :: (a -> Range) -> [a] -> Range
 concatMapRange f = Range . concatMap (rangeToList . f)
 
-comparePos :: Pos -> Pos -> Ordering
-comparePos = compare
-
 -- | construct a new position
 newPos :: String -> Int -> Int -> Pos
 newPos = SourcePos

diff --git a/HasCASL/Unify.hs b/HasCASL/Unify.hs
@@ -221,7 +221,7 @@ showDocWithPos :: Type -> ShowS
 showDocWithPos a =  let p = getRange a in
     showChar '\'' . showDoc a . showChar '\''
     . noShow (isNullRange p) (showChar ' ' .
-        showParen True (showPos $ maximumBy comparePos (rangeToList p)))
+        showParen True (showPos $ maximum (rangeToList p)))
 
 uniResult :: String -> Type -> String -> Type -> Result Subst
 uniResult s1 a s2 b = Result [Diag Hint ("in type\n" ++ "  " ++ s1 ++ " " ++