ruler 0.4.0.1 → 0.4.0.2

raw patch · 2 files changed

+5/−3 lines, 2 files

Files

ruler.cabal +1/−1
src/AS2/Pretty.cag +4/−2

ruler.cabal view

@@ -1,5 +1,5 @@ Name:                ruler-Version:             0.4.0.1+Version:             0.4.0.2 Copyright:           Utrecht University, Department of Information and Computing Sciences, Software Technology group Description:         Ruler tool used by UHC (Utrecht Haskell Compiler) Synopsis:            Ruler tool for UHC

src/AS2/Pretty.cag view

@@ -166,8 +166,10 @@ %%[1 ag SEM RlDecl   | LTX             lhs     .   pp          =   let r = "\\" >|< (pcRule @lhs.ppCfg) >|< ppCurly @rlNm >|< ppCurly @vwNm-                                                        >-< ppBlockWithStrings "{%" "}" "\\\\" @preJds.ppL-                                                        >-< ppBlockWithStrings "{%" "}" "\\\\" @postJds.ppL+                                                        >-< (ppBlockWithStrings "{ " " }" "\\\\" $ {- map ensureTeXMath -} @preJds.ppL)+                                                        >-< (ppBlockWithStrings "{ " " }" "\\\\" $ {- map ensureTeXMath -} @postJds.ppL)+                                                        -- >-< ppBlockWithStrings "{%" "}" "\\\\" @preJds.ppL+                                                        -- >-< ppBlockWithStrings "{%" "}" "\\\\" @postJds.ppL                                                 in  mkTexCmdDef (pcDef @lhs.ppCfg) @nm r   | LTXAlias        lhs     .   pp          =   mkTexCmdDef (pcDef @lhs.ppCfg) @fullAliasNm (mkTexCmdUse (pcUse @lhs.ppCfg) @fullNm)