botched invariant pest

[Ralf Juengling]

Greetings,

In recent days I am experiencing the same error message again
and again, a message which does not reveal anything to me:

* looking for juengling@.../lush--soc--1.4--patch-176 to compare with
* comparing to juengling@.../lush--soc--1.4--patch-176
/u/juenglin/downloads/tla-1.3.5/src/tla/libarch/invent.c:982:botched
invariant
     *a < *b
PANIC: exiting on botched invariant

Whenever I run into this, the project tree becomes unusable and
I need to start a new one, find those modified files and copy
them over to the new project tree by hand.

These error message are haunting me for a couple of days now
and have not been able to make out what might trigger them to
occur. I am working on my files, do a 'tla changes' once in a
while, and suddenly I see this error.

Any help will be much appreciated.
Ralf



_______________________________________________
Gnu-arch-users mailing list
Gnu-arch-users@...
http://lists.gnu.org/mailman/listinfo/gnu-arch-users

GNU arch home page:
http://savannah.gnu.org/projects/gnu-arch/

[Peter Conrad]

Hi,

Am Samstag, 30. August 2008 schrieb Ralf Juengling:

>
> In recent days I am experiencing the same error message again
> and again, a message which does not reveal anything to me:
>
> * looking for juengling@.../lush--soc--1.4--patch-176 to compare
> with * comparing to juengling@.../lush--soc--1.4--patch-176
> /u/juenglin/downloads/tla-1.3.5/src/tla/libarch/invent.c:982:botched
> invariant
>      *a < *b
> PANIC: exiting on botched invariant
>
> Whenever I run into this, the project tree becomes unusable and
> I need to start a new one, find those modified files and copy
> them over to the new project tree by hand.
>
> These error message are haunting me for a couple of days now
> and have not been able to make out what might trigger them to
> occur. I am working on my files, do a 'tla changes' once in a
> while, and suddenly I see this error.

AFAICS this happens when tla compares path names that should be
in lexical order but aren't. At first glance, the reason for this
could be that the list of path names is sorted as t_uchar, but
the botched invariant compares char *.

And the reason for this is, most likely, non-ascii characters in
filenames.

Hope this helps,

        Peter
--
Peter Conrad                        Tel: +49 6102 / 80 99 072
[ t]ivano Software GmbH             Fax: +49 6102 / 80 99 071
Bahnhofstr. 18                      http://www.tivano.de/
63263 Neu-Isenburg

Germany


_______________________________________________
Gnu-arch-users mailing list
Gnu-arch-users@...
http://lists.gnu.org/mailman/listinfo/gnu-arch-users

GNU arch home page:
http://savannah.gnu.org/projects/gnu-arch/