Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

H

haddock
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Model experiments

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

62bf25cb

Commit 62bf25cb authored 4 years ago by Krzysztof Gogolewski

Downloads
- Patches
- Plain Diff

Display linear/multiplicity arrows correctly (#1238)

Previously we were ignoring multiplicity and displayed
a %1 -> b as a -> b.

(cherry picked from commit b4b4d896)

parent a2f9f297

Loading

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

haddock-api/src/Haddock/Backends/LaTeX.hs 11 additions, 3 deletions

haddock-api/src/Haddock/Backends/LaTeX.hs
haddock-api/src/Haddock/Backends/Xhtml/Decl.hs 7 additions, 2 deletions

haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
haddock-api/src/Haddock/Backends/Xhtml/Utils.hs 7 additions, 2 deletions

haddock-api/src/Haddock/Backends/Xhtml/Utils.hs
html-test/ref/LinearTypes.html 108 additions, 0 deletions

html-test/ref/LinearTypes.html
html-test/src/LinearTypes.hs 14 additions, 0 deletions

html-test/src/LinearTypes.hs
latex-test/ref/LinearTypes/LinearTypes.tex 30 additions, 0 deletions

latex-test/ref/LinearTypes/LinearTypes.tex
latex-test/ref/LinearTypes/haddock.sty 57 additions, 0 deletions

latex-test/ref/LinearTypes/haddock.sty
latex-test/ref/LinearTypes/main.tex 11 additions, 0 deletions

latex-test/ref/LinearTypes/main.tex
latex-test/src/LinearTypes/LinearTypes.hs 14 additions, 0 deletions

latex-test/src/LinearTypes/LinearTypes.hs

with 259 additions and 7 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment