ghc should be able to deduce correct use of partial functions and not give a warning in such cases

ghc should be able to deduce correct use of partial functions and not give
a warning in such cases, e.g. in 9.8.2

     if null ys then [] else [(xs,tail ys)])

gets a warning

      warning: [GHC-63394] [-Wx-partial]

but it is clear that this use of tail will never be a problem so IMHO that
line of code should not get a warning.

Does anybody know if there is a plan or enhancement request to eliminate
such warnings?

Cheers
George

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.