+++ /dev/null
-A: 3
-Aap: 937 63 27 26
-Acase: 719 67 31 30
-Aconstr: 62 25 25
-Alam: 967 64 32 32
-Alet: 1015 65 29 28
-Alist: 899 802 799 782 773 770 762 700 675 649 553 415
-Also: 682 596
-Annexpr: 842 120 52 45 44 18 17
-Anum: 515 61 24 24
-Association: 411
-Atomicprogram: 119
-Avar: 879 60 23 23
-Basedefs: 8
-Big: 735 733 718
-Cannot: 306
-Case: 822 622 601
-Cexpr: 1053 1052 988 987 952 915 914 841 698 673 648 646 589 586 511
-Char: 120 109 78
-Circular: 268
-Constralt: 800 771
-Corrected: 4
-Eap: 523
-Ecase: 540
-Econstr: 520
-Elam: 531 530 528 526
-Elet: 533
-End: 1104
-Enum: 514
-Eq: 390
-Error: 621 601
-Evar: 517
-Fail: 1090 1090 1073 1073 1012 1012 1000 1000 964 964 935 934 927 926 861 861 854 854 635 633 631 629 364 324 324 131 125
-False: 1003 150 131 92 90 89 81
-File: 3
-Formatting: 13
-Int: 498 495 484 483 475 474
-Just: 789
-Keeping: 378
-Merging: 329
-Message: 1054 989 953 916 877 842 747 706 702 678 677 651 590 512 361 318 280 258 120
-Myutils: 10
-Naam: 1051 1022 986 951 876 842 815 802 801 799 782 773 772 770 762 700 699 675 674 649 647 615 615 588 587 553 415 415 120 108 52 45 44
-New: 438
-No: 125
-Nothing: 790
-Ok: 1092 1075 1015 1014 1002 967 966 937 936 928 879 863 862 855 845 749 718 717 634 632 630 628 515 363 323 321 264 262 133 130 124
-Projection: 627
-Reply: 1054 989 953 916 877 842 747 706 702 678 677 651 590 512 361 318 280 258 120
-Representation: 155
-Rhs: 656 655 654
-Rhss: 716
-Scheme: 1085 1034 974 891 776 569 404 403 385 141
-Subst: 900 842 747 745 705 703 430 399 370 361 361 347 347 346 334 333 318 316 280 278 258 255 240 231 224 223 222 210 197 43
-Substitutions: 193
-T1: 681
-Tarr: 969 929 566 296 296 293 218 218 189 163 103 90 87
-Tcons: 794 790 739 568 515 515 299 299 290 216 216 188 177 170 102 93 86 85 84
-Tctypeenv: 1049 1024 1020 984 949 912 874 839 696 671 644 584 509 432 431 422 117
-Tdefcons: 793
-Tdefexpr: 783
-Tdefvar: 786
-Texpr: 1023 889 842 842 784 746 704 370 370 317 317 279 279 257 239 212 211 199 182 175 168 161 160 159 120 108 77 52 45 44
-The: 503
-Tk: 681
-True: 1093 150 130 95 91 88 87
-Tvar: 974 929 902 789 739 568 293 290 283 282 269 261 245 244 242 241 241 214 206 203 202 187 101 83
-Tvname: 899 899 799 782 770 762 700 675 649 468 443 423 383 256 238 198 183
-Type: 1043 978 943 906 868 833 548 305 267 97
-Typecheck5: 1104 7 3
-Typedef: 1048 983 948 911 873 838 816 814 760 701 695 676 670 650 643 583 552 508
-Typeenv: 120 53
-Typeinfo: 1054 989 953 916 877 706 702 678 677 651 590 512
-Typenamesupply: 1050 1021 985 950 913 887 875 840 761 697 672 645 585 553 551 510 467 459 459 458 451 450 442 118
-Typescheme: 888 802 773 553 401 400 382
-Undeclared: 820
-Unification: 251
-Utils: 9
-a: 637 636 636 634 632 630 630 574 392 391 390 390 17 16 4
-abstractions: 943
-accordance: 806
-actual: 562
-ae1: 937 936 934 929 928 63 63 27 26
-ae2: 937 936 934 929 928 63 63 27 26
-afn: 70 66
-al: 1038 1036 1034 902 902 894 893 794 793 418 417
-all: 681 655 654 241
-allowable: 713
-als: 607 593
-alternatives: 601
-alters: 544 543
-alts: 543 540 68 67
-an: 715 594 574
-and: 716 681 656 627 597
-ann: 21 20
-annalts: 31 30
-anndefs: 29 28
-annotatede: 1015 1014 967 966 864 862 861 856 855
-annotatedes: 864 862
-annotatedrhss: 737 720
-annotree: 135 133
-applications: 906
-apply: 712 574
-applyntimes: 577 575 572
-arg: 577 576 575 574
-arglists: 544 541
-argument: 596 588
-as: 655 597
-associates: 558
-association: 594
-b: 637 636 634 632 632 630 615 615 415 415 93 86 85 84 83 18 16
-basetypes: 128 122
-be: 805
-big: 717
-bindings: 717 716 584
-binds: 347
-body: 71 70
-bool: 177 150 85 85
-builtintypes: 149 146 127
-bvar: 1095 1085 1078 1067 974 958
-bvars: 1067 1062
-c: 794 793 764 637 637 636 634 634 632 630 521 520 102 62 25 25 18 17
-cal: 776 775 567 560 555
-calculate: 654
-call: 714 655
-calt: 808 807
-calts: 809 807 806
-caltscurried: 566 556
-caltsxlated: 567 566
-case: 548
-char: 86 86
-check: 715
-checker: 503 3
-checking: 1043 978 943 906 868 833 548
-chr: 83
-cl: 829 827 826 95 93
-cname: 775
-compute: 682
-concat: 727 425 350 147 143 102 95 68 66
-constrtypes: 147 145
-constructor: 621 583 565
-constructors: 822 820 815 598 587 543 541
-contains: 822
-cparams: 808 807 776 775
-cparamss: 809 807 805
-cs: 828 818 607 604 599 593 64
-current: 584
-decls: 1098 1026 1020 1005
-deduced: 715
-definition: 682 598 594
-definitions: 814 583
-dl: 538 533 66 65
-downhill: 241
-e: 1093 1092 1090 1076 1075 1073 1057 1056 1003 1002 1000 992 991 955 955 847 846 536 535 533 531 530 529 528 527 526 406 406 64 64 32 32
-e1: 918 918 755 752 751 750 749 524 523
-e2: 918 918 755 753 752 751 750 524 523
-e3: 753 752
-each: 710 656 655 558
-elem: 829 406 394
-else: 823 821 602 536 339 285 204 125
-enscheme: 569 556
-eqn: 324 323 323
-eqns: 321 320
-error: 305 267
-es: 1058 1056 995 991 856 855 854 847 846 753 752 538 536 535
-expr: 128 122 35 34
-expression: 822 716 714 586
-expressions: 1043 978 833 597 589 548 155
-exprs: 544 541
-f: 790 789 787 462 461 453 453 445 141 139 133 133 38 35 32 31 29 27 27 21 20
-f2: 462 461 461
-fail: 822 820 620 600 304 266
-failed: 97
-final: 735 719 718
-finalconstrtypes: 147 139 128
-finalnamesupply: 572 556
-finalns: 145 128
-finaltype: 969 967 967 939 937 937 882 879 879
-first: 1100 1098 829 740 608
-foldr: 566 321 188
-for: 710 681 681 656 655 654 4
-from: 716
-ftvs: 827 826
-fullenv: 143 139 124
-fullenvwords: 143 124
-func: 577 577 575
-function: 574
-functions: 627 565
-g: 663 662
-gamma: 1098 1098 1097 1097 1093 1092 1090 1080 1080 1076 1075 1073 1058 1057 1056 1029 1026 1026 1006 1006 1005 1005 1003 1002 1000 995 992 991 958 958 955 955 918 918 881 879 856 855 854 847 847 846 844 722 708 696 684 680 663 657 653 602 593 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514 434 434 425 425
-gammas: 654
-gather: 716 655
-gathered: 717
-general: 713
-get: 714 712 681 594
-going: 270
-good: 131 130 123
-gs: 663 662
-head: 823 735 374
-hence: 681
-here: 815
-if: 821 819 599 534 337 283 202 123
-import: 10 9 8
-in: 1037 820 805 682 622 621 601 601 598 594 569 559 385 305 267 263 189 189 189 188 188 187 185 185 182
-input: 715 713
-instance: 715
-int: 515 515 170 84 84
-into: 711
-is: 715
-k: 621 619 618 418 418 417
-ks: 623 618
-l: 189 189 188 188 187 187
-lambda: 943
-lead: 241
-length: 821 819 599 599 572
-let: 978
-letrec: 1043
-lhs: 733 731 731 729
-list: 815
-lists: 833 805 596 588 411
-ljustify: 112
-lookup: 99 98 97 96 83
-lookupresult: 206 204 202
-m: 1104 1090 1090 1073 1073 1012 1012 1000 1000 964 964 935 934 927 926 861 861 854 854 635 635 633 633 631 631 629 629 365 364 324 324 3
-mainexpr: 29 28
-make: 710
-map: 1100 1098 1095 1078 1067 1034 1028 829 794 776 740 739 738 737 735 688 687 608 568 567 563 425 356 355 354 216 143 139 102 95 68 66 31 29
-map2nd: 902 567 566 556
-mapaccuml: 146
-mapannalt: 37 31
-mapanndefn: 34 29
-mapannexpr: 32 30 28 26 25 24 23 21
-me: 66 65
-merge: 711 609 607
-missing: 601
-mixed: 822
-module: 7
-most: 713
-must: 805
-n: 791 790 786 727 709 709 704 703 689 688 687 685 685 577 576 575 574 515 514 491 491 490 489 489 489 488 487 478 478 478 406 406 406 310 308 308 306 305 305 273 270 270 268 267 267 112 61 24 24
-naam: 141 141 112 111 71 70 38 37 35 34
-name: 959 920 585 571 470 445 442 97
-namemap: 794 793 791 786
-nbvs: 1100 1098 1096 1096 1095 1092 1090 1079 1079 1078 1076 1075 1073 1062 1058 1057
-new: 716 558 347
-newbinds: 341 339 337
-newsub: 755 753
-newtvs: 738 708 700 684 680 659 657 653 605 602 567 563 560
-newunifiers: 356 355
-newunifierschecked: 356 351 350
-no: 418
-node: 58 58 21 20
-nodetype: 58
-non: 247 247
-not: 534 406 394
-notarrow: 94 93
-note: 805
-notelem: 263
-ns: 1099 1092 1090 1076 1075 1073 1067 1067 1061 1060 1060 1056 1036 1034 1028 1026 1007 1002 1000 994 991 959 957 957 955 955 921 921 920 918 918 893 891 882 879 856 855 854 849 846 844 764 764 722 708 697 684 680 665 653 606 593 572 560 555 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514 492 491 491 488 487 479 478 478 470 470 470 445 445 146 122
-ns0: 1099 1098 1060 1057 1007 1005 994 992 849 847
-ns1: 1099 1093 1061 1058 1007 1003 995 994 849 847 665 660 606 602
-ns2: 1062 1061 665 657 606 605
-nsl: 664 662 661
-nsl1: 664 663
-nsl2: 664 663
-nub: 1037 825 599 569 353 100
-of: 833 815 715 714 710 683 598 594 565 378 347 329 155 13
-og: 374 373
-ogs: 374 373
-oldgroups: 355 354 351
-olds: 347
-oldvars: 354 353 351
-on: 656
-one: 711
-ordered: 805
-otherwise: 577 492 490 479 265 99
-p: 294 293 291 290
-pair: 347
-panic: 635 633 631 629 418 365 97
-param: 805
-pars: 38 37
-pass: 656 595
-phi: 1097 1096 1093 1092 1080 1079 1076 1075 1015 1015 1014 1014 1012 1006 1003 1002 969 967 966 939 937 936 929 928 894 891 863 862 861 856 856 855 735 733 733 733 731 729 727 727 727 727 725 724 723 723 722 718 709 709 705 703 689 687 685 685 434 434 406 406 404 403 354 353 349 341 336 323 323 321 320 303 301 299 297 296 294 293 291 290 288 287 285 284 282 264 262 260 218 218 218 216 216 214 214 206 204 201 47 47
-phit: 288 285 284
-phitvn: 287 285 283
-poly: 558
-pretty: 95 93 92 91 90 89 88 87 86 85 84 83 81
-program: 621 601 305 267
-psi: 863 863 862
-q: 294 293 291 290
-r: 663 662 363 363
-recflag: 1015 1014 1012 29 28
-recursive: 534 533
-reflect: 597
-reoals: 720 708 699 684 680 659 657 653 609 602
-reorder: 596
-reores: 660 653 609 602
-res: 607 593
-resexpr: 38 37
-result: 791 787 717 683
-resulting: 597 589
-results: 13
-return: 717
-reverse: 731
-revised: 571
-rf: 65
-rhs: 727 709 705 689 685
-rhsannexprs: 1093 1092 1090 1076 1075 1015 1014 1012 1003 1002
-rhsgammas: 660 659
-rhstc1: 663 662 661 660
-rhstcs: 737 735 708 702 688 687 684 680 660 657
-rhstypes: 995 992
-rootenv: 139 137
-rootsubst: 135 133
-roottree: 137 135 124
-roottype: 133
-rs: 663 662
-rubbish: 627
-s: 731 727 725 725 724 724 723 723 722 719 712 654 461 453 453 445
-scheme: 882 881 434 425 403 399 385 382
-schemes: 1028 1026
-scvs: 1037 1036 893 891 406 406 404 404 403 385 385
-second: 1034 738 563 68 68
-sequence: 1067 1036 893 764 598 470 470 467
-sigmas: 656
-signature: 712
-similar: 627
-so: 655 597
-source: 621 601 305 267
-st: 434 434
-stau: 725 724 723 722
-stree: 725 724 723 722
-stvs: 560 555
-sub: 969 939 755 752 751 750 749 749 287 214 201 197
-sub1: 226 226
-sub2: 226 226
-subnames: 1100
-subst: 1038 902 899 894 879 845 731 689 515 355 233 231
-substitution: 717 712 268
-substitutions: 711 710 329 241
-such: 418
-supply: 585 571
-sw: 722 708 698 684 680 657 653 602 593 68 67
-switch: 716 714 586 541 540
-switchexpr: 31 30
-t: 1085 1085 1038 1038 1037 1034 1034 1015 1015 1014 969 966 891 891 863 862 861 856 855 764 404 403 385 385 288 282 272 264 263 261 260 185 185 141 141 101 101 100 98 98 81 80
-t1: 929 928 307 303 297 297 296 296 218 218 189 189 163 163 103 103 91 90 88 87
-t2: 929 928 309 303 297 297 296 296 218 218 189 189 163 163 103 103 92 90 89 87
-t2e: 71 68 68 67 66 65 64 64 63 63 63 62 61 60 58 58 56
-tau: 735 731 731 729 724 719 718 709 704 689 688 685
-tc: 1093 1003 955 847 722 714 663 655 540 533 530 528 527 526 523 520 517 514 508 127
-tcadd: 1098 1026 1020 1005
-tcal: 1038 902 899 894
-tcap: 918 911 524
-tcap1: 928 926 918
-tcap2: 936 934 929
-tcapply: 969 939 287 214 201 197
-tcarrow: 163 159
-tcbar: 1037 394 390 385
-tcbool: 177 175
-tccase: 593 583 541
-tccase1: 653 643 602
-tccase2: 680 670 657
-tccase3: 708 695 684
-tccharval: 881 418 417 415
-tccheck: 122 117
-tccheckunifier: 365 364 363 361 356
-tcconstrtypeschemes: 555 551 146
-tcdelta: 264 247 242 238
-tcdeoksel: 755 733 689 629 629 628
-tcdeplete: 957 921 572 470 453 450
-tcexclude: 406 404
-tcextend: 284 260 255
-tcgenbar: 1034 1028
-tcgetallgammas: 809 807 804 799 659
-tcgetgamman: 808 775 770
-tcgettypedef: 818 814 604
-tcid: 879 845 731 689 515 355 233 231
-tcint: 170 168
-tck31sel: 739 636
-tck33: 740 659 637 608
-tcl: 1058 995 918 856 846 844 838
-tcl1: 855 854 847
-tcl2: 862 861 856
-tclambda: 955 948 531 529
-tclambda1: 966 964 955
-tclet: 991 983 535
-tclet1: 1002 1000 992
-tclet2: 1093 1014 1012 1003
-tcletrec: 1056 1048 536
-tcletrec1: 1075 1073 1057
-tcletrec2: 1092 1090 1076
-tcmapannexpr: 47 38 35 32 31 29 27 27 20 16
-tcmergesubs: 733 727 339 336 333
-tcmergesubsmain: 349 346 341
-tcn: 300 300 299 299 216 216
-tcname: 1067 1036 893 764 470 470 467
-tcnew: 1067 1067 1062 974 958
-tcnewinstance: 891 887 882
-tcnewtypevars: 764 760 605 560
-tcnext: 959 920 470 445 442
-tcnsdlimit: 499 499 496 495 489 489
-tcnsdouble: 492 491 487 486 483 462
-tcnsslimit: 499 498 478
-tcnssucc: 492 479 478 477 474 461 453
-tcok13sel: 723 687 631 631 630
-tcok23sel: 735 724 688 633 633 632
-tcok33sel: 737 725 635 635 634
-tcold: 1095 1085 1078
-tcoldunified: 374 373 372 370 351
-tcpretty: 143 111 108
-tcreorder: 623 618 617 615 609
-tcresult: 133 127 123
-tcscomp: 1015 863 264 226 222
-tcshowtexpr: 309 307 272 269 113 97 80 77
-tcsplit: 1099 1061 1060 1007 994 849 665 664 606 461 458
-tcsub: 1097 1096 1080 1079 1038 1006 891 863 856 735 729 434 434 430 404 403 399 374 288 218 218 218 216 216 214 210 204 47
-tcsubstanntree: 135 47 43
-tctdefsubst: 794 793 786 782 776 567
-tctreetoenv: 137 55 52
-tctvars: 1037 569 385 263 185 182
-tcunify: 929 755 751 731 323 303 299 296 294 293 291 290 285 282 278
-tcunifyl: 1076 320 316 301 297
-tcunifyset: 753 752 750 749 745 689 355
-tcunknowns: 1029 425 425 422 385 382
-tcvar: 879 873 521 518
-tdcnames: 740 720 609 608 599
-tdefs: 146 127 122
-tdefset: 825 823 821 819
-tdinuse: 740 739 708 701 684 680 659 657 653 608 605 604 602
-tds: 1093 1092 1090 1076 1075 1073 1058 1057 1056 1003 1002 1000 995 992 991 955 955 918 918 879 856 855 854 847 847 846 844 827 818 722 708 695 684 680 663 657 653 604 602 593 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514
-tdsignature: 739 729 568 566
-te: 1097 1096 1080 1079 1029 1006 856 434 430 425 422
-texp: 569 569 569
-texpr: 247 247
-that: 715
-the: 717 717 716 716 715 714 714 712 712 712 711 710 683 682 682 681 681 655 654 654 598 597 596 594 571 565 565 562 559
-themselves: 562
-then: 822 820 656 600 535 338 284 203 124
-therein: 595
-these: 731
-this: 715
-tijp: 71 70
-times: 574
-tipe: 113 111
-tn: 568 560 555
-tname: 827 826
-to: 1038 902 899 894 727 714 712 712 709 709 704 703 689 688 687 685 685 681 655 597 595 574 270
-track: 378
-tree: 725 719 56 55 47 47
-ts: 1098 1095 1078 1076 1076 1075 1028 1026 1005 1002 863 862 301 301 299 299 216 216 188 188 102 102 99 98
-tvars: 710 189 189 189 188 188 187 185
-tvdict: 103 103 103 102 102 101 100 100 83
-tvl: 809 808 807 804 776 775
-tvn: 974 974 969 966 964 959 958 955 939 936 934 929 929 928 926 920 918 789 789 287 284 283 282 269 264 263 261 260 247 247 245 245 244 244 243 242 214 214 206 206 203 202 201
-tvn2: 245 245 244 244 243 242
-tvname: 99 98 98 96 83 83
-tvs: 739 738 572 568 563
-type: 1038 891 863 814 735 729 717 715 714 713 682 682 595 594 584 583 562 559 558 503 404 374 288 218 218 218 216 216 214 210 204 155 125 47 3
-typedef: 712
-types: 683 656 565 378
-u: 374 373
-undeclared: 621
-unified: 347
-unifiedolds: 341 339 338
-unifier: 683 681
-unifiers: 681
-unify: 324 323 321 306
-unknown: 710
-unknowns: 1037 1034 1029 1028
-unzip2: 609 544 543 538
-uol: 623 619 618 617
-up: 710
-us: 374 373
-use: 820 594
-used: 815
-usedc: 829 828
-utdomain: 353
-utlookup: 791
-utlookupall: 354
-utlookupdef: 619 418 206
-utrange: 425
-v: 60 23 23
-v5: 3
-var: 558 247 247
-variable: 418
-variables: 868 682 595 562 438
-vars: 595 558
-version: 4
-vl: 764 764
-vs: 141 32 32
-where: 1094 1077 1059 1035 1027 1004 993 968 956 938 919 892 880 848 824 788 754 721 686 664 658 603 557 542 537 489 462 405 352 340 322 286 205 186 140 133 126 82 57 22 7
-with: 806 558 308
-x: 1085 974 974 967 966 964 958 955 955 881 879 879 628 628 531 530 529 528 518 517 434 434 394 394 394 187 187 133 133 130
-x2: 131
-xs: 1093 1092 1090 1076 1075 1073 1067 1067 1062 1057 1056 1026 1026 1015 1014 1012 1005 1003 1002 1000 992 991 538 536 535 531 530 394 394
-y: 531 530 188
-ys: 394 394
-zip: 1076 1067 1036 1026 1015 893 776 764 720 720 607 607 351 301
projects / ghc-hetmet.git / blobdiff