@@ -59,7 +59,11 @@ nameString _ = Nothing
5959names :: Idris [String]
6060names = do i <- get
6161 let ctxt = tt_ctxt i
62− return $ nub $ mapMaybe (nameString . fst) $ ctxtAlist ctxt
62+ return . nub $
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"]
6367
6468metavars :: Idris [String]
6569metavars = do i <- get