[haddock @ 2002-05-27 14:36:45 by simonmar] warning message tweak
[haddock @ 2002-05-27 14:36:45 by simonmar]
warning message tweak

mrhania/haddock,idontgetoutmuch/haddock,jgm/haddock,jstolarek/haddock,jstolarek/haddock,mrBliss/haddock,sboosali/haddock,haskell/haddock,niteria/haddock,esmolanka/haddock,idontgetoutmuch/haddock,Mistuke/haddock,mrhania/haddock,adamse/haddock,randen/haddock,ghcjs/haddock-internal,haskell/haddock,Fuuzetsu/haddock,lamefun/haddock,beni55/haddock,esmolanka/haddock,beni55/haddock,lamefun/haddock,Acidburn0zzz/haddock,idontgetoutmuch/haddock,JPMoresmau/haddock,adamse/haddock,JPMoresmau/haddock,sboosali/haddock,niteria/haddock,Mistuke/haddock,lamefun/haddock,haskell/haddock,adamse/haddock,jgm/haddock,haskell/haddock,Fuuzetsu/haddock,mrBliss/haddock,sboosali/haddock,randen/haddock,Acidburn0zzz/haddock,Helkafen/haddock,Helkafen/haddock,esmolanka/haddock,Wizek/haddock,randen/haddock,niteria/haddock,beni55/haddock,Mistuke/haddock,ghcjs/haddock-internal,Fuuzetsu/haddock,Acidburn0zzz/haddock,Fuuzetsu/haddock,haskell/haddock,Wizek/haddock,mrhania/haddock,Helkafen/haddock,mrBliss/haddock,JPMoresmau/haddock,Wizek/haddock