26dbcfa · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #4102 from joom/master

Add styling for metavariables in LaTeX and HTML pretty printer

commit26dbcfa4bbcc6bf5d1cec6104ba3ca0b5f0989ac authorAhmad Salim Al-Sibahi <asal@itu.dk> dateWed 4 Oct 2017, 20:22 (9 years ago) parenta3583be b71e85b

1 file changed+3−1

compare with master

unifiedsplit

src/Idris/Output.hs+3−1

src/Idris/Output.hs+3−1

@@ -362,6 +362,7 @@ renderExternal fmt width doc

362362 [".idris-data { color: red; } ",

363363 ".idris-type { color: blue; }",

364364 ".idris-function {color: green; }",

365+ ".idris-metavar {color: turquoise; }",

365366 ".idris-keyword { font-weight: bold; }",

366367 ".idris-bound { color: purple; }",

367368 ".idris-implicit { font-style: italic; }",

@@ -375,7 +376,8 @@ renderExternal fmt width doc

375376 "\\newcommand{\\"++ cmd ++

376377 "}[1]{\\textcolor{"++ color ++"}{#1}}")

377378 [("IdrisData", "red"), ("IdrisType", "blue"),

378− ("IdrisBound", "magenta"), ("IdrisFunction", "green")] ++

379+ ("IdrisBound", "magenta"), ("IdrisFunction", "green"),

380+ ("IdrisMetavar", "cyan")] ++

379381 ["\\newcommand{\\IdrisKeyword}[1]{{\\underline{#1}}}",

380382 "\\newcommand{\\IdrisImplicit}[1]{{\\itshape \\IdrisBound{#1}}}",

381383 "\n",