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])