Projects / TCLP / Releases

All releases of TCLP

  •  29 Aug 2006 12:34
Avatar

    Release Notes: This release added the possibility to add type aliases. That is, to declare and use names as shortcuts for types in type declarations.

    •  25 May 2005 14:52
    Avatar

      Release Notes: The speed of type inference has been improved for large programs with a lot of mutually recursive predicates. TCLP now tries to type check prolog files for modules that don't have .typ files. The error messages have been updated so they can be understood by Emacs in a compilation buffer.

      •  16 Nov 2004 19:37
      Avatar

        Release Notes: A cache system was implemented in order to speed up the initialization of TCLP. This release also contains two bugfixes: it correctly prints errors of typeof declarations, and prints names correctly when encountering an error with --option nodefault.

        •  01 Mar 2004 10:07
        Avatar

          Release Notes: DCG expansion has been added. TCLP now prints the type of variables when finding an error in a clause.

          •  27 Jan 2004 11:07
          Avatar

            Release Notes: In this release, a speed improvement was achieved thanks to the elimination and the simplification of various type constraints. There were also some bugfixes, both in libraries and in the type checker.

            •  02 Jun 2003 17:41
            Avatar

              Release Notes: A bug in type inference was fixed.

              •  31 Oct 2002 14:08
              Avatar

                Release Notes: The sources were reorganized around the tclp.pl library. Some code to lookup the standard tclp type libraries was added. There is now a strong typing of equality, available only via an option (--strong_eq), since it does not correspond to the true type discipline of tclp. A bug in which type inference was too restrictive and didn't provide the term x ... x term -> pred type by default was fixed. The documentation was entirely rewritten, and is now included in the distribution.

                •  04 Sep 2002 18:41
                Avatar

                  Release Notes: A bug has been fixed in the type constraint solver that could cause TCLP to loop forever. Some feature were added, including more configuration possibilities from the .typ files (see the corelib.typ files and the chr file in the sicstus libraries). This release can be used inside a sicstus interpreter, using use_module(library(tclp)), and can now be used to typecheck GNU Prolog files.

                  •  18 Jun 2002 15:50
                  Avatar

                    Release Notes: This release includes buxfixes in the type checker, as well as updates for type libraires for sicstus built-ins.

                    Screenshot

                    Project Spotlight

                    episoder

                    A tool to tell you about new episodes of your favourite TV shows.

                    Screenshot

                    Project Spotlight

                    BalanceNG

                    A modern software IP load balancer.