@@ -750,11 +750,6 @@ elab ist info emode opts fn tm
750750 = do focus n
751751 elabE (ina, g, inty, False) tm
752752
753− holesInTerm tm = do hs <- get_holes
754− return $ intersect (freeNames tm) hs
755− removeAll xs [] = []
756− removeAll xs (y:ys) | y `elem` xs = removeAll xs ys
757− | otherwise = y : removeAll xs ys
758753
759754 elab' ina (PUnquote t) = fail "Found unquote outside of quasiquote"
760755 elab' ina x = fail $ "Unelaboratable syntactic form " ++ showTmImpls x