1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00

Rename the parameter to note its plurality.

This commit is contained in:
Rob Rix 2016-03-18 14:00:19 -04:00
parent 2a5f465a66
commit 0e36a8af38

View File

@ -120,4 +120,4 @@ alignPatch (Replace term1 term2) = let info1 :< AlignThis a = hylo (alignTermBy
both (fst info1) (snd info2) :< AlignThese a b both (fst info1) (snd info2) :< AlignThese a b
alignTermBy :: (forall r. [Syntax leaf r] -> Aligned (Syntax leaf) r) -> Both Info -> Syntax leaf (AlignedDiff leaf) -> AlignedDiff leaf alignTermBy :: (forall r. [Syntax leaf r] -> Aligned (Syntax leaf) r) -> Both Info -> Syntax leaf (AlignedDiff leaf) -> AlignedDiff leaf
alignTermBy constructor info syntax = info :< constructor [syntax] alignTermBy constructor infos syntax = infos :< constructor [syntax]