Skip to content

Commit a427f59

Browse files
bgamaribgamari
committed
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
1 parent 9c23d5d commit a427f59

9 files changed

+2374
-381
lines changed

‎hypsrc-test/ref/src/Classes.html

+70-91
Large diffs are not rendered by default.

‎hypsrc-test/ref/src/Constructors.html

+38-39
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
21
<html xmlns="http://www.w3.org/1999/xhtml"
32
><head
43
><link rel="stylesheet" type="text/css" href="style.css"
@@ -375,16 +374,16 @@
375374
></a
376375
><span
377376
> </span
378-
><a name="local-0"
379-
><a href="#local-0"
377+
><a name=""
378+
><a href="#"
380379
><span class="hs-identifier"
381380
>foo</span
382381
></a
383382
></a
384383
><span
385384
> </span
386-
><a name="local-0"
387-
><a href="#local-0"
385+
><a name=""
386+
><a href="#"
388387
><span class="hs-identifier"
389388
>n</span
390389
></a
@@ -405,7 +404,7 @@
405404
>*</span
406405
><span
407406
> </span
408-
><a href="#local-0"
407+
><a href="#"
409408
><span class="hs-identifier hs-var"
410409
>n</span
411410
></a
@@ -421,7 +420,7 @@
421420
></a
422421
><span
423422
> </span
424-
><a href="#local-0"
423+
><a href="#"
425424
><span class="hs-identifier hs-var"
426425
>foo</span
427426
></a
@@ -497,8 +496,8 @@
497496
>,</span
498497
><span
499498
> </span
500-
><a name="local-0"
501-
><a href="#local-0"
499+
><a name=""
500+
><a href="#"
502501
><span class="hs-identifier"
503502
>xs</span
504503
></a
@@ -521,7 +520,7 @@
521520
>=</span
522521
><span
523522
> </span
524-
><a href="#local-0"
523+
><a href="#"
525524
><span class="hs-identifier hs-var"
526525
>xs</span
527526
></a
@@ -552,8 +551,8 @@
552551
>,</span
553552
><span
554553
> </span
555-
><a name="local-0"
556-
><a href="#local-0"
554+
><a name=""
555+
><a href="#"
557556
><span class="hs-identifier"
558557
>xs</span
559558
></a
@@ -580,7 +579,7 @@
580579
>reverse</span
581580
><span
582581
> </span
583-
><a href="#local-0"
582+
><a href="#"
584583
><span class="hs-identifier hs-var"
585584
>xs</span
586585
></a
@@ -651,8 +650,8 @@
651650
></a
652651
><span
653652
> </span
654-
><a name="local-0"
655-
><a href="#local-0"
653+
><a name=""
654+
><a href="#"
656655
><span class="hs-identifier"
657656
>x</span
658657
></a
@@ -669,8 +668,8 @@
669668
> </span
670669
><span class="hs-special"
671670
>(</span
672-
><a name="local-0"
673-
><a href="#local-0"
671+
><a name=""
672+
><a href="#"
674673
><span class="hs-identifier"
675674
>f1</span
676675
></a
@@ -689,8 +688,8 @@
689688
>_</span
690689
><span
691690
> </span
692-
><a name="local-0"
693-
><a href="#local-0"
691+
><a name=""
692+
><a href="#"
694693
><span class="hs-identifier"
695694
>n</span
696695
></a
@@ -707,8 +706,8 @@
707706
>,</span
708707
><span
709708
> </span
710-
><a name="local-0"
711-
><a href="#local-0"
709+
><a name=""
710+
><a href="#"
712711
><span class="hs-identifier"
713712
>f2</span
714713
></a
@@ -723,8 +722,8 @@
723722
></a
724723
><span
725724
> </span
726-
><a name="local-0"
727-
><a href="#local-0"
725+
><a name=""
726+
><a href="#"
728727
><span class="hs-identifier"
729728
>f3</span
730729
></a
@@ -750,7 +749,7 @@
750749
></a
751750
><span
752751
> </span
753-
><a href="#local-0"
752+
><a href="#"
754753
><span class="hs-identifier hs-var"
755754
>x'</span
756755
></a
@@ -760,7 +759,7 @@
760759
>+</span
761760
><span
762761
> </span
763-
><a href="#local-0"
762+
><a href="#"
764763
><span class="hs-identifier hs-var"
765764
>n</span
766765
></a
@@ -776,7 +775,7 @@
776775
></a
777776
><span
778777
> </span
779-
><a href="#local-0"
778+
><a href="#"
780779
><span class="hs-identifier hs-var"
781780
>f1</span
782781
></a
@@ -786,13 +785,13 @@
786785
>+</span
787786
><span
788787
> </span
789-
><a href="#local-0"
788+
><a href="#"
790789
><span class="hs-identifier hs-var"
791790
>aux</span
792791
></a
793792
><span
794793
> </span
795-
><a href="#local-0"
794+
><a href="#"
796795
><span class="hs-identifier hs-var"
797796
>f3</span
798797
></a
@@ -812,16 +811,16 @@
812811
></a
813812
><span
814813
> </span
815-
><a name="local-0"
816-
><a href="#local-0"
814+
><a name=""
815+
><a href="#"
817816
><span class="hs-identifier"
818817
>aux</span
819818
></a
820819
></a
821820
><span
822821
> </span
823-
><a name="local-0"
824-
><a href="#local-0"
822+
><a name=""
823+
><a href="#"
825824
><span class="hs-identifier"
826825
>fx</span
827826
></a
@@ -838,7 +837,7 @@
838837
></a
839838
><span
840839
> </span
841-
><a href="#local-0"
840+
><a href="#"
842841
><span class="hs-identifier hs-var"
843842
>f2</span
844843
></a
@@ -854,7 +853,7 @@
854853
></a
855854
><span
856855
> </span
857-
><a href="#local-0"
856+
><a href="#"
858857
><span class="hs-identifier hs-var"
859858
>fx</span
860859
></a
@@ -870,7 +869,7 @@
870869
></a
871870
><span
872871
> </span
873-
><a href="#local-0"
872+
><a href="#"
874873
><span class="hs-identifier hs-var"
875874
>f3</span
876875
></a
@@ -881,8 +880,8 @@
881880
></a
882881
><span
883882
> </span
884-
><a name="local-0"
885-
><a href="#local-0"
883+
><a name=""
884+
><a href="#"
886885
><span class="hs-identifier"
887886
>x'</span
888887
></a
@@ -925,7 +924,7 @@
925924
>$</span
926925
><span
927926
> </span
928-
><a href="#local-0"
927+
><a href="#"
929928
><span class="hs-identifier hs-var"
930929
>x</span
931930
></a
@@ -937,4 +936,4 @@
937936
></pre
938937
></body
939938
></html
940-
>
939+
>

0 commit comments

Comments
 (0)