/sources/contrib/fernan/nhc98/tests/nofib/real/anna/ 14407 2009-09-19 AbsConc3.hs 2368 2009-09-19 AbstractEval2.hs 5238 2009-09-19 AbstractMisc.hs 14504 2009-09-19 AbstractVals2.hs 2990 2009-09-19 Apply.hs 14162 2009-09-19 BarakiConc3.hs 4945 2009-09-19 BarakiMeet.hs 13554 2009-09-19 BaseDefs.hs 7564 2009-09-19 Constructors.hs 6151 2009-09-19 Dependancy.hs 4703 2009-09-19 DomainExpr.hs 4016 2009-09-19 EtaAbstract.hs 11859 2009-09-19 FrontierDATAFN2.hs 10786 2009-09-19 FrontierGENERIC2.hs 3751 2009-09-19 FrontierMisc2.hs 7454 2009-09-19 Inverse.hs 15931 2009-09-19 LambdaLift5.hs 8262 2009-09-19 Main.hs 2590 2009-09-19 MakeDomains.hs 1302 2009-09-19 Monster.hs 4323 2009-09-19 MyUtils.hs 19020 2009-09-19 Parser2.hs 4361 2009-09-19 PrettyPrint.hs 5947 2009-09-19 PrintResults.hs 3241 2009-09-19 ReadTable.hs 3068 2009-09-19 Simplify.hs 10693 2009-09-19 SmallerLattice.hs 37239 2009-09-19 StrictAn6.hs 9424 2009-09-19 SuccsAndPreds2.hs 3224 2009-09-19 TExpr2DExpr.hs 32652 2009-09-19 TypeCheck5.hs 16297 2009-09-19 Utils.hs 49127 2009-09-19 anna.stdout 421 2009-09-19 anna_table 2216 2009-09-19 ap_CaseAlts.cor 1927 2009-09-19 ap_CaseArgs.cor 2023 2009-09-19 ap_CaseOfCase.cor 1813 2009-09-19 ap_CaseOfCase2.cor 2901 2009-09-19 ap_CaseOfCase3.cor 2036 2009-09-19 ap_FuncCall.cor 1549 2009-09-19 ap_ListOfList.cor 1801 2009-09-19 ap_SemiLazyAdd.cor 1366 2009-09-19 ap_SemiLazyCase.cor 1128 2009-09-19 ap_SimpleLazy.cor 1194 2009-09-19 ap_SimpleStrict.cor 321 2009-09-19 ap_Unzip.cor 1596 2009-09-19 ap_Zip.cor 125 2009-09-19 append.cor 2575 2009-09-19 avlTree.cor 6859 2009-09-19 big.cor 2885 2009-09-19 bmark.cor 65 2009-09-19 bomb.cor 130 2009-09-19 bomb2.cor 707 2009-09-19 bug.cor 289 2009-09-19 bug_Anna1.cor 174 2009-09-19 bug_Anna2.cor 831 2009-09-19 bug_Anna3.cor 1124 2009-09-19 bug_Anna4.cor 245 2009-09-19 bug_Anna5.cor 99 2009-09-19 bug_Anna6.cor 269 2009-09-19 bug_types1.cor 210 2009-09-19 bug_types2.cor 279 2009-09-19 bury.cor 2883 2009-09-19 cfoldr.cor 217 2009-09-19 concat.cor 217 2009-09-19 concat22.cor 277 2009-09-19 concat24.cor 304 2009-09-19 concat44.cor 1597 2009-09-19 coreExpr.cor 663 2009-09-19 coreExpr0.cor 3223 2009-09-19 divide.cor 1420 2009-09-19 dividetree.cor 1439 2009-09-19 dot_3.cor 1004 2009-09-19 dot_4.cor 219 2009-09-19 eta.cor 371 2009-09-19 filter.cor 220 2009-09-19 foldrFoldl.cor 1759 2009-09-19 fourier.cor 1558 2009-09-19 funcDomain.cor 2072 2009-09-19 higherOrder.cor 260 2009-09-19 john.cor 702 2009-09-19 llfiasco.cor 1254 2009-09-19 manyIterate.cor 226 2009-09-19 mutualRec.cor 6859 2009-09-19 nofib.stdin 855 2009-09-19 ol_num.cor 260 2009-09-19 pairid.cor 54 2009-09-19 parallelOr.cor 413 2009-09-19 poly_loseGain.cor 1988 2009-09-19 poly_simple.cor 10895 2009-09-19 preludeList.cor 172 2009-09-19 realNasties.cor 231 2009-09-19 reverse.cor 484 2009-09-19 sebastian1.cor 569 2009-09-19 sebastian2.cor 1762 2009-09-19 sets.cor 5207 2009-09-19 standardTest.cor 373 2009-09-19 treeDepth.cor