Change getNextId to create a zero width span at new id

This commit is contained in:
Ng Zhi An 2018-06-12 22:16:00 -07:00
parent e717802de1
commit b9a9eb2529
1 changed files with 3 additions and 7 deletions

View File

@ -185,8 +185,9 @@ getNextIdAt sourcepos = do
getNextId :: Monad m => SCParser m Id getNextId :: Monad m => SCParser m Id
getNextId = do getNextId = do
pos <- getPosition start <- startSpan
getNextIdAt pos id <- endSpan start
return id
data IncompleteInterval = IncompleteInterval SourcePos data IncompleteInterval = IncompleteInterval SourcePos
@ -204,11 +205,6 @@ endSpan (IncompleteInterval start) = do
} }
return id return id
zeroWidthSpan = do
start <- startSpan
id <- endSpan start
return id
addToHereDocMap id list = do addToHereDocMap id list = do
state <- getState state <- getState
let map = hereDocMap state let map = hereDocMap state