@@ -102,6 +102,7 @@ addMissing fn updatefile l n
102 [] -> return ""
102 [] -> return ""
103 [(_, tms)] -> do tms' <- nameMissing tms
103 [(_, tms)] -> do tms' <- nameMissing tms
104 showNew (show n ++ "_rhs") 1 indent tms'
104 showNew (show n ++ "_rhs") 1 indent tms'
105+ other -> return "" -- happens if called on a metavar, or with no clauses
105 let (nonblank, rest) = span (not . all isSpace) (tyline:later)
106 let (nonblank, rest) = span (not . all isSpace) (tyline:later)
106 if updatefile
107 if updatefile
107 then do let fb = fn ++ "~"
108 then do let fb = fn ++ "~"