@@ -59,7 +59,11 @@ nameString _ = Nothing
59names :: Idris [String]
59names :: Idris [String]
60names = do i <- get
60names = do i <- get
61 let ctxt = tt_ctxt i
61 let ctxt = tt_ctxt i
62− return $ nub $ mapMaybe (nameString . fst) $ ctxtAlist ctxt
63+ mapMaybe (nameString . fst) (ctxtAlist ctxt) ++
64+ -- Explicitly add primitive types, as these are special-cased in the parser
65+ ["Int", "Integer", "Float", "Char", "String", "Type",
66+ "Ptr", "Bits8", "Bits16", "Bits32", "Bits64"]
64metavars :: Idris [String]
68metavars :: Idris [String]
65metavars = do i <- get
69metavars = do i <- get