Lifted the TODOs from Primitives.hs
commit76ab2e20bbcbcca7ed11b4868fcbdbc72f69f92d
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateFri 10 Oct 2014, 10:00 (12 years ago)
parent54dbb85
src/Idris/Primitives.hs+3
@@ -262,6 +262,9 @@ vecCmps ity =
262262 , iCmp ity "gt" True (bCmp ity (>)) LGt total
263263 ]
264264
265+-- The TODOs in this function are documented as Issue #1617 on the issue tracker.
266+--
267+-- https://github.com/idris-lang/Idris-dev/issues/1617
265268vecOps :: IntTy -> [Prim]
266269vecOps ity@(ITVec elem count) =
267270 [ Prim (sUN $ "prim__mk" ++ intTyName ity)