Zinc Project / News: Recent posts

The CVS repository has been switched to a new SVN repository. Please update your working copies.

The Zinc compiler <a href="http://www.coiipa.org/servicios/pfc.html">has been awarded</a> as the best Final Course Project (PFC) of 2004/2005 by the <a href="http://www.coiipa.org/">Computer Engineers Association of Asturias</a> (sorry, links in Spanish). Thanks!

This release, which belongs to the 'unstable' series, merges all the changes between MCC 0.9.6 and MCC 0.9.7. The more relevant new features are (taken from the MCC Release Notes):

* The compiler no longer allows to mix import and other declarations. This change is in conformance with the Curry report and makes zymake's dependency analysis more fault tolerant.

* It is now possible to define and use (infix) constructor operators.... read more

This is a development release, featuring some patches ported from MCC 0.9.6 -> MCC 0.9.7: renamed option -y to -T in zyc, added -T option to zymake and some fixes.

This is the first release of the experimental series 1.1.x. These series are development releases, and not intended for general public usage.

The 1.1.0 release features a renaming of the compiler commands and libraries.

Minor bugfix

This version fixes some deployment bugs, enables compiling with GHC 5 and adds manpages.

Bugfix release

New standard type classes Bounded and Enum. Parser improvements. Lots of bugfixes.

This is the final version of the document

Lots of bugfixes

The second draft of pfc-doc-es (0.9.1) has just been published.

New features: standard type class Show, derived instances.

New standard type classes Eq, Ord, Num. Renamed primitives.

This is the second milestone in 'stable' releases.

A draft version (0.9.0) of the module pfc-doc-es has been released. This is a set of four books (in Spanish) about the Zinc project. Comments are welcome.

Method collition detection. Detection of unresolved overloading. More flexible representation of syntactic type class constraints. Lots of bugfixes and code cleaning.

Better support for goals. Bugfixes.

Refactored kind inference (better error messages). Bugfixes.

New features: Eval annotations and fixity declarations for methods.

Lots of bugfixes. New dictionary generation (more complex dictionaries).

This is the first 'stable' release. Please read the release notes.

Important changes in type inference mechanism. Lots of bugfixes.

Major release. Type inference is aware of type contexts, and dictionary passing. First tests programs are running well.

Intermediate release, no new features.