[developers] Bug in mt/vpm.lisp

Berthold Crysmann crysmann at dfki.de
Thu Mar 22 01:00:39 CET 2007

On Wed, 2007-03-21 at 15:24 -0800, Stephan Oepen wrote:
> howdy,
> > Today had me victim of a nasty bug in map-mrs():
>   [...]
> > Probably map-mrs should check for the type of MRS coming in, or else
> > presnece of these features. 
> i am afraid your suffering is related to parallel universes.  this bug
> is present only in the LinGO version of that code, and the copy in the
> LOGON tree has the checking you suggest. 

I couldn't test in LOGON, owing to the absence of lexdb support :-(

> while i have yet to merge in the last four months of LOGON development
> to the LinGO repository, ben (needing characterization support) put in
> a patch (in december), which results in the behavior you saw.
> but there is good news about parallel universes too.  i was planning to
> do my quaterly code synchronization in the second half of next week, so
> that this problem should soon disappear.
That is indeed good news. 

>                                                           best  -  oe
> nb: and we should probably re-evaluate our compiler settings, at least
> for the run-time binaries it might make sense to produce safer code at
> a moderate loss in efficiency.



> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
> +++ Universitetet i Oslo (IFI); Boks 1080 Blindern; 0316 Oslo; (+47) 2284 0125
> +++     CSLI Stanford; Ventura Hall; Stanford, CA 94305; (+1 650) 723 0515
> +++       --- oe at csli.stanford.edu; oe at ifi.uio.no; oepen at idi.ntnu.no ---
> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Trippstadter Strasse 122, D-67663 Kaiserslautern, Germany
Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender), Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313

More information about the developers mailing list