github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity

Reindent insertion.

Browse Source
This commit is contained in:
Rob Rix 2017-09-14 10:00:48 -04:00
parent 0c95006f37
commit 840a15982c
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 (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))
insertion previous unmappedA unmappedB (UnmappedTerm j _ b) = do
put (previous, unmappedA, IntMap.delete j unmappedB)
pure (That j, That b)