catch vs totality:
catch checked an really older version of hscolour with 4 patErrors.
The current version has 7 
which are different from the 4 checked by catch and fixed.


measure definitions required: 2	
data refined: 0
refined top-level signatures:	9

filename & total functions & typeErrors & patError & irrefutPatError & noMethidBindingError
Data.Map.Base & 169 & 6 & 7 & 0 & 0
XMonad.StackSet^[1] & 91 & 1& 0 4 & 0


HsColour  & 242 & 7 & 13 & 1 & 1

HsColour.hs & 13 & 2 & 3 & 0  & 0
Language.Haskell.HsColour.hs & 10 & 0 & 0 & 0 & 0


Language.Haskell.HsColour.ACSS.hs & 38 & 2 & 2 & 1 & 0 
Language.Haskell.HsColour.Anchors.hs & 16 & ??(0) & 0 & 0 & 0 
Language.Haskell.HsColour.ANSI.hs & 29& 1 & 0 & 0 & 1
Language.Haskell.HsColour.Classify.hs & 19&??(2) & 2 & 0 & 0
Language.Haskell.HsColour.ColourHighlight.hs &22 & 0 & 0 & 0 & 0
Language.Haskell.HsColour.Colourise.hs & 28& 0 & 0 & 0 & 0
Language.Haskell.HsColour.CSS.hs &7& & 0 & 0 & 0 & 0
Language.Haskell.HsColour.General.hs & 2& 0 & 0 & 0 & 0
Language.Haskell.HsColour.HTML.hs & 18& 0 & 0 & 0 & 0
Language.Haskell.HsColour.InlineCSS.hs & 13 & 0 & 0 & 0 & 0
Language.Haskell.HsColour.LaTeX.hs & 9& 0 & 0 & 0 & 0
Language.Haskell.HsColour.MIRC.hs &10 & 1 & 6 & 0	 & 0
Language.Haskell.HsColour.Options.hs & 4& 0 & 0 & 0 & 0
Language.Haskell.HsColour.Output.hs & 16& 0 & 0 & 0 & 0
Language.Haskell.HsColour.TTY.hs & 4& 0 & 0 & 0 & 0

[1] :: 3 patterns automatically proved (x:xs) = reverse y:ys