Opened project dfmc-typist (/home/bruce/Development/dylan/opendylan/sources/dfmc/typist/typist.lid)
Loading namespace for library dfmc-typist
Number of libraries to compile: 24
Library "dylan" is up to date.
Library "common-dylan" is up to date.
Library "io" is up to date.
Library "system" is up to date.
Library "collections" is up to date.
Library "source-records" is up to date.
Library "ppml" is up to date.
Library "walker" is up to date.
Library "dfmc-mangling" is up to date.
Library "variable-search" is up to date.
Library "dood" is up to date.
Library "dfmc-common" is up to date.
Library "dfmc-conditions" is up to date.
Library "generic-arithmetic" is up to date.
Library "big-integers" is up to date.
Library "parser-run-time" is up to date.
Library "dfmc-reader" is up to date.
Library "dfmc-macro-expander" is up to date.
Library "dfmc-namespace" is up to date.
Library "dfmc-definitions" is up to date.
Library "dfmc-modeling" is up to date.
Library "dfmc-flow-graph" is up to date.
Library "dfmc-core" is up to date.
Updating definitions for library dfmc-typist
Updating definitions for dfmc-typist
  Reading and installing: typist-tools.dylan
  Reading and installing: typist-protocol.dylan
  Reading and installing: typist-types.dylan
  Reading and installing: typist-algebra.dylan
  Reading and installing: typist-inference.dylan
  Reading and installing: typist-top-level-forms.dylan
  Reading and installing: type-estimate-hashing.dylan
Computing data models for library dfmc-typist
Computing data models for dfmc-typist
  Computing models for typist-library.dylan
  Computing models for typist-tools.dylan
  Computing models for typist-protocol.dylan
  Computing models for typist-types.dylan
  Computing models for typist-algebra.dylan
  Computing models for typist-inference.dylan
  Computing models for typist-top-level-forms.dylan
  Computing models for type-estimate-hashing.dylan
Computing code models for library dfmc-typist
Computing code models for dfmc-typist
  Computing code models for typist-library.dylan
  Computing code models for typist-tools.dylan
  Computing code models for typist-protocol.dylan
  Computing code models for typist-types.dylan
  Computing code models for typist-algebra.dylan
  Computing code models for typist-inference.dylan
  Computing code models for typist-top-level-forms.dylan
  Computing code models for type-estimate-hashing.dylan
Checking bindings in library dfmc-typist
Checking bindings in dfmc-typist
Performing type analysis of library dfmc-typist
Performing type analysis of dfmc-typist
Optimizing library dfmc-typist
Optimizing dfmc-typist
  Optimizing typist-library.dylan
  Optimizing typist-tools.dylan
  Optimizing typist-protocol.dylan
  Optimizing typist-types.dylan
  Optimizing typist-algebra.dylan
  Optimizing typist-inference.dylan
  Optimizing typist-top-level-forms.dylan
  Optimizing type-estimate-hashing.dylan
A total of 1571 calls were processed, and 1302 of these (83%) were optimized.
Dumping conditions to dfmc-typist.log
There were 0 warnings, 0 serious warnings.
Generating code for library dfmc-typist
Generating code for dfmc-typist
  Emitting heap for typist-library.dylan
  Linking typist-library.dylan
  Emitting heap for typist-tools.dylan
  Linking typist-tools.dylan
  Emitting heap for typist-protocol.dylan
  Linking typist-protocol.dylan
  Emitting heap for typist-types.dylan
  Linking typist-types.dylan
  Emitting heap for typist-algebra.dylan
  Linking typist-algebra.dylan
  Emitting heap for typist-inference.dylan
  Linking typist-inference.dylan
  Emitting heap for typist-top-level-forms.dylan
  Linking typist-top-level-forms.dylan
  Emitting heap for type-estimate-hashing.dylan
  Linking type-estimate-hashing.dylan
Linking object files for library dfmc-typist
Linking object files for dfmc-typist
Saving database for library dfmc-typist
Saving database for dfmc-typist
  Committed 10000.
  Committed 20000.
  Committed 30000.
  Committed 40000.
Time taken per phase:
                                 Elapsed Time (secs)     Amount Allocated (Mb)
  Updating sources          -     2%       0.082718        0%       0.000000
  Updating definitions      -     9%       0.381261        0%       0.000000
  Model object computation  -    12%       0.515690        0%       0.000000
  Model finishing           -     0%       0.009508        0%       0.000000
  Model checking            -     0%       0.005580        0%       0.000000
  DFM generation            -    12%       0.544587        0%       0.000000
  Checking bindings         -     0%       0.001703        0%       0.000000
  Initial type inference    -     0%       0.003482        0%       0.000000
  Optimization              -    29%       1.263603        0%       0.000000
  Preheaping                -     3%       0.131810        0%       0.000000
  Heaping                   -     2%       0.086048        0%       0.000000
  Emitting                  -    11%       0.493666        0%       0.000000
  Linking                   -     7%       0.301513        0%       0.000000
  Glue gen                  -     0%       0.003921        0%       0.000000
  Stripping                 -     0%       0.011269        0%       0.000000
  Saving database           -    12%       0.532724        0%       0.000000
  --
  Sum                       -   100%       4.369083      100%       0.000000
  --
  Compiled 5218 lines at a rate of 71658.064 lines per minute, 0.000000 Mb per second.
  --
  Database 1651256 bytes.
  Data 86176 bytes.
  Code 0 bytes.
 Heap Allocated 80728064 Total 80728064 Free 0
There were 0 warnings, 0 serious warnings and 0 errors.
Build of 'dfmc-typist' completed
Linking dfmc-typist
File /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/dfmc-typist.mkf : dylanmakefile.mkf
Cc _glue.o : _glue.c
Cc typist-library.o : typist-library.c
Cc typist-tools.o : typist-tools.c
Cc typist-protocol.o : typist-protocol.c
Cc typist-types.o : typist-types.c
Cc typist-algebra.o : typist-algebra.c
Cc typist-inference.o : typist-inference.c
Cc typist-top-level-forms.o : typist-top-level-forms.c
Cc type-estimate-hashing.o : type-estimate-hashing.c
LinkDLL /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/libdfmc-typist.so : _glue.o typist-library.o typist-tools.o typist-protocol.o typist-types.o typist-algebra.o typist-inference.o typist-top-level-forms.o type-estimate-hashing.o
