[ 1 of 31] Compiling BaseDefs         ( BaseDefs.hs, BaseDefs.o )
[ 2 of 31] Compiling MyUtils          ( MyUtils.hs, MyUtils.o )
[ 3 of 31] Compiling Utils            ( Utils.hs, Utils.o )
[ 4 of 31] Compiling DomainExpr       ( DomainExpr.hs, DomainExpr.o )
[ 5 of 31] Compiling AbstractVals2    ( AbstractVals2.hs, AbstractVals2.o )
[ 6 of 31] Compiling SuccsAndPreds2   ( SuccsAndPreds2.hs, SuccsAndPreds2.o )
[ 7 of 31] Compiling AbstractMisc     ( AbstractMisc.hs, AbstractMisc.o )
[ 8 of 31] Compiling AbsConc3         ( AbsConc3.hs, AbsConc3.o )
[ 9 of 31] Compiling SmallerLattice   ( SmallerLattice.hs, SmallerLattice.o )
[10 of 31] Compiling Apply            ( Apply.hs, Apply.o )
[11 of 31] Compiling FrontierMisc2    ( FrontierMisc2.hs, FrontierMisc2.o )
[12 of 31] Compiling AbstractEval2    ( AbstractEval2.hs, AbstractEval2.o )
[13 of 31] Compiling FrontierDATAFN2  ( FrontierDATAFN2.hs, FrontierDATAFN2.o )
[14 of 31] Compiling FrontierGENERIC2 ( FrontierGENERIC2.hs, FrontierGENERIC2.o )
[15 of 31] Compiling Inverse          ( Inverse.hs, Inverse.o )
[16 of 31] Compiling TypeCheck5       ( TypeCheck5.hs, TypeCheck5.o )
[17 of 31] Compiling PrintResults     ( PrintResults.hs, PrintResults.o )
[18 of 31] Compiling Constructors     ( Constructors.hs, Constructors.o )
[19 of 31] Compiling BarakiMeet       ( BarakiMeet.hs, BarakiMeet.o )
[20 of 31] Compiling BarakiConc3      ( BarakiConc3.hs, BarakiConc3.o )
[21 of 31] Compiling EtaAbstract      ( EtaAbstract.hs, EtaAbstract.o )
[22 of 31] Compiling PrettyPrint      ( PrettyPrint.hs, PrettyPrint.o )
[23 of 31] Compiling Dependancy       ( Dependancy.hs, Dependancy.o )
[24 of 31] Compiling LambdaLift5      ( LambdaLift5.hs, LambdaLift5.o )
[25 of 31] Compiling MakeDomains      ( MakeDomains.hs, MakeDomains.o )
[26 of 31] Compiling TExpr2DExpr      ( TExpr2DExpr.hs, TExpr2DExpr.o )
[27 of 31] Compiling Parser2          ( Parser2.hs, Parser2.o )
[28 of 31] Compiling ReadTable        ( ReadTable.hs, ReadTable.o )
[29 of 31] Compiling Simplify         ( Simplify.hs, Simplify.o )
[30 of 31] Compiling StrictAn6        ( StrictAn6.hs, StrictAn6.o )

/tmp/ghc18009_0/ghc18009_0.hc:626:30:
     warning: trigraph ??) ignored, use -trigraphs to enable
[31 of 31] Compiling Main             ( anna.hs, anna.o )
Linking anna ...
<<ghc: 2808121484 bytes, 5447 GCs, 11095344/19825832 avg/max bytes residency (101 samples), 46M in use, 0.01 INIT (0.00 elapsed), 14.32 MUT (89.83 elapsed), 10.46 GC (10.84 elapsed) :ghc>>