Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Redundant constraint warnings. #36

Open
greydot opened this issue Oct 7, 2016 · 0 comments
Open

Redundant constraint warnings. #36

greydot opened this issue Oct 7, 2016 · 0 comments

Comments

@greydot
Copy link

greydot commented Oct 7, 2016

GHC 8.0.1 prints these:

/home/user/iproute/Data/IP/Op.hs:121:1: warning: [-Wredundant-constraints]
    * Redundant constraint: Addr a
    * In the type signature for:
           addrRangePair :: Addr a => AddrRange a -> (a, Int)
[5 of 8] Compiling Data.IP.Internal ( Data/IP/Internal.hs, .stack-work/dist/i386-linux/Cabal-1.24.0.0/build/Data/IP/Internal.o )
[6 of 8] Compiling Data.IP.RouteTable.Internal ( Data/IP/RouteTable/Internal.hs, .stack-work/dist/i386-linux/Cabal-1.24.0.0/build/Data/IP/RouteTable/Internal.o )

/home/user/iproute/Data/IP/RouteTable/Internal.hs:103:1: warning: [-Wredundant-constraints]
    * Redundant constraint: Routable k
    * In the type signature for:
           empty :: Routable k => IPRTable k a

/home/user/iproute/Data/IP/RouteTable/Internal.hs:187:1: warning: [-Wredundant-constraints]
    * Redundant constraint: Routable k
    * In the type signature for:
           node :: Routable k =>
                   AddrRange k
                   -> k -> Maybe a -> IPRTable k a -> IPRTable k a -> IPRTable k a

/home/user/iproute/Data/IP/RouteTable/Internal.hs:271:1: warning: [-Wredundant-constraints]
    * Redundant constraint: Routable k
    * In the type signature for:
           Data.IP.RouteTable.Internal.toList :: Routable k =>
                                                 IPRTable k a -> [(AddrRange k, a)]

IMO the best way would be just to add -Wno-redundant-constraints to builds flags.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant