X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Futils%2FOrdList.lhs;h=74c9ed8d0b1e2191b160a9d6601009b07cbe1ca7;hb=c74c72f60dcc4cbea519826e98ec90ad8016b49d;hp=328a5c142220d9e651dcec56987ccfaa05e77938;hpb=db01886e22bd80de8d94a8d5e71d2ca645cb7a8e;p=ghc-hetmet.git diff --git a/compiler/utils/OrdList.lhs b/compiler/utils/OrdList.lhs index 328a5c1..74c9ed8 100644 --- a/compiler/utils/OrdList.lhs +++ b/compiler/utils/OrdList.lhs @@ -12,7 +12,7 @@ can be appended in linear time. module OrdList ( OrdList, nilOL, isNilOL, unitOL, appOL, consOL, snocOL, concatOL, - fromOL, toOL, foldrOL, foldlOL + mapOL, fromOL, toOL, foldrOL, foldlOL ) where infixl 5 `appOL` @@ -51,7 +51,7 @@ appOL as None = as appOL as bs = Two as bs mapOL :: (a -> b) -> OrdList a -> OrdList b -mapOL f None = None +mapOL _ None = None mapOL f (One x) = One (f x) mapOL f (Two x y) = Two (mapOL f x) (mapOL f y) mapOL f (Many xs) = Many (map f xs) @@ -60,13 +60,13 @@ instance Functor OrdList where fmap = mapOL foldrOL :: (a->b->b) -> b -> OrdList a -> b -foldrOL k z None = z +foldrOL _ z None = z foldrOL k z (One x) = k x z foldrOL k z (Two b1 b2) = foldrOL k (foldrOL k z b2) b1 foldrOL k z (Many xs) = foldr k z xs foldlOL :: (b->a->b) -> b -> OrdList a -> b -foldlOL k z None = z +foldlOL _ z None = z foldlOL k z (One x) = k z x foldlOL k z (Two b1 b2) = foldlOL k (foldlOL k z b1) b2 foldlOL k z (Many xs) = foldl k z xs