git.iko.soy/Idris-dev
on master help sign in
Add primitive vector types to REPL autocompletion
c404489Benjamin Saunders
src/Idris/Completion.hs+2−1
compare with master
unifiedsplit
@@ -63,7 +63,8 @@ names = do i <- get
63 mapMaybe (nameString . fst) (ctxtAlist ctxt) ++
63 mapMaybe (nameString . fst) (ctxtAlist ctxt) ++
64 -- Explicitly add primitive types, as these are special-cased in the parser
64 -- Explicitly add primitive types, as these are special-cased in the parser
65 ["Int", "Integer", "Float", "Char", "String", "Type",
65 ["Int", "Integer", "Float", "Char", "String", "Type",
66− "Ptr", "Bits8", "Bits16", "Bits32", "Bits64"]
66+ "Ptr", "Bits8", "Bits16", "Bits32", "Bits64",
67+ "Bits8x16", "Bits16x8", "Bits32x4", "Bits64x2"]
67
68
68metavars :: Idris [String]
69metavars :: Idris [String]
69metavars = do i <- get
70metavars = do i <- get