diff options
Diffstat (limited to 'hypsrc-test/ref/src/Constructors.html')
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index 4c6b6720..bc671f67 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -346,7 +346,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -423,7 +426,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -452,7 +458,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -511,7 +520,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >42</span ></span ><span |