Compiling BaseDefs         ( BaseDefs.hs )
Compiling MyUtils          ( MyUtils.hs )
Compiling Utils            ( Utils.hs )
Compiling PrettyPrint      ( PrettyPrint.hs )
Compiling EtaAbstract      ( EtaAbstract.hs )
Compiling Dependancy       ( Dependancy.hs )
Compiling MakeDomains      ( MakeDomains.hs )
Compiling Parser2          ( Parser2.hs )
Compiling ReadTable        ( ReadTable.hs )
Compiling AbstractVals2    ( AbstractVals2.hs )
Compiling Apply            ( Apply.hs )
Compiling AbstractEval2    ( AbstractEval2.hs )
Compiling Simplify         ( Simplify.hs )
Compiling SuccsAndPreds2   ( SuccsAndPreds2.hs )
Compiling AbstractMisc     ( AbstractMisc.hs )
Compiling Inverse          ( Inverse.hs )
Compiling PrintResults     ( PrintResults.hs )
Compiling DomainExpr       ( DomainExpr.hs )
Compiling Constructors     ( Constructors.hs )
Compiling TypeCheck5       ( TypeCheck5.hs )
Compiling TExpr2DExpr      ( TExpr2DExpr.hs )
Compiling AbsConc3         ( AbsConc3.hs )
Compiling SmallerLattice   ( SmallerLattice.hs )
Compiling BarakiMeet       ( BarakiMeet.hs )
Compiling BarakiConc3      ( BarakiConc3.hs )
Compiling FrontierMisc2    ( FrontierMisc2.hs )
Compiling FrontierDATAFN2  ( FrontierDATAFN2.hs )
Compiling FrontierGENERIC2 ( FrontierGENERIC2.hs )
Compiling StrictAn6        ( StrictAn6.hs )
Compiling LambdaLift5      ( LambdaLift5.hs )
Compiling Main             ( anna.hs )