@@ -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