@@ -444,9 +444,7 @@ elabPE info fc caller r =
444444 qhash hash [] = showHex (abs hash `mod` 0xffffffff) ""
445445 qhash hash (x:xs) = qhash (hash * 33 + fromEnum x) xs
446446
447−-- checks if the clause is a possible left hand side. Returns the term if
448−-- possible, otherwise Nothing.
449−
447+-- | Checks if the clause is a possible left hand side.
450448checkPossible :: ElabInfo -> FC -> Bool -> Name -> PTerm -> Idris Bool
451449checkPossible info fc tcgen fname lhs_in
452450 = do ctxt <- getContext