Theme-D version 7.2.4-1 has been published. Changes to version 7.2.3-1 are: * Fixed type checking <boolean> and <null>. Installation instructions can be found here.
Updated version number to 7.2.4.
Updated the language manual for the subtyping algorithm change to <boolean>
Updated NEWS
A bug fix for <boolean> and <null> into the BST.
Added test case 939.
A bug fix for <boolean> and <null> into the legacy translator and RTE.
Theme-D version 7.2.3-1 has been published. Changes to version 7.2.2-1 include: Fixed bugs with type checking in match-type and match-type-weak expressions. Fixed a bug in checking if an atomic object is an instance of a class. Implemented Guile vector support in the standard library in module raw-vector. Installation instructions can be found here.
Regenerated bootstrap dependency makefiles.
Updated version number to 7.2.3.
Updated NEWS
Documented <raw-vector> in the standard library reference.
Retracted some unnecessary changes to the legacy and bootstrapped Guile
* Fixed procedure is-simple-class-subtype? to accept unit types as the first
Fixed bugs in match-type target compilation.
* Fixed a bug with match-type expressions in the legacy Tree-IL backend.
Added procedure make-raw-vector to the standard library.
Added some debugging code.
* Implemented raw vectors.
Theme-D version 7.2.2-1 has been published. Changes to version 7.2.1-1 include: * Fixed equal-contents? to work with cyclic objects. * Fixed equality predicates to work with pair structures containing nonprimitive objects. * Optimized equality predicates with some union types. * Optimized type checks for some union types. * Some speed optimizations to the bootstrapped translator. Installation instructions can be found here.
Updated NEWS.
* New entry 7.2.2 in ChangeLog.
Updated test-info.scm.
Implemented union eq? optimization in the legacy linker.
Implemented union eq? optimization in the bootstrapped linker.
Some optimizations to the BST.
Updated NEWS
Improved union type check optimization in the legacy and BST Guile backends.
Improved union type check optimization in the legacy Tree-IL backend.
Improved union type check optimization in the BST Tree-IL backend.
Declared :mpair as noninheritable and equal by value.
Some optimization to the macro system.
Optimized comparing module names in the BST.
* Changed the typing of module names in the BST.
Switched profiling off in the BST.
Updated NEWS.
Added some profiling code.
Fixed RTE equality predicates to work with pair structures containing
* Marked classes <class-instance>, <proc-instance>, and <raw-proc-instance>
Marked classes <factorized-expr> and <linker-instance-predef>
Optimized procedure tc-tree-il-factorized-expr.
* Optimized match-type linking in the Tree-IL BST backend.
Updated NEWS.
Fixed cycle handling in variable substitution in the BST.
* Fixed procedure make-tvars-unique200 in the legacy translator and the RTE.
Fixed a bug in rte-type-system-header.scm.in.
Initial implementation of the cycle improvement in the legacy translator
Updated the User Guide.
* Fixed a bug with typechecking incomplete unions.
Updated test-info.scm.
Fixed a bug with equal-contents? and cyclic objects.
Theme-D version 7.2.1-1 has been published. Changes to version 7.2.0-1 include: * Fixed pair type-check optimization. Installation instructions can be found here.
Updated version number to 7.2.1 in configure.ac.
Updated the version number in the User Guide.
New ChangeLog entry 7.2.1.
Theme-D version 7.2.0-1 has been published. Changed to version 7.1.0-1 include: * Speed optimizations for the generated code and the bootstrapped translator. * Fixed a bug with <none>as a union component type. Installation instructions can be found here.
Improved some type checking code.
Fixed type checking in the linker.
Updated Makefile.in
* Changed /usr/bin/bash to /bin/bash in shell scripts.
Fixed a bug in theme-d-bootstrap/.../Makefile.am.
* Fixed standard-library/Makefile.am.
* Updated the version number of configure.ac to 7.2.0.
New ChangeLog entry 7.2.0.
Fixed script .../runtime/compute-all-deps.sh.
* Updated the language manual and the user guide.
* Moved methods head and tail from the BST into the standard library module
Fixed NEWS
Updated NEWS