From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 23761BC37 for ; Wed, 16 Sep 2009 23:19:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncKAKrysEqJw2XZcWdsb2JhbACCJRkXmEwBDAgNBxPDLoQYBYIM X-IronPort-AV: E=Sophos;i="4.44,400,1249250400"; d="scan'208,217";a="34433143" Received: from mail-r.hw.ac.uk ([137.195.101.217]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Sep 2009 23:19:02 +0200 Received: from ex5.mail.win.hw.ac.uk ([137.195.170.205]) by mail-r.hw.ac.uk with esmtp (Exim 4.54) id 1Mo1ti-0007eV-HK for caml-list@yquem.inria.fr; Wed, 16 Sep 2009 22:18:42 +0100 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01CA3713.247EACCF" Subject: First public release of ULTRA type error slicer for SML Date: Wed, 16 Sep 2009 22:17:48 +0100 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: First public release of ULTRA type error slicer for SML Thread-Index: Aco3EyR1cOLhhZUjTE2ZtGZKQOjcSw== From: "Rahli, Vincent" To: X-HW-MailScanner-Information: Please contact the HW Helpdesk for more information X-HW-MailScanner: Found to be clean X-HW-MailScanner-SpamCheck: not spam, SpamAssassin (score=-2.598, required 5, autolearn=not spam, BAYES_00 -2.60, HTML_MESSAGE 0.00) X-HW-MailScanner-From: vr17@hw.ac.uk X-Spam: no; 0.00; inference:01 gentoo:01 emacs:01 emacs:01 checker:01 functors:01 overloading:01 heriot-watt:01 inference:01 gentoo:01 checker:01 functors:01 overloading:01 heriot-watt:01 ubuntu:98 This is a multi-part message in MIME format. ------_=_NextPart_001_01CA3713.247EACCF Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable We are happy to announce the first public release of our type error slicing software for the SML programming language. All information can be found at this URL: http://www.macs.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/ The aim of our type error slicer is to provide useful type error reports for pieces of code written in SML. Our type error slicer: * Identifies all of the program points that contribute to a type error (including the spot with the actual programming error that caused the type error), * Highlights these program points in the original, unchanged source code, and * Avoids showing internal details of the operation of the type inference machinery. At the URL mentioned above, you can find a compiled package of the software that is ready to be used. The package contains: * Installation instructions and an installation shell script. * A compiled SML binary for Linux on the i386 architecture. We have tested this on CentOS 5.3, Fedora 7, Ubuntu 9.04 and Gentoo. * Emacs Lisp code that extends GNU Emacs with commands that highlight source code with information about type error slices. We have tested this with GNU Emacs versions 22.1, 22.3 and 23.1. * A 19 page user guide containing detailed explanations of how to use the software and interpret the type error slices. * A very large number of sample test cases. Known limitations: * We have not yet built the software for other operating systems than Linux. * The only currently supported user interface is via GNU Emacs (or our web demo). * Some features of the SML language are not parsed (the user will be notified if this is the case), and some type errors are not yet discovered (the user will need to rely on their usual type checker in these cases). Notable spots where the implementation is incomplete are functors, overloading, equality types, and fixity declarations. * The details of the SML basis library are woefully incomplete (fortunately the user can add any additional details they are using). * The software does not currently scale well to very large programs (we are still improving this). It is currently suitable for small programs and use in teaching. * We have some known issues with statuses of long identifiers and exceptions which yields wrong error reports. There is also a web demonstration of the software with over 270 sample test cases, so you can try without needing to install the software. Best wishes, Vincent Rahli and Joe Wells --=20 Heriot-Watt University is a Scottish charity registered under charity number SC000278. ------_=_NextPart_001_01CA3713.247EACCF Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable First public release of ULTRA type error slicer for SML

We are happy to announce the first public release of our = type error
slicing software for the SML programming language.

All information can be found at this URL:

  http://www.macs.hw.ac.uk/ultra/compositional-analysis/typ= e-error-slicing/

The aim of our type error slicer is to provide useful type error
reports for pieces of code written in SML.  Our type error slicer:

  * Identifies all of the program points that contribute to a type
    error (including the spot with the actual programming er= ror that
    caused the type error),
  * Highlights these program points in the original, unchanged source<= BR>     code, and
  * Avoids showing internal details of the operation of the type
    inference machinery.

At the URL mentioned above, you can find a compiled package of the
software that is ready to be used.  The package contains:

  * Installation instructions and an installation shell script.
  * A compiled SML binary for Linux on the i386 architecture.  We=
    have tested this on CentOS 5.3, Fedora 7, Ubuntu 9.04 an= d
    Gentoo.
  * Emacs Lisp code that extends GNU Emacs with commands that
    highlight source code with information about type error = slices.
    We have tested this with GNU Emacs versions 22.1, 22.3 a= nd 23.1.
  * A 19 page user guide containing detailed explanations of how to
    use the software and interpret the type error slices.
  * A very large number of sample test cases.

Known limitations:

  * We have not yet built the software for other operating systems
    than Linux.
  * The only currently supported user interface is via GNU Emacs (or     our web demo).
  * Some features of the SML language are not parsed (the user will be=
    notified if this is the case), and some type errors are = not yet
    discovered (the user will need to rely on their usual ty= pe checker
    in these cases).  Notable spots where the implement= ation is
    incomplete are functors, overloading, equality types, an= d fixity
    declarations.
  * The details of the SML basis library are woefully incomplete
    (fortunately the user can add any additional details the= y are
    using).
  * The software does not currently scale well to very large programs<= BR>     (we are still improving this).  It is currently sui= table for small
    programs and use in teaching.
  * We have some known issues with statuses of long identifiers
    and exceptions which yields wrong error reports.

There is also a web demonstration of the software with over 270 sample
test cases, so you can try without needing to install the software.

Best wishes,

Vincent Rahli and Joe Wells


Heriot-Watt University is a Scottish charity=20 registered under charity number SC000278.
------_=_NextPart_001_01CA3713.247EACCF--