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

Generalize insertion over the annotation types.

Browse Source
This commit is contained in:
Rob Rix 2017-09-14 10:01:34 -04:00
parent 840a15982c
commit 334c43796b
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/RWS.hs
View File

@ -196,11 +196,11 @@ defaultMoveBound = 2
-- Returns a state (insertion index, old unmapped terms, new unmapped terms), and value of (index, inserted diff),
-- given a previous index, two sets of umapped terms, and an unmapped term to insert.
insertion :: Int
-> UnmappedTerms syntax (Record fields)
-> UnmappedTerms syntax (Record fields)
-> UnmappedTerm syntax (Record fields)
-> State (Int, UnmappedTerms syntax (Record fields), UnmappedTerms syntax (Record fields))
(MappedDiff syntax (Record fields) (Record fields))
-> UnmappedTerms syntax ann1
-> UnmappedTerms syntax ann2
-> UnmappedTerm syntax ann2
-> State (Int, UnmappedTerms syntax ann1, UnmappedTerms syntax ann2)
(MappedDiff syntax ann1 ann2)
insertion previous unmappedA unmappedB (UnmappedTerm j _ b) = do
put (previous, unmappedA, IntMap.delete j unmappedB)
pure (That j, That b)