@@ -51,6 +51,8 @@ names over '_', patterns over names, etc.
5151split :: Name -> PTerm -> Idris [[(Name, PTerm)]]
5252split n t'
5353 = do ist <- getIState
54+ -- Make sure all the names in the term are accessible
55+ mapM_ (\n -> setAccessibility n Public) (allNamesIn t')
5456 (tm, ty, pats) <- elabValBind toplevel True (addImplPat ist t')
5557 logLvl 4 ("Elaborated:\n" ++ show tm ++ " : " ++ show ty ++ "\n" ++ show pats)
5658-- iputStrLn (show (delab ist tm) ++ " : " ++ show (delab ist ty))