git.iko.soy/Idris-dev
on master help sign in
Remove needless map in Core/TT
7041f65Edwin Brady
src/Core/TT.hs+1−1
compare with master
unifiedsplit
@@ -1010,7 +1010,7 @@ orderPats tm = op [] tm
1010 where
1010 where
1011 op ps (Bind n (PVar t) sc) = op ((n, PVar t) : ps) sc
1011 op ps (Bind n (PVar t) sc) = op ((n, PVar t) : ps) sc
1012 op ps (Bind n (Hole t) sc) = op ((n, Hole t) : ps) sc
1012 op ps (Bind n (Hole t) sc) = op ((n, Hole t) : ps) sc
1013− op ps sc = bindAll (map (\ (n, t) -> (n, t)) (sortP ps)) sc
1013+ op ps sc = bindAll (sortP ps) sc
1014
1014
1015 sortP ps = pick [] (reverse ps)
1015 sortP ps = pick [] (reverse ps)
1016
1016