diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 00:55:50 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 01:03:17 +0800 |
| commit | 039b2346cd7a9998135636146ea234eb9cc0fbab (patch) | |
| tree | 79312a767c40b3ba2c35148184e3702fa41afe2b /html-test/ref | |
| parent | 18e9417edcda21dd23edf675b41f46ab336d773f (diff) | |
Handle infix vs prefix names correctly everywhere, by explicitly specifying the context
The basic idea is that "a" and "+" are either pretty-printed as "a" and "(+)" or "`a`" and "+"
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/Ticket75.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index c6746f39..830e123a 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -48,7 +48,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");}; ><li class="src short" ><span class="keyword" >data</span - > a <a href="" + > a <a href="" >:-</a > b = <a href="" >Q</a @@ -68,9 +68,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");}; ><p class="src" ><span class="keyword" >data</span - > a <a name="t::-45-" class="def" + > a <a name="t::-45-" class="def" >:-</a - > b </p + > b</p ><div class="subs constructors" ><p class="caption" >Constructors</p |