aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src/Types.html
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-03-06 19:26:49 -0500
committerBen Gamari <ben@smart-cactus.org>2021-03-06 19:26:49 -0500
commit65868397a59e61b575c70c0757dddbbba9cb5ac9 (patch)
tree91254d8ae801ed55c82f44efcafabac88df28415 /hypsrc-test/ref/src/Types.html
parent0bf811ba98af90f852066734977aacb898ba8e69 (diff)
parente57036c8fa31679243a97f4c14fdfbcbc07da9c5 (diff)
Merge remote-tracking branch 'origin/ghc-head' into HEAD
Diffstat (limited to 'hypsrc-test/ref/src/Types.html')
-rw-r--r--hypsrc-test/ref/src/Types.html87
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