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