ghc/tests/programs/jules_xref/jules_xref.stdout

   1 ("A", [3])
   2 ("AAp", [26, 27, 63, 937])
   3 ("ACase", [30, 31, 67, 719])
   4 ("AConstr", [25, 25, 62])
   5 ("ALam", [32, 32, 64, 967])
   6 ("ALet", [28, 29, 65, 1015])
   7 ("AList", [415, 553, 649, 675, 700, 762, 770, 773, 782, 799, 802, 899])
   8 ("ANum", [24, 24, 61, 515])
   9 ("AVar", [23, 23, 60, 879])
  10 ("Also", [596, 682])
  11 ("AnnExpr", [17, 18, 44, 45, 52, 120, 842])
  12 ("Association", [411])
  13 ("AtomicProgram", [119])
  14 ("BaseDefs", [8])
  15 ("Big", [718, 733, 735])
  16 ("CASE", [601, 622, 822])
  17 ("CExpr", [511, 586, 589, 646, 648, 673, 698, 841, 914, 915, 952, 987, 988, 1052, 1053])
  18 ("Cannot", [306])
  19 ("Char", [78, 109, 120])
  20 ("Circular", [268])
  21 ("ConstrAlt", [771, 800])
  22 ("Corrected", [4])
  23 ("EAp", [523])
  24 ("ECase", [540])
  25 ("EConstr", [520])
  26 ("ELam", [526, 528, 530, 531])
  27 ("ELet", [533])
  28 ("ENum", [514])
  29 ("EVar", [517])
  30 ("End", [1104])
  31 ("Eq", [390])
  32 ("Error", [601, 621])
  33 ("Fail", [125, 131, 324, 324, 364, 629, 631, 633, 635, 854, 854, 861, 861, 926, 927, 934, 935, 964, 964, 1000, 1000, 1012, 1012, 1073, 1073, 1090, 1090])
  34 ("False", [81, 89, 90, 92, 131, 150, 1003])
  35 ("File", [3])
  36 ("Formatting", [13])
  37 ("Int", [474, 475, 483, 484, 495, 498])
  38 ("Just", [789])
  39 ("Keeping", [378])
  40 ("Merging", [329])
  41 ("Message", [120, 258, 280, 318, 361, 512, 590, 651, 677, 678, 702, 706, 747, 842, 877, 916, 953, 989, 1054])
  42 ("MyUtils", [10])
  43 ("Naam", [44, 45, 52, 108, 120, 415, 415, 553, 587, 588, 615, 615, 647, 649, 674, 675, 699, 700, 762, 770, 772, 773, 782, 799, 801, 802, 815, 842, 876, 951, 986, 1022, 1051])
  44 ("New", [438])
  45 ("No", [125])
  46 ("Nothing", [790])
  47 ("Ok", [124, 130, 133, 262, 264, 321, 323, 363, 515, 628, 630, 632, 634, 717, 718, 749, 845, 855, 862, 863, 879, 928, 936, 937, 966, 967, 1002, 1014, 1015, 1075, 1092])
  48 ("Projection", [627])
  49 ("RHS", [654, 655, 656])
  50 ("RHSs", [716])
  51 ("Reply", [120, 258, 280, 318, 361, 512, 590, 651, 677, 678, 702, 706, 747, 842, 877, 916, 953, 989, 1054])
  52 ("Representation", [155])
  53 ("Scheme", [141, 385, 403, 404, 569, 776, 891, 974, 1034, 1085])
  54 ("Subst", [43, 197, 210, 222, 223, 224, 231, 240, 255, 258, 278, 280, 316, 318, 333, 334, 346, 347, 347, 361, 361, 370, 399, 430, 703, 705, 745, 747, 842, 900])
  55 ("Substitutions", [193])
  56 ("T1", [681])
  57 ("TArr", [87, 90, 103, 163, 189, 218, 218, 293, 296, 296, 566, 929, 969])
  58 ("TCons", [84, 85, 86, 93, 102, 170, 177, 188, 216, 216, 290, 299, 299, 515, 515, 568, 739, 790, 794])
  59 ("TDefCons", [793])
  60 ("TDefExpr", [783])
  61 ("TDefVar", [786])
  62 ("TExpr", [44, 45, 52, 77, 108, 120, 159, 160, 161, 168, 175, 182, 199, 211, 212, 239, 257, 279, 279, 317, 317, 370, 370, 704, 746, 784, 842, 842, 889, 1023])
  63 ("TVName", [183, 198, 238, 256, 383, 423, 443, 468, 649, 675, 700, 762, 770, 782, 799, 899, 899])
  64 ("TVar", [83, 101, 187, 202, 203, 206, 214, 241, 241, 242, 244, 245, 261, 269, 282, 283, 290, 293, 568, 739, 789, 902, 929, 974])
  65 ("TcTypeEnv", [117, 422, 431, 432, 509, 584, 644, 671, 696, 839, 874, 912, 949, 984, 1020, 1024, 1049])
  66 ("The", [503])
  67 ("Tk", [681])
  68 ("True", [87, 88, 91, 95, 130, 150, 1093])
  69 ("Type", [97, 267, 305, 548, 833, 868, 906, 943, 978, 1043])
  70 ("TypeCheck5", [3, 7, 1104])
  71 ("TypeDef", [508, 552, 583, 643, 650, 670, 676, 695, 701, 760, 814, 816, 838, 873, 911, 948, 983, 1048])
  72 ("TypeEnv", [53, 120])
  73 ("TypeInfo", [512, 590, 651, 677, 678, 702, 706, 877, 916, 953, 989, 1054])
  74 ("TypeNameSupply", [118, 442, 450, 451, 458, 459, 459, 467, 510, 551, 553, 585, 645, 672, 697, 761, 840, 875, 887, 913, 950, 985, 1021, 1050])
  75 ("TypeScheme", [382, 400, 401, 553, 773, 802, 888])
  76 ("Undeclared", [820])
  77 ("Unification", [251])
  78 ("Utils", [9])
  79 ("a", [4, 16, 17, 390, 390, 391, 392, 574, 630, 630, 632, 634, 636, 636, 637])
  80 ("aFN", [66, 70])
  81 ("abstractions", [943])
  82 ("accordance", [806])
  83 ("actual", [562])
  84 ("ae1", [26, 27, 63, 63, 928, 929, 934, 936, 937])
  85 ("ae2", [26, 27, 63, 63, 928, 929, 934, 936, 937])
  86 ("al", [417, 418, 793, 794, 893, 894, 902, 902, 1034, 1036, 1038])
  87 ("all", [241, 654, 655, 681])
  88 ("allowable", [713])
  89 ("als", [593, 607])
  90 ("alternatives", [601])
  91 ("alters", [543, 544])
  92 ("alts", [67, 68, 540, 543])
  93 ("an", [574, 594, 715])
  94 ("and", [597, 627, 656, 681, 716])
  95 ("ann", [20, 21])
  96 ("annAlts", [30, 31])
  97 ("annDefs", [28, 29])
  98 ("annoTree", [133, 135])
  99 ("annotatedE", [855, 856, 861, 862, 864, 966, 967, 1014, 1015])
 100 ("annotatedEs", [862, 864])
 101 ("annotatedRHSs", [720, 737])
 102 ("applications", [906])
 103 ("apply", [574, 712])
 104 ("applyNtimes", [572, 575, 577])
 105 ("arg", [574, 575, 576, 577])
 106 ("arglists", [541, 544])
 107 ("argument", [588, 596])
 108 ("as", [597, 655])
 109 ("associates", [558])
 110 ("association", [594])
 111 ("b", [16, 18, 83, 84, 85, 86, 93, 415, 415, 615, 615, 630, 632, 632, 634, 636, 637])
 112 ("baseTypes", [122, 128])
 113 ("be", [805])
 114 ("big", [717])
 115 ("bindings", [584, 716, 717])
 116 ("binds", [347])
 117 ("body", [70, 71])
 118 ("bool", [85, 85, 150, 177])
 119 ("builtInTypes", [127, 146, 149])
 120 ("bvar", [958, 974, 1067, 1078, 1085, 1095])
 121 ("bvars", [1062, 1067])
 122 ("c", [17, 18, 25, 25, 62, 102, 520, 521, 630, 632, 634, 634, 636, 637, 637, 764, 793, 794])
 123 ("cAltsCurried", [556, 566])
 124 ("cAltsXLated", [566, 567])
 125 ("cal", [555, 560, 567, 775, 776])
 126 ("calculate", [654])
 127 ("call", [655, 714])
 128 ("calt", [807, 808])
 129 ("calts", [806, 807, 809])
 130 ("case", [548])
 131 ("char", [86, 86])
 132 ("check", [715])
 133 ("checker", [3, 503])
 134 ("checking", [548, 833, 868, 906, 943, 978, 1043])
 135 ("chr", [83])
 136 ("cl", [93, 95, 826, 827, 829])
 137 ("cname", [775])
 138 ("compute", [682])
 139 ("concat", [66, 68, 95, 102, 143, 147, 350, 425, 727])
 140 ("constrTypes", [145, 147])
 141 ("constructor", [565, 583, 621])
 142 ("constructors", [541, 543, 587, 598, 815, 820, 822])
 143 ("contains", [822])
 144 ("cparams", [775, 776, 807, 808])
 145 ("cparamss", [805, 807, 809])
 146 ("cs", [64, 593, 599, 604, 607, 818, 828])
 147 ("current", [584])
 148 ("decls", [1005, 1020, 1026, 1098])
 149 ("deduced", [715])
 150 ("definition", [594, 598, 682])
 151 ("definitions", [583, 814])
 152 ("dl", [65, 66, 533, 538])
 153 ("downhill", [241])
 154 ("e", [32, 32, 64, 64, 406, 406, 526, 527, 528, 529, 530, 531, 533, 535, 536, 846, 847, 955, 955, 991, 992, 1000, 1002, 1003, 1056, 1057, 1073, 1075, 1076, 1090, 1092, 1093])
 155 ("e1", [523, 524, 749, 750, 751, 752, 755, 918, 918])
 156 ("e2", [523, 524, 750, 751, 752, 753, 755, 918, 918])
 157 ("e3", [752, 753])
 158 ("each", [558, 655, 656, 710])
 159 ("elem", [394, 406, 829])
 160 ("else", [125, 204, 285, 339, 536, 602, 821, 823])
 161 ("enScheme", [556, 569])
 162 ("eqn", [323, 323, 324])
 163 ("eqns", [320, 321])
 164 ("error", [267, 305])
 165 ("es", [535, 536, 538, 752, 753, 846, 847, 854, 855, 856, 991, 995, 1056, 1058])
 166 ("expr", [34, 35, 122, 128])
 167 ("expression", [586, 714, 716, 822])
 168 ("expressions", [155, 548, 589, 597, 833, 978, 1043])
 169 ("exprs", [541, 544])
 170 ("f", [20, 21, 27, 27, 29, 31, 32, 35, 38, 133, 133, 139, 141, 445, 453, 453, 461, 462, 787, 789, 790])
 171 ("f2", [461, 461, 462])
 172 ("fail", [266, 304, 600, 620, 820, 822])
 173 ("failed", [97])
 174 ("final", [718, 719, 735])
 175 ("finalConstrTypes", [128, 139, 147])
 176 ("finalNameSupply", [556, 572])
 177 ("finalNs", [128, 145])
 178 ("finalType", [879, 879, 882, 937, 937, 939, 967, 967, 969])
 179 ("first", [608, 740, 829, 1098, 1100])
 180 ("foldr", [188, 321, 566])
 181 ("for", [4, 654, 655, 656, 681, 681, 710])
 182 ("from", [716])
 183 ("ftvs", [826, 827])
 184 ("fullEnv", [124, 139, 143])
 185 ("fullEnvWords", [124, 143])
 186 ("func", [575, 577, 577])
 187 ("function", [574])
 188 ("functions", [565, 627])
 189 ("g", [662, 663])
 190 ("gamma", [425, 425, 434, 434, 514, 517, 518, 520, 521, 523, 524, 526, 527, 528, 529, 530, 531, 533, 535, 536, 540, 541, 593, 602, 653, 657, 663, 680, 684, 696, 708, 722, 844, 846, 847, 847, 854, 855, 856, 879, 881, 918, 918, 955, 955, 958, 958, 991, 992, 995, 1000, 1002, 1003, 1005, 1005, 1006, 1006, 1026, 1026, 1029, 1056, 1057, 1058, 1073, 1075, 1076, 1080, 1080, 1090, 1092, 1093, 1097, 1097, 1098, 1098])
 191 ("gammas", [654])
 192 ("gather", [655, 716])
 193 ("gathered", [717])
 194 ("general", [713])
 195 ("get", [594, 681, 712, 714])
 196 ("going", [270])
 197 ("good", [123, 130, 131])
 198 ("gs", [662, 663])
 199 ("head", [374, 735, 823])
 200 ("hence", [681])
 201 ("here", [815])
 202 ("if", [123, 202, 283, 337, 534, 599, 819, 821])
 203 ("import", [8, 9, 10])
 204 ("in", [182, 185, 185, 187, 188, 188, 189, 189, 189, 263, 267, 305, 385, 559, 569, 594, 598, 601, 601, 621, 622, 682, 805, 820, 1037])
 205 ("input", [713, 715])
 206 ("instance", [715])
 207 ("int", [84, 84, 170, 515, 515])
 208 ("into", [711])
 209 ("is", [715])
 210 ("k", [417, 418, 418, 618, 619, 621])
 211 ("ks", [618, 623])
 212 ("l", [187, 187, 188, 188, 189, 189])
 213 ("lambda", [943])
 214 ("lead", [241])
 215 ("length", [572, 599, 599, 819, 821])
 216 ("let", [978])
 217 ("letrec", [1043])
 218 ("lhs", [729, 731, 731, 733])
 219 ("list", [815])
 220 ("lists", [411, 588, 596, 805, 833])
 221 ("ljustify", [112])
 222 ("lookUpResult", [202, 204, 206])
 223 ("lookup", [83, 96, 97, 98, 99])
 224 ("m", [3, 324, 324, 364, 365, 629, 629, 631, 631, 633, 633, 635, 635, 854, 854, 861, 861, 926, 927, 934, 935, 964, 964, 1000, 1000, 1012, 1012, 1073, 1073, 1090, 1090, 1104])
 225 ("mainExpr", [28, 29])
 226 ("make", [710])
 227 ("map", [29, 31, 66, 68, 95, 102, 139, 143, 216, 354, 355, 356, 425, 563, 567, 568, 608, 687, 688, 735, 737, 738, 739, 740, 776, 794, 829, 1028, 1034, 1067, 1078, 1095, 1098, 1100])
 228 ("map2nd", [556, 566, 567, 902])
 229 ("mapAccuml", [146])
 230 ("mapAnnAlt", [31, 37])
 231 ("mapAnnDefn", [29, 34])
 232 ("mapAnnExpr", [21, 23, 24, 25, 26, 28, 30, 32])
 233 ("me", [65, 66])
 234 ("merge", [607, 609, 711])
 235 ("missing", [601])
 236 ("mixed", [822])
 237 ("module", [7])
 238 ("most", [713])
 239 ("must", [805])
 240 ("n", [24, 24, 61, 112, 267, 267, 268, 270, 270, 273, 305, 305, 306, 308, 308, 310, 406, 406, 406, 478, 478, 478, 487, 488, 489, 489, 489, 490, 491, 491, 514, 515, 574, 575, 576, 577, 685, 685, 687, 688, 689, 703, 704, 709, 709, 727, 786, 790, 791])
 241 ("naam", [34, 35, 37, 38, 70, 71, 111, 112, 141, 141])
 242 ("name", [97, 442, 445, 470, 571, 585, 920, 959])
 243 ("nameMap", [786, 791, 793, 794])
 244 ("nbvs", [1057, 1058, 1062, 1073, 1075, 1076, 1078, 1079, 1079, 1090, 1092, 1095, 1096, 1096, 1098, 1100])
 245 ("new", [347, 558, 716])
 246 ("newBinds", [337, 339, 341])
 247 ("newSub", [753, 755])
 248 ("newTVs", [560, 563, 567, 602, 605, 653, 657, 659, 680, 684, 700, 708, 738])
 249 ("newUnifiers", [355, 356])
 250 ("newUnifiersChecked", [350, 351, 356])
 251 ("no", [418])
 252 ("node", [20, 21, 58, 58])
 253 ("nodeType", [58])
 254 ("non", [247, 247])
 255 ("not", [394, 406, 534])
 256 ("notArrow", [93, 94])
 257 ("notElem", [263])
 258 ("note", [805])
 259 ("ns", [122, 146, 445, 445, 470, 470, 470, 478, 478, 479, 487, 488, 491, 491, 492, 514, 517, 518, 520, 521, 523, 524, 526, 527, 528, 529, 530, 531, 533, 535, 536, 540, 541, 555, 560, 572, 593, 606, 653, 665, 680, 684, 697, 708, 722, 764, 764, 844, 846, 849, 854, 855, 856, 879, 882, 891, 893, 918, 918, 920, 921, 921, 955, 955, 957, 957, 959, 991, 994, 1000, 1002, 1007, 1026, 1028, 1034, 1036, 1056, 1060, 1060, 1061, 1067, 1067, 1073, 1075, 1076, 1090, 1092, 1099])
 260 ("ns0", [847, 849, 992, 994, 1005, 1007, 1057, 1060, 1098, 1099])
 261 ("ns1", [602, 606, 660, 665, 847, 849, 994, 995, 1003, 1007, 1058, 1061, 1093, 1099])
 262 ("ns2", [605, 606, 657, 665, 1061, 1062])
 263 ("nsl", [661, 662, 664])
 264 ("nsl1", [663, 664])
 265 ("nsl2", [663, 664])
 266 ("nub", [100, 353, 569, 599, 825, 1037])
 267 ("of", [13, 155, 329, 347, 378, 565, 594, 598, 683, 710, 714, 715, 815, 833])
 268 ("og", [373, 374])
 269 ("ogs", [373, 374])
 270 ("oldGroups", [351, 354, 355])
 271 ("oldVars", [351, 353, 354])
 272 ("olds", [347])
 273 ("on", [656])
 274 ("one", [711])
 275 ("ordered", [805])
 276 ("otherwise", [99, 265, 479, 490, 492, 577])
 277 ("p", [290, 291, 293, 294])
 278 ("pair", [347])
 279 ("panic", [97, 365, 418, 629, 631, 633, 635])
 280 ("param", [805])
 281 ("pars", [37, 38])
 282 ("pass", [595, 656])
 283 ("phi", [47, 47, 201, 204, 206, 214, 214, 216, 216, 218, 218, 218, 260, 262, 264, 282, 284, 285, 287, 288, 290, 291, 293, 294, 296, 297, 299, 301, 303, 320, 321, 323, 323, 336, 341, 349, 353, 354, 403, 404, 406, 406, 434, 434, 685, 685, 687, 689, 703, 705, 709, 709, 718, 722, 723, 723, 724, 725, 727, 727, 727, 727, 729, 731, 733, 733, 733, 735, 855, 856, 856, 861, 862, 863, 891, 894, 928, 929, 936, 937, 939, 966, 967, 969, 1002, 1003, 1006, 1012, 1014, 1014, 1015, 1015, 1075, 1076, 1079, 1080, 1092, 1093, 1096, 1097])
 284 ("phit", [284, 285, 288])
 285 ("phitvn", [283, 285, 287])
 286 ("poly", [558])
 287 ("pretty", [81, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 95])
 288 ("program", [267, 305, 601, 621])
 289 ("psi", [862, 863, 863])
 290 ("q", [290, 291, 293, 294])
 291 ("r", [363, 363, 662, 663])
 292 ("reOals", [602, 609, 653, 657, 659, 680, 684, 699, 708, 720])
 293 ("reOres", [602, 609, 653, 660])
 294 ("recFlag", [28, 29, 1012, 1014, 1015])
 295 ("recursive", [533, 534])
 296 ("reflect", [597])
 297 ("reorder", [596])
 298 ("res", [593, 607])
 299 ("resExpr", [37, 38])
 300 ("result", [683, 717, 787, 791])
 301 ("resulting", [589, 597])
 302 ("results", [13])
 303 ("return", [717])
 304 ("reverse", [731])
 305 ("revised", [571])
 306 ("rf", [65])
 307 ("rhs", [685, 689, 705, 709, 727])
 308 ("rhsAnnExprs", [1002, 1003, 1012, 1014, 1015, 1075, 1076, 1090, 1092, 1093])
 309 ("rhsGammas", [659, 660])
 310 ("rhsTc1", [660, 661, 662, 663])
 311 ("rhsTcs", [657, 660, 680, 684, 687, 688, 702, 708, 735, 737])
 312 ("rhsTypes", [992, 995])
 313 ("rootEnv", [137, 139])
 314 ("rootSubst", [133, 135])
 315 ("rootTree", [124, 135, 137])
 316 ("rootType", [133])
 317 ("rs", [662, 663])
 318 ("rubbish", [627])
 319 ("s", [445, 453, 453, 461, 654, 712, 719, 722, 723, 723, 724, 724, 725, 725, 727, 731])
 320 ("sTau", [722, 723, 724, 725])
 321 ("sTree", [722, 723, 724, 725])
 322 ("scheme", [382, 385, 399, 403, 425, 434, 881, 882])
 323 ("schemes", [1026, 1028])
 324 ("scvs", [385, 385, 403, 404, 404, 406, 406, 891, 893, 1036, 1037])
 325 ("second", [68, 68, 563, 738, 1034])
 326 ("sequence", [467, 470, 470, 598, 764, 893, 1036, 1067])
 327 ("sigmas", [656])
 328 ("signature", [712])
 329 ("similar", [627])
 330 ("so", [597, 655])
 331 ("source", [267, 305, 601, 621])
 332 ("st", [434, 434])
 333 ("stvs", [555, 560])
 334 ("sub", [197, 201, 214, 287, 749, 749, 750, 751, 752, 755, 939, 969])
 335 ("sub1", [226, 226])
 336 ("sub2", [226, 226])
 337 ("subnames", [1100])
 338 ("subst", [231, 233, 355, 515, 689, 731, 845, 879, 894, 899, 902, 1038])
 339 ("substitution", [268, 712, 717])
 340 ("substitutions", [241, 329, 710, 711])
 341 ("such", [418])
 342 ("supply", [571, 585])
 343 ("sw", [67, 68, 593, 602, 653, 657, 680, 684, 698, 708, 722])
 344 ("switch", [540, 541, 586, 714, 716])
 345 ("switchExpr", [30, 31])
 346 ("t", [80, 81, 98, 98, 100, 101, 101, 141, 141, 185, 185, 260, 261, 263, 264, 272, 282, 288, 385, 385, 403, 404, 764, 855, 856, 861, 862, 863, 891, 891, 966, 969, 1014, 1015, 1015, 1034, 1034, 1037, 1038, 1038, 1085, 1085])
 347 ("t1", [87, 88, 90, 91, 103, 103, 163, 163, 189, 189, 218, 218, 296, 296, 297, 297, 303, 307, 928, 929])
 348 ("t2", [87, 89, 90, 92, 103, 103, 163, 163, 189, 189, 218, 218, 296, 296, 297, 297, 303, 309, 928, 929])
 349 ("t2e", [56, 58, 58, 60, 61, 62, 63, 63, 63, 64, 64, 65, 66, 67, 68, 68, 71])
 350 ("tVs", [563, 568, 572, 738, 739])
 351 ("tau", [685, 688, 689, 704, 709, 718, 719, 724, 729, 731, 731, 735])
 352 ("tc", [127, 508, 514, 517, 520, 523, 526, 527, 528, 530, 533, 540, 655, 663, 714, 722, 847, 955, 1003, 1093])
 353 ("tcAdd", [1005, 1020, 1026, 1098])
 354 ("tcAl", [894, 899, 902, 1038])
 355 ("tcApply", [197, 201, 214, 287, 939, 969])
 356 ("tcArrow", [159, 163])
 357 ("tcBar", [385, 390, 394, 1037])
 358 ("tcBool", [175, 177])
 359 ("tcCharVal", [415, 417, 418, 881])
 360 ("tcCheck", [117, 122])
 361 ("tcCheckUnifier", [356, 361, 363, 364, 365])
 362 ("tcConstrTypeSchemes", [146, 551, 555])
 363 ("tcDeOkSel", [629])
 364 ("tcDeOksel", [628, 629, 689, 733, 755])
 365 ("tcDelta", [238, 242, 247, 264])
 366 ("tcDeplete", [450, 453, 470, 572, 921, 957])
 367 ("tcExclude", [404, 406])
 368 ("tcExtend", [255, 260, 284])
 369 ("tcGenbar", [1028, 1034])
 370 ("tcGetAllGammas", [659, 799, 804, 807, 809])
 371 ("tcGetGammaN", [770, 775, 808])
 372 ("tcGetTypeDef", [604, 814, 818])
 373 ("tcId", [231, 233, 355, 515, 689, 731, 845, 879])
 374 ("tcInt", [168, 170])
 375 ("tcK31sel", [636, 739])
 376 ("tcK33", [608, 637, 659, 740])
 377 ("tcMapAnnExpr", [16, 20, 27, 27, 29, 31, 32, 35, 38, 47])
 378 ("tcMergeSubs", [333, 336, 339, 727, 733])
 379 ("tcMergeSubsMain", [341, 346, 349])
 380 ("tcNSDouble", [462, 483, 486, 487, 491, 492])
 381 ("tcNSSucc", [453, 461, 474, 477, 478, 479, 492])
 382 ("tcNSdlimit", [489, 489, 495, 496, 499, 499])
 383 ("tcNSslimit", [478, 498, 499])
 384 ("tcName", [467, 470, 470, 764, 893, 1036, 1067])
 385 ("tcNew", [958, 974, 1062, 1067, 1067])
 386 ("tcNewTypeVars", [560, 605, 760, 764])
 387 ("tcNewinstance", [882, 887, 891])
 388 ("tcNext", [442, 445, 470, 920, 959])
 389 ("tcOk13sel", [630, 631, 631, 687, 723])
 390 ("tcOk23sel", [632, 633, 633, 688, 724, 735])
 391 ("tcOk33sel", [634, 635, 635, 725, 737])
 392 ("tcOld", [1078, 1085, 1095])
 393 ("tcOldUnified", [351, 370, 372, 373, 374])
 394 ("tcPretty", [108, 111, 143])
 395 ("tcReorder", [609, 615, 617, 618, 623])
 396 ("tcResult", [123, 127, 133])
 397 ("tcScomp", [222, 226, 264, 863, 1015])
 398 ("tcShowtExpr", [77, 80, 97, 113, 269, 272, 307, 309])
 399 ("tcSplit", [458, 461, 606, 664, 665, 849, 994, 1007, 1060, 1061, 1099])
 400 ("tcSub", [47, 204, 210, 214, 216, 216, 218, 218, 218, 288, 374, 399, 403, 404, 430, 434, 434, 729, 735, 856, 863, 891, 1006, 1038, 1079, 1080, 1096, 1097])
 401 ("tcSubstAnnTree", [43, 47, 135])
 402 ("tcTDefSubst", [567, 776, 782, 786, 793, 794])
 403 ("tcTreeToEnv", [52, 55, 137])
 404 ("tcTvars", [182, 185, 263, 385, 569, 1037])
 405 ("tcUnify", [278, 282, 285, 290, 291, 293, 294, 296, 299, 303, 323, 731, 751, 755, 929])
 406 ("tcUnifySet", [355, 689, 745, 749, 750, 752, 753])
 407 ("tcUnifyl", [297, 301, 316, 320, 1076])
 408 ("tcUnknowns", [382, 385, 422, 425, 425, 1029])
 409 ("tcap", [524, 911, 918])
 410 ("tcap1", [918, 926, 928])
 411 ("tcap2", [929, 934, 936])
 412 ("tccase", [541, 583, 593])
 413 ("tccase1", [602, 643, 653])
 414 ("tccase2", [657, 670, 680])
 415 ("tccase3", [684, 695, 708])
 416 ("tcl", [838, 844, 846, 856, 918, 995, 1058])
 417 ("tcl1", [847, 854, 855])
 418 ("tcl2", [856, 861, 862])
 419 ("tclambda", [529, 531, 948, 955])
 420 ("tclambda1", [955, 964, 966])
 421 ("tclet", [535, 983, 991])
 422 ("tclet1", [992, 1000, 1002])
 423 ("tclet2", [1003, 1012, 1014, 1093])
 424 ("tcletrec", [536, 1048, 1056])
 425 ("tcletrec1", [1057, 1073, 1075])
 426 ("tcletrec2", [1076, 1090, 1092])
 427 ("tcn", [216, 216, 299, 299, 300, 300])
 428 ("tcvar", [518, 521, 873, 879])
 429 ("tdCNames", [599, 608, 609, 720, 740])
 430 ("tdInUse", [602, 604, 605, 608, 653, 657, 659, 680, 684, 701, 708, 739, 740])
 431 ("tdSignature", [566, 568, 729, 739])
 432 ("tdefs", [122, 127, 146])
 433 ("tdefset", [819, 821, 823, 825])
 434 ("tds", [514, 517, 518, 520, 521, 523, 524, 526, 527, 528, 529, 530, 531, 533, 535, 536, 540, 541, 593, 602, 604, 653, 657, 663, 680, 684, 695, 708, 722, 818, 827, 844, 846, 847, 847, 854, 855, 856, 879, 918, 918, 955, 955, 991, 992, 995, 1000, 1002, 1003, 1056, 1057, 1058, 1073, 1075, 1076, 1090, 1092, 1093])
 435 ("te", [422, 425, 430, 434, 856, 1006, 1029, 1079, 1080, 1096, 1097])
 436 ("texp", [569, 569, 569])
 437 ("texpr", [247, 247])
 438 ("that", [715])
 439 ("the", [559, 562, 565, 565, 571, 594, 596, 597, 598, 654, 654, 655, 681, 681, 682, 682, 683, 710, 711, 712, 712, 712, 714, 714, 715, 716, 716, 717, 717])
 440 ("themselves", [562])
 441 ("then", [124, 203, 284, 338, 535, 600, 656, 820, 822])
 442 ("therein", [595])
 443 ("these", [731])
 444 ("this", [715])
 445 ("tijp", [70, 71])
 446 ("times", [574])
 447 ("tipe", [111, 113])
 448 ("tn", [555, 560, 568])
 449 ("tname", [826, 827])
 450 ("to", [270, 574, 595, 597, 655, 681, 685, 685, 687, 688, 689, 703, 704, 709, 709, 712, 712, 714, 727, 894, 899, 902, 1038])
 451 ("track", [378])
 452 ("tree", [47, 47, 55, 56, 719, 725])
 453 ("ts", [98, 99, 102, 102, 188, 188, 216, 216, 299, 299, 301, 301, 862, 863, 1002, 1005, 1026, 1028, 1075, 1076, 1076, 1078, 1095, 1098])
 454 ("tvars", [185, 187, 188, 188, 189, 189, 189, 710])
 455 ("tvdict", [83, 100, 100, 101, 102, 102, 103, 103, 103])
 456 ("tvl", [775, 776, 804, 807, 808, 809])
 457 ("tvn", [201, 202, 203, 206, 206, 214, 214, 242, 243, 244, 244, 245, 245, 247, 247, 260, 261, 263, 264, 269, 282, 283, 284, 287, 789, 789, 918, 920, 926, 928, 929, 929, 934, 936, 939, 955, 958, 959, 964, 966, 969, 974, 974])
 458 ("tvn2", [242, 243, 244, 244, 245, 245])
 459 ("tvname", [83, 83, 96, 98, 98, 99])
 460 ("type", [3, 47, 125, 155, 204, 210, 214, 216, 216, 218, 218, 218, 288, 374, 404, 503, 558, 559, 562, 583, 584, 594, 595, 682, 682, 713, 714, 715, 717, 729, 735, 814, 863, 891, 1038])
 461 ("typedef", [712])
 462 ("types", [378, 565, 656, 683])
 463 ("u", [373, 374])
 464 ("undeclared", [621])
 465 ("unified", [347])
 466 ("unifiedOlds", [338, 339, 341])
 467 ("unifier", [681, 683])
 468 ("unifiers", [681])
 469 ("unify", [306, 321, 323, 324])
 470 ("unknown", [710])
 471 ("unknowns", [1028, 1029, 1034, 1037])
 472 ("unzip2", [538, 543, 544, 609])
 473 ("uol", [617, 618, 619, 623])
 474 ("up", [710])
 475 ("us", [373, 374])
 476 ("use", [594, 820])
 477 ("used", [815])
 478 ("usedc", [828, 829])
 479 ("utDomain", [353])
 480 ("utLookup", [791])
 481 ("utLookupAll", [354])
 482 ("utLookupDef", [206, 418, 619])
 483 ("utRange", [425])
 484 ("v", [23, 23, 60])
 485 ("v5", [3])
 486 ("var", [247, 247, 558])
 487 ("variable", [418])
 488 ("variables", [438, 562, 595, 682, 868])
 489 ("vars", [558, 595])
 490 ("version", [4])
 491 ("vl", [764, 764])
 492 ("vs", [32, 32, 141])
 493 ("where", [7, 22, 57, 82, 126, 133, 140, 186, 205, 286, 322, 340, 352, 405, 462, 489, 537, 542, 557, 603, 658, 664, 686, 721, 754, 788, 824, 848, 880, 892, 919, 938, 956, 968, 993, 1004, 1027, 1035, 1059, 1077, 1094])
 494 ("with", [308, 558, 806])
 495 ("x", [130, 133, 133, 187, 187, 394, 394, 394, 434, 434, 517, 518, 528, 529, 530, 531, 628, 628, 879, 879, 881, 955, 955, 958, 964, 966, 967, 974, 974, 1085])
 496 ("x2", [131])
 497 ("xs", [394, 394, 530, 531, 535, 536, 538, 991, 992, 1000, 1002, 1003, 1005, 1012, 1014, 1015, 1026, 1026, 1056, 1057, 1062, 1067, 1067, 1073, 1075, 1076, 1090, 1092, 1093])
 498 ("y", [188, 530, 531])
 499 ("ys", [394, 394])
 500 ("zip", [301, 351, 607, 607, 720, 720, 764, 776, 893, 1015, 1026, 1036, 1067, 1076])