diff options
Diffstat (limited to 'hypsrc-test/ref/src/Polymorphism.html')
| -rw-r--r-- | hypsrc-test/ref/src/Polymorphism.html | 135 |
1 files changed, 71 insertions, 64 deletions
diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index 1b166aff..e1c13828 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -7,19 +7,21 @@ ><body ><pre ><span class="hs-pragma" - >{-# LANGUAGE RankNTypes #-}</span + >{-# LANGUAGE Haskell2010 #-}</span ><span > </span ><span id="line-2" ></span ><span class="hs-pragma" - >{-# LANGUAGE ScopedTypeVariables #-}</span + >{-# LANGUAGE RankNTypes #-}</span ><span > </span ><span id="line-3" ></span + ><span class="hs-pragma" + >{-# LANGUAGE ScopedTypeVariables #-}</span ><span > </span @@ -30,6 +32,11 @@ </span ><span id="line-5" ></span + ><span + > +</span + ><span id="line-6" + ></span ><span class="hs-keyword" >module</span ><span @@ -43,17 +50,17 @@ ><span > </span - ><span id="line-6" + ><span id="line-7" ></span ><span > </span - ><span id="line-7" + ><span id="line-8" ></span ><span > </span - ><span id="line-8" + ><span id="line-9" ></span ><span id="" ><span class="annot" @@ -102,7 +109,7 @@ ><span > </span - ><span id="line-9" + ><span id="line-10" ></span ><span id="foo" ><span class="annot" @@ -132,12 +139,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-10" + ><span id="line-11" ></span ><span > </span - ><span id="line-11" + ><span id="line-12" ></span ><span class="annot" ><a href="Polymorphism.html#foo%27" @@ -200,7 +207,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-12" + ><span id="line-13" ></span ><span id="foo%27" ><span class="annot" @@ -230,12 +237,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-13" + ><span id="line-14" ></span ><span > </span - ><span id="line-14" + ><span id="line-15" ></span ><span id="" ><span id="" @@ -300,7 +307,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-15" + ><span id="line-16" ></span ><span id="bar" ><span class="annot" @@ -330,12 +337,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-16" + ><span id="line-17" ></span ><span > </span - ><span id="line-17" + ><span id="line-18" ></span ><span class="annot" ><a href="Polymorphism.html#bar%27" @@ -422,7 +429,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-18" + ><span id="line-19" ></span ><span id="bar%27" ><span class="annot" @@ -452,12 +459,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-19" + ><span id="line-20" ></span ><span > </span - ><span id="line-20" + ><span id="line-21" ></span ><span id="" ><span id="" @@ -552,7 +559,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-21" + ><span id="line-22" ></span ><span id="baz" ><span class="annot" @@ -582,12 +589,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-22" + ><span id="line-23" ></span ><span > </span - ><span id="line-23" + ><span id="line-24" ></span ><span class="annot" ><a href="Polymorphism.html#baz%27" @@ -704,7 +711,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-24" + ><span id="line-25" ></span ><span id="baz%27" ><span class="annot" @@ -734,12 +741,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-25" + ><span id="line-26" ></span ><span > </span - ><span id="line-26" + ><span id="line-27" ></span ><span id="" ><span class="annot" @@ -820,7 +827,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-27" + ><span id="line-28" ></span ><span id="quux" ><span class="annot" @@ -889,12 +896,12 @@ forall a. a -> a ><span > </span - ><span id="line-28" + ><span id="line-29" ></span ><span > </span - ><span id="line-29" + ><span id="line-30" ></span ><span class="annot" ><a href="Polymorphism.html#quux%27" @@ -989,7 +996,7 @@ forall a. a -> a ><span > </span - ><span id="line-30" + ><span id="line-31" ></span ><span id="quux%27" ><span class="annot" @@ -1058,17 +1065,17 @@ forall a. a -> a ><span > </span - ><span id="line-31" + ><span id="line-32" ></span ><span > </span - ><span id="line-32" + ><span id="line-33" ></span ><span > </span - ><span id="line-33" + ><span id="line-34" ></span ><span id="" ><span class="annot" @@ -1135,7 +1142,7 @@ forall a. a -> a ><span > </span - ><span id="line-34" + ><span id="line-35" ></span ><span id="num" ><span class="annot" @@ -1165,12 +1172,12 @@ forall a. HasCallStack => a ><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="Polymorphism.html#num%27" @@ -1251,7 +1258,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-37" + ><span id="line-38" ></span ><span id="num%27" ><span class="annot" @@ -1281,12 +1288,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-38" + ><span id="line-39" ></span ><span > </span - ><span id="line-39" + ><span id="line-40" ></span ><span id="" ><span id="" @@ -1397,7 +1404,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-40" + ><span id="line-41" ></span ><span id="eq" ><span class="annot" @@ -1427,12 +1434,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-41" + ><span id="line-42" ></span ><span > </span - ><span id="line-42" + ><span id="line-43" ></span ><span class="annot" ><a href="Polymorphism.html#eq%27" @@ -1565,7 +1572,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-43" + ><span id="line-44" ></span ><span id="eq%27" ><span class="annot" @@ -1595,12 +1602,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-44" + ><span id="line-45" ></span ><span > </span - ><span id="line-45" + ><span id="line-46" ></span ><span id="" ><span id="" @@ -1689,7 +1696,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-46" + ><span id="line-47" ></span ><span id="mon" ><span class="annot" @@ -1719,12 +1726,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-47" + ><span id="line-48" ></span ><span > </span - ><span id="line-48" + ><span id="line-49" ></span ><span class="annot" ><a href="Polymorphism.html#mon%27" @@ -1835,7 +1842,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-49" + ><span id="line-50" ></span ><span id="mon%27" ><span class="annot" @@ -1865,17 +1872,17 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-50" + ><span id="line-51" ></span ><span > </span - ><span id="line-51" + ><span id="line-52" ></span ><span > </span - ><span id="line-52" + ><span id="line-53" ></span ><span id="" ><span class="annot" @@ -1974,7 +1981,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-53" + ><span id="line-54" ></span ><span id="norf" ><span class="annot" @@ -2031,12 +2038,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-54" + ><span id="line-55" ></span ><span > </span - ><span id="line-55" + ><span id="line-56" ></span ><span class="annot" ><a href="Polymorphism.html#norf%27" @@ -2149,7 +2156,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-56" + ><span id="line-57" ></span ><span id="norf%27" ><span class="annot" @@ -2206,17 +2213,17 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-57" + ><span id="line-58" ></span ><span > </span - ><span id="line-58" + ><span id="line-59" ></span ><span > </span - ><span id="line-59" + ><span id="line-60" ></span ><span class="annot" ><a href="Polymorphism.html#plugh" @@ -2267,7 +2274,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-60" + ><span id="line-61" ></span ><span id="plugh" ><span class="annot" @@ -2323,12 +2330,12 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-61" + ><span id="line-62" ></span ><span > </span - ><span id="line-62" + ><span id="line-63" ></span ><span class="annot" ><a href="Polymorphism.html#thud" @@ -2431,7 +2438,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-63" + ><span id="line-64" ></span ><span id="thud" ><span class="annot" @@ -2477,7 +2484,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-64" + ><span id="line-65" ></span ><span > </span @@ -2548,7 +2555,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-65" + ><span id="line-66" ></span ><span > </span @@ -2557,7 +2564,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-66" + ><span id="line-67" ></span ><span > </span @@ -2641,7 +2648,7 @@ forall a. HasCallStack => a ><span > </span - ><span id="line-67" + ><span id="line-68" ></span ></pre ></body |