Display linear/multiplicity arrows correctly (#1238)
Previously we were ignoring multiplicity and displayed a %1 -> b as a -> b.
parent
059acb11
No related branches found
No related tags found
Showing
- haddock-api/src/Haddock/Backends/LaTeX.hs 11 additions, 3 deletionshaddock-api/src/Haddock/Backends/LaTeX.hs
- haddock-api/src/Haddock/Backends/Xhtml/Decl.hs 7 additions, 2 deletionshaddock-api/src/Haddock/Backends/Xhtml/Decl.hs
- haddock-api/src/Haddock/Backends/Xhtml/Utils.hs 7 additions, 2 deletionshaddock-api/src/Haddock/Backends/Xhtml/Utils.hs
- html-test/ref/LinearTypes.html 108 additions, 0 deletionshtml-test/ref/LinearTypes.html
- html-test/src/LinearTypes.hs 14 additions, 0 deletionshtml-test/src/LinearTypes.hs
- latex-test/ref/LinearTypes/LinearTypes.tex 30 additions, 0 deletionslatex-test/ref/LinearTypes/LinearTypes.tex
- latex-test/ref/LinearTypes/haddock.sty 57 additions, 0 deletionslatex-test/ref/LinearTypes/haddock.sty
- latex-test/ref/LinearTypes/main.tex 11 additions, 0 deletionslatex-test/ref/LinearTypes/main.tex
- latex-test/src/LinearTypes/LinearTypes.hs 14 additions, 0 deletionslatex-test/src/LinearTypes/LinearTypes.hs
Loading