github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 05:58:34 +03:00
Code Issues Projects Releases Wiki Activity

Give a type for for.

Browse Source
This commit is contained in:
Rob Rix 2017-03-09 12:24:11 -05:00
parent defd4a14ed
commit faa7096368
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/SES/Myers.hs
View File

@ -40,6 +40,7 @@ decompose myers = case myers of
n = length as n = length as
m = length bs m = length bs
for :: (Real a, Monad m) => a -> a -> a -> (a -> m b) -> m ()
for from to by with for from to by with
| from >= to = with from >> for (from + by) to by with | from >= to = with from >> for (from + by) to by with
| otherwise = return () | otherwise = return ()