@@ -750,11 +750,6 @@ elab ist info emode opts fn tm
750 = do focus n
750 = do focus n
751 elabE (ina, g, inty, False) tm
751 elabE (ina, g, inty, False) tm
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
759 elab' ina (PUnquote t) = fail "Found unquote outside of quasiquote"
754 elab' ina (PUnquote t) = fail "Found unquote outside of quasiquote"
760 elab' ina x = fail $ "Unelaboratable syntactic form " ++ showTmImpls x
755 elab' ina x = fail $ "Unelaboratable syntactic form " ++ showTmImpls x