GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

unlexing latex code: no space between closing $ and punctuation

Browse Source
This commit is contained in:
aarne
2014-10-17 07:04:50 +00:00
parent 42cfacbf86
commit 2caf6fa125
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/runtime/haskell/PGF/Lexing.hs
View File

@@ -81,10 +81,13 @@ unlexMixed = capitInit . concat . alternate False where
alternate env s = case s of alternate env s = case s of
_:_ -> case break (=="$") s of _:_ -> case break (=="$") s of
(t,[]) -> unlex env t : [] (t,[]) -> unlex env t : []
(t,c:m) -> unlex env t : sep env c : alternate (not env) m (t,c:m) -> unlex env t : sep env c m : alternate (not env) m
_ -> [] _ -> []
unlex env = if env then unlexCode else unlexText unlex env = if env then unlexCode else (uncapitInit . unlexText)
sep env c = if env then c ++ " " else " " ++ c sep env c m = case (m,env) of
([p]:_,True) | isPunct p -> c -- closing $ glued to next punct
(_, True) -> c ++ " " -- closing $ otherwise separated by space from what follows
_ -> " " ++ c -- put space before opening $
-- * Additional lexing uitilties -- * Additional lexing uitilties