Another wee comment adjustment
commit8fcaa828427b4da52c027ece87fc66689d7be9c2
authorTimo Petteri Sinnemäki <timo.sinnemaki@helsinki.fi>
dateFri 4 Apr 2014, 20:46 (13 years ago)
parent751a6ee
src/Idris/AbsSyntax.hs+1−1
@@ -945,7 +945,7 @@ expandParams dec ps ns infs tm = en tm
945945 | otherwise = PLam n (en t) (en s)
946946 en (PPi p n t s)
947947 | n `elem` (map fst ps ++ ns)
948− = let n' = mkShadow n in -- FIXME THINK SHADOWING TacImp?
948+ = let n' = mkShadow n in -- TODO THINK SHADOWING TacImp?
949949 PPi (enTacImp p) n' (en t) (en (shadow n n' s))
950950 | otherwise = PPi (enTacImp p) n (en t) (en s)
951951 en (PLet n ty v s)