on master help sign in
Merge pull request #4581 from pykello/fix_stylize
62b7aabNiklas Larsson
src/Idris/IBC.hs+1−1
@@ -269,7 +269,7 @@ calculateHash ist f
269 mkHashFrom (map fst acc) (getDefs acc)
269 mkHashFrom (map fst acc) (getDefs acc)
270 where
270 where
271 mkHashFrom :: [Name] -> [Term] -> Int
271 mkHashFrom :: [Name] -> [Term] -> Int
272− mkHashFrom ns tms = sum (L.zipWith hashName [1..] ns) +
272+ mkHashFrom ns tms = sum (L.zipWith hashName [1..] ns) +
273 sum (L.zipWith hashTerm [1..] tms)
273 sum (L.zipWith hashTerm [1..] tms)
274
274
275 exported (_, Public) = True
275 exported (_, Public) = True