diff options
Diffstat (limited to 'hypsrc-test/ref/src/Types.html')
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 87 |
1 files changed, 47 insertions, 40 deletions
diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index 835fafb0..641ba512 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -7,12 +7,14 @@ ><body ><pre ><span class="hs-pragma" - >{-# LANGUAGE TypeFamilies #-}</span + >{-# LANGUAGE Haskell2010 #-}</span ><span > </span ><span id="line-2" ></span + ><span class="hs-pragma" + >{-# LANGUAGE TypeFamilies #-}</span ><span > </span @@ -23,6 +25,11 @@ </span ><span id="line-4" ></span + ><span + > +</span + ><span id="line-5" + ></span ><span class="hs-keyword" >module</span ><span @@ -36,17 +43,17 @@ ><span > </span - ><span id="line-5" + ><span id="line-6" ></span ><span > </span - ><span id="line-6" + ><span id="line-7" ></span ><span > </span - ><span id="line-7" + ><span id="line-8" ></span ><span class="hs-keyword" >data</span @@ -91,12 +98,12 @@ ><span > </span - ><span id="line-8" + ><span id="line-9" ></span ><span > </span - ><span id="line-9" + ><span id="line-10" ></span ><span class="hs-keyword" >newtype</span @@ -133,12 +140,12 @@ ><span > </span - ><span id="line-10" + ><span id="line-11" ></span ><span > </span - ><span id="line-11" + ><span id="line-12" ></span ><span class="hs-keyword" >type</span @@ -181,7 +188,7 @@ ><span > </span - ><span id="line-12" + ><span id="line-13" ></span ><span class="hs-keyword" >type</span @@ -224,17 +231,17 @@ ><span > </span - ><span id="line-13" + ><span id="line-14" ></span ><span > </span - ><span id="line-14" + ><span id="line-15" ></span ><span > </span - ><span id="line-15" + ><span id="line-16" ></span ><span class="hs-keyword" >data</span @@ -275,12 +282,12 @@ ><span > </span - ><span id="line-16" + ><span id="line-17" ></span ><span > </span - ><span id="line-17" + ><span id="line-18" ></span ><span class="hs-keyword" >data</span @@ -347,7 +354,7 @@ ><span > </span - ><span id="line-18" + ><span id="line-19" ></span ><span class="hs-keyword" >data</span @@ -414,17 +421,17 @@ ><span > </span - ><span id="line-19" + ><span id="line-20" ></span ><span > </span - ><span id="line-20" + ><span id="line-21" ></span ><span > </span - ><span id="line-21" + ><span id="line-22" ></span ><span class="hs-keyword" >type</span @@ -465,12 +472,12 @@ ><span > </span - ><span id="line-22" + ><span id="line-23" ></span ><span > </span - ><span id="line-23" + ><span id="line-24" ></span ><span class="hs-keyword" >type</span @@ -533,7 +540,7 @@ ><span > </span - ><span id="line-24" + ><span id="line-25" ></span ><span class="hs-keyword" >type</span @@ -596,17 +603,17 @@ ><span > </span - ><span id="line-25" + ><span id="line-26" ></span ><span > </span - ><span id="line-26" + ><span id="line-27" ></span ><span > </span - ><span id="line-27" + ><span id="line-28" ></span ><span class="annot" ><a href="Types.html#norf1" @@ -655,7 +662,7 @@ ><span > </span - ><span id="line-28" + ><span id="line-29" ></span ><span id="norf1" ><span class="annot" @@ -725,7 +732,7 @@ ><span > </span - ><span id="line-29" + ><span id="line-30" ></span ><span class="annot" ><a href="Types.html#norf1" @@ -790,12 +797,12 @@ ><span > </span - ><span id="line-30" + ><span id="line-31" ></span ><span > </span - ><span id="line-31" + ><span id="line-32" ></span ><span class="annot" ><a href="Types.html#norf2" @@ -844,7 +851,7 @@ ><span > </span - ><span id="line-32" + ><span id="line-33" ></span ><span id="norf2" ><span class="annot" @@ -914,7 +921,7 @@ ><span > </span - ><span id="line-33" + ><span id="line-34" ></span ><span class="annot" ><a href="Types.html#norf2" @@ -979,17 +986,17 @@ ><span > </span - ><span id="line-34" + ><span id="line-35" ></span ><span > </span - ><span id="line-35" + ><span id="line-36" ></span ><span > </span - ><span id="line-36" + ><span id="line-37" ></span ><span class="annot" ><a href="Types.html#norf1%27" @@ -1038,7 +1045,7 @@ ><span > </span - ><span id="line-37" + ><span id="line-38" ></span ><span id="norf1%27" ><span class="annot" @@ -1098,7 +1105,7 @@ ><span > </span - ><span id="line-38" + ><span id="line-39" ></span ><span class="annot" ><a href="Types.html#norf1%27" @@ -1153,12 +1160,12 @@ ><span > </span - ><span id="line-39" + ><span id="line-40" ></span ><span > </span - ><span id="line-40" + ><span id="line-41" ></span ><span class="annot" ><a href="Types.html#norf2%27" @@ -1207,7 +1214,7 @@ ><span > </span - ><span id="line-41" + ><span id="line-42" ></span ><span id="norf2%27" ><span class="annot" @@ -1267,7 +1274,7 @@ ><span > </span - ><span id="line-42" + ><span id="line-43" ></span ><span class="annot" ><a href="Types.html#norf2%27" @@ -1322,7 +1329,7 @@ ><span > </span - ><span id="line-43" + ><span id="line-44" ></span ></pre ></body |