@@ -262,6 +262,9 @@ vecCmps ity =
262 , iCmp ity "gt" True (bCmp ity (>)) LGt total
262 , iCmp ity "gt" True (bCmp ity (>)) LGt total
265+-- The TODOs in this function are documented as Issue #1617 on the issue tracker.
267+-- https://github.com/idris-lang/Idris-dev/issues/1617
265vecOps :: IntTy -> [Prim]
268vecOps :: IntTy -> [Prim]
266vecOps ity@(ITVec elem count) =
269vecOps ity@(ITVec elem count) =
267 [ Prim (sUN $ "prim__mk" ++ intTyName ity)
270 [ Prim (sUN $ "prim__mk" ++ intTyName ity)