diff options
Diffstat (limited to 'hypsrc-test/ref/src/Types.html')
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 40 |
1 files changed, 32 insertions, 8 deletions
diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index c0eef664..e08382dd 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -713,7 +713,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -772,7 +775,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >1</span ></span ><span @@ -890,7 +896,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -949,7 +958,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >1</span ></span ><span @@ -1062,7 +1074,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -1111,7 +1126,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >1</span ></span ><span @@ -1219,7 +1237,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >0</span ></span ><span @@ -1268,7 +1289,10 @@ ><span > </span ><span class="annot" - ><span class="hs-number" + ><span class="annottext" + >Int +</span + ><span class="hs-number" >1</span ></span ><span |