git.iko.soy/Idris-dev
on master help sign in
Merge pull request #401 from Ralith/vector-type-completion

Add primitive vector types to REPL autocompletion

commit89caf4f0c59d6a7940ec31ad730c5430c6ef4b49 authorEdwin Brady <edwin.brady@gmail.com> dateWed 17 Jul 2013, 01:59 (13 years ago) parentfcb66cac404489
1 file changed+2−1
compare with master
unifiedsplit
src/Idris/Completion.hs+2−1
src/Idris/Completion.hs+2−1
@@ -63,7 +63,8 @@ names = do i <- get
6363 mapMaybe (nameString . fst) (ctxtAlist ctxt) ++
6464 -- Explicitly add primitive types, as these are special-cased in the parser
6565 ["Int", "Integer", "Float", "Char", "String", "Type",
66− "Ptr", "Bits8", "Bits16", "Bits32", "Bits64"]
66+ "Ptr", "Bits8", "Bits16", "Bits32", "Bits64",
67+ "Bits8x16", "Bits16x8", "Bits32x4", "Bits64x2"]
6768
6869metavars :: Idris [String]
6970metavars = do i <- get