Revision 0c76f280 htools/lint-hints.hs

b/htools/lint-hints.hs
4 4 
  where _ = notIn v x
5 5 
warn = map (\v -> (x, v)) ==> zip (repeat x)
6 6 
  where _ = notIn v x
7 

  		





  
  8
  
    
-- The following warn on use of length instead of null


  		





  
  9
  
    
warn = length x > 0 ==> not (null x)


  		





  
  10
  
    
warn = length x /= 0 ==> not (null x)


  		





  
  11
  
    
warn = length x == 0 ==> null x


  		












Also available in:
  Unified diff