shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Small improvement of anySame

--- a/src/MicroHs/List.hs

+++ b/src/MicroHs/List.hs

@@ -49,12 +49,8 @@

       [] -> "[]"

       a : as -> "[" ++ sa a ++ showRest as

-anySame :: (Eq a) => [a] -> Bool

-anySame = anySameBy (==)

-

-anySameBy :: (a -> a -> Bool) -> [a] -> Bool

-anySameBy _ [] = False

-anySameBy eq (x:xs) = elemBy eq x xs || anySameBy eq xs

+anySame :: (Ord a) => [a] -> Bool

+anySame = anySameByLE (<=)

 anySameByLE :: (a -> a -> Bool) -> [a] -> Bool

 anySameByLE le = anySameAdj . sortLE le

--- a/src/MicroHs/TypeCheck.hs

+++ b/src/MicroHs/TypeCheck.hs

@@ -2348,7 +2348,7 @@

 multCheck :: [Ident] -> T ()

 multCheck vs =

-  when (anySameByLE (<=) vs) $ do

+  when (anySame vs) $ do

     let v = head vs

     tcError (getSLoc v) $ "Multiply defined: " ++ showIdent v