Diff of the two buildlogs: -- --- b1/build.log 2021-08-09 15:25:41.686019367 +0000 +++ b2/build.log 2021-08-09 15:26:51.663426487 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Aug 9 03:24:34 -12 2021 -I: pbuilder-time-stamp: 1628522674 +I: Current time: Mon Sep 12 11:48:43 +14 2022 +I: pbuilder-time-stamp: 1662932923 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Fri Jan 18 21:16:33 2019 -12 +gpgv: Signature made Sat Jan 19 23:16:33 2019 +14 gpgv: using RSA key EBCC2CD2FAC0DAFA105F9DC8D80E09B087140066 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./cafeobj_1.5.9-1.dsc @@ -28,136 +28,170 @@ dpkg-source: info: applying armhf-remove-buildopts I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/56036/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/D01_modify_environment starting +debug: Running on ionos15-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='45ef79cafbe64b3c916566322a9800bd' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='56036' - PS1='# ' - PS2='> ' + INVOCATION_ID=a0660a00d893406a94d149ca936ddf84 + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=35414 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.vvkn5WpxUX/pbuilderrc_WJCi --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.vvkn5WpxUX/b1 --logfile b1/build.log cafeobj_1.5.9-1.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://78.137.99.97:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.vvkn5WpxUX/pbuilderrc_Ffz0 --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.vvkn5WpxUX/b2 --logfile b2/build.log cafeobj_1.5.9-1.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://85.184.249.68:3128 I: uname -a - Linux ionos1-amd64 4.19.0-17-amd64 #1 SMP Debian 4.19.194-3 (2021-07-18) x86_64 GNU/Linux + Linux i-capture-the-hostname 5.10.0-0.bpo.8-amd64 #1 SMP Debian 5.10.46-2~bpo10+1 (2021-07-22) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Aug 6 20:25 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/56036/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Sep 12 11:48 sh -> bash + lrwxrwxrwx 1 root root 4 Sep 10 04:47 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -229,7 +263,7 @@ Get: 32 http://deb.debian.org/debian buster/main amd64 po-debconf all 1.0.21 [248 kB] Get: 33 http://deb.debian.org/debian buster/main amd64 debhelper all 12.1.1 [1016 kB] Get: 34 http://deb.debian.org/debian buster/main amd64 sbcl amd64 2:1.4.16-2 [8640 kB] -Fetched 27.7 MB in 0s (75.1 MB/s) +Fetched 27.7 MB in 0s (68.3 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) @@ -388,7 +422,7 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/cafeobj-1.5.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/cafeobj-1.5.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package cafeobj dpkg-buildpackage: info: source version 1.5.9-1 dpkg-buildpackage: info: source distribution unstable @@ -408,7 +442,7 @@ ./configure --prefix=/usr --with-lisp=sbcl checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes -/bin/bash: /build/cafeobj-1.5.9/missing: No such file or directory +/bin/sh: /build/cafeobj-1.5.9/missing: No such file or directory configure: WARNING: 'missing' script is too old or missing checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no @@ -555,13 +589,13 @@ "cl-ppcre/test") in that file. WARNING: System definition file #P"/build/cafeobj-1.5.9/cl-ppcre/cl-ppcre.asd" contains definition for system "cl-ppcre-test". Please only define "cl-ppcre" and secondary systems with a name starting with "cl-ppcre/" (e.g. "cl-ppcre/test") in that file. .) -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/packages.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/packages.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-USER) ; compiling (DEFPACKAGE :CL-PPCRE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/packages-tmpGHU3ALSV.fasl ; compilation finished in 0:00:00.002 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/specials.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/specials.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFVAR *STANDARD-OPTIMIZE-SETTINGS* ...) ; compiling (DEFVAR *SPECIAL-OPTIMIZE-SETTINGS* ...) @@ -603,7 +637,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/specials-tmpAAURSO1.fasl ; compilation finished in 0:00:00.007 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/util.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/util.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFMACRO DEFCONSTANT ...) ; compiling (DEFMACRO WITH-UNIQUE-NAMES ...) @@ -648,8 +682,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/util-tmp5GEXGEG5.fasl -; compilation finished in 0:00:00.032 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/errors.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.051 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/errors.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFVAR *SYNTAX-ERROR-STRING* ...) ; compiling (DEFINE-CONDITION PPCRE-ERROR ...) @@ -663,7 +697,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/errors-tmpAR3FSGEY.fasl ; compilation finished in 0:00:00.013 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/charset.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/charset.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFCONSTANT +PROBE-DEPTH+ ...) ; compiling (DEFUN MAKE-CHAR-VECTOR ...) @@ -1024,8 +1058,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/charset-tmpJAIDFZTC.fasl -; compilation finished in 0:00:00.038 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/charmap.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.051 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/charmap.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFSTRUCT (CHARMAP #) ...) ; compiling (DEFMETHOD MAKE-LOAD-FORM ...) @@ -1170,8 +1204,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/charmap-tmp8V3J6PE9.fasl -; compilation finished in 0:00:00.036 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/chartest.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.049 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/chartest.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFUN CREATE-HASH-TABLE-FROM-TEST-FUNCTION ...) ; file: /build/cafeobj-1.5.9/cl-ppcre/chartest.lisp @@ -1434,7 +1468,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/chartest-tmp9V47YWQF.fasl ; compilation finished in 0:00:00.018 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/lexer.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/lexer.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DECLAIM (INLINE MAP-CHAR-TO-SPECIAL-CLASS)) ; compiling (DEFUN MAP-CHAR-TO-SPECIAL-CHAR-CLASS ...) @@ -1527,11 +1561,11 @@ ; compiling (DEFUN START-OF-SUBEXPR-P ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/lexer-tmp9BN22RMA.fasl -; compilation finished in 0:00:00.109 +; compilation finished in 0:00:00.117 WARNING: Lisp compilation had style-warnings while compiling # -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/parser.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/parser.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFUN GROUP ...) ; file: /build/cafeobj-1.5.9/cl-ppcre/parser.lisp @@ -1552,8 +1586,8 @@ ; compiling (DEFUN PARSE-STRING ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/parser-tmp1CXFJSK9.fasl -; compilation finished in 0:00:00.019 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/regex-class.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.018 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/regex-class.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFCLASS REGEX ...) ; compiling (DEFCLASS SEQ ...) @@ -1602,7 +1636,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/regex-class-tmpX4BRKI0R.fasl ; compilation finished in 0:00:00.017 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/regex-class-util.lisp" (written 09 SEP 2014 08:18:38 AM): +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/regex-class-util.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFMETHOD LEN ...) ; compiling (DEFMETHOD STR ...) @@ -2252,8 +2286,8 @@ ; compiling (DEFMETHOD COMPUTE-OFFSETS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/regex-class-util-tmpQ371UGST.fasl -; compilation finished in 0:00:00.139 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/convert.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.138 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/convert.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFMACRO CASE-INSENSITIVE-MODE-P ...) ; compiling (DEFMACRO MULTI-LINE-MODE-P ...) @@ -2910,8 +2944,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/convert-tmp2OWI3Q7U.fasl -; compilation finished in 0:00:00.169 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/optimize.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.172 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/optimize.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFGENERIC FLATTEN ...) ; compiling (DEFMETHOD FLATTEN ...) @@ -3560,8 +3594,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/optimize-tmp9KKTJMYV.fasl -; compilation finished in 0:00:00.103 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/closures.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.113 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/closures.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DECLAIM (INLINE *STRING*= ...)) ; compiling (DEFUN *STRING*= ...) @@ -3726,8 +3760,8 @@ ; compiling (DEFMETHOD CREATE-MATCHER-AUX ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/closures-tmpJU0JWO19.fasl -; compilation finished in 0:00:00.129 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/repetition-closures.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.135 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/repetition-closures.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFMACRO INCF-AFTER ...) ; compiling (DEFMACRO GREEDY-CONSTANT-LENGTH-CLOSURE ...) @@ -6146,8 +6180,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/repetition-closures-tmpZX2WN8N4.fasl -; compilation finished in 0:00:00.263 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/scanner.lisp" (written 09 SEP 2014 08:18:38 AM): +; compilation finished in 0:00:00.257 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/scanner.lisp" (written 10 SEP 2014 10:18:38 AM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFMACRO BMH-MATCHER-AUX ...) ; compiling (DEFUN CREATE-BMH-MATCHER ...) @@ -7171,8 +7205,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/scanner-tmpOU81XRV0.fasl -; compilation finished in 0:00:00.320 -; compiling file "/build/cafeobj-1.5.9/cl-ppcre/api.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.321 +; compiling file "/build/cafeobj-1.5.9/cl-ppcre/api.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CL-PPCRE) ; compiling (DEFGENERIC CREATE-SCANNER ...) ; compiling (DEFMETHOD CREATE-SCANNER ...) @@ -7426,7 +7460,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (495)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-START, MATCH-END, REG-STARTS, and -; REG-ENDS bound to the four return values of each match in turn. ... {100B1AD47F}> +; REG-ENDS bound to the four return values of each match in turn. ... {100B1D2AEF}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::%START CL-PPCRE::%END ; CL-PPCRE::%REGEX CL-PPCRE::SCANNER) @@ -7461,7 +7495,7 @@ ; (477)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-START and MATCH-END bound to the ; start/end positions of each match in turn. After the last match, -; ... {100B5C9EFF}> +; ... {100B5EDCEF}> ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::REG-STARTS CL-PPCRE::REG-ENDS) ; `(CL-PPCRE:DO-SCANS (,CL-PPCRE::MATCH-START ,CL-PPCRE::MATCH-END ; ,CL-PPCRE::REG-STARTS ,CL-PPCRE::REG-ENDS @@ -7494,7 +7528,7 @@ ; (569)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-VAR bound to the substring of ; TARGET-STRING corresponding to each match in turn. After the last -; ma... {100B73082F}> +; ma... {100B75525F}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::MATCH-START CL-PPCRE::MATCH-END ; CL-PPCRE::SUBSTR-FN) @@ -7526,7 +7560,7 @@ ; (820)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with the variables in VAR-LIST bound to the ; corresponding register groups for each match in turn, i.e. each -; va... {100B90542F}> +; va... {100B92B96F}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::SUBSTR-FN CL-PPCRE::MATCH-START ; CL-PPCRE::MATCH-END CL-PPCRE::REG-STARTS @@ -8543,7 +8577,7 @@ ; (221)) Similar to the standard function APROPOS-LIST but returns a list of ; all symbols which match the regular expression REGEX. If ; CASE-INSENSITIVE is true and REGEX isn't already a scanner, a -; case-insensi... {100D6CE4CF}> +; case-insensi... {100D6FC25F}> ; (LET ((CL-PPCRE::COLLECTOR 'NIL)) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES ; CL-PPCRE::CASE-INSENSITIVE @@ -8559,7 +8593,7 @@ ; (221)) Similar to the standard function APROPOS-LIST but returns a list of ; all symbols which match the regular expression REGEX. If ; CASE-INSENSITIVE is true and REGEX isn't already a scanner, a -; case-insensi... {100D6CE4CF}> +; case-insensi... {100D6FC25F}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS-LIST @@ -8585,7 +8619,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (216)) Similar to the standard function APROPOS but returns a list of all ; symbols which match the regular expression REGEX. If CASE-INSENSITIVE -; is true and REGEX isn't already a scanner, a case-insensitive ... {100DBF4DEF}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {100DC249BF}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES @@ -8601,7 +8635,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (216)) Similar to the standard function APROPOS but returns a list of all ; symbols which match the regular expression REGEX. If CASE-INSENSITIVE -; is true and REGEX isn't already a scanner, a case-insensitive ... {100DBF4DEF}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {100DC249BF}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS @@ -8623,7 +8657,7 @@ ; compiling (DEFMACRO DEFINE-PARSE-TREE-SYNONYM ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cl-ppcre/api-tmpY2ML9CFA.fasl -; compilation finished in 0:00:00.335 +; compilation finished in 0:00:00.306 WARNING: Lisp compilation had style-warnings while compiling # @@ -8633,7 +8667,7 @@ ; printed 647 notes STYLE-WARNING: using deprecated EVAL-WHEN situation names LOAD EVAL WARNING: System definition file #P"/build/cafeobj-1.5.9/sysdef.asd" contains definition for system "chaosx". Please only define "sysdef" and secondary systems with a name starting with "sysdef/" (e.g. "sysdef/test") in that file. -; compiling file "/build/cafeobj-1.5.9/chaos-package.lisp" (written 08 MAR 2016 12:11:30 PM): +; compiling file "/build/cafeobj-1.5.9/chaos-package.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (PUSHNEW :BIGPINK ...) ; compiling (REQUIRE :ASDF) ; compiling (DEFPACKAGE :CL-PPCRE-ASD ...) @@ -8642,7 +8676,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos-package-tmpX2JYJDQE.fasl ; compilation finished in 0:00:00.001 -; compiling file "/build/cafeobj-1.5.9/version.lisp" (written 09 AUG 2021 03:24:54 AM): +; compiling file "/build/cafeobj-1.5.9/version.lisp" (written 12 SEP 2022 11:49:03 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFVAR CAFEOBJ-VERSION) ; compiling (DEFVAR CAFEOBJ-VERSION-MAJOR) @@ -8657,7 +8691,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/version-tmpOPCILR65.fasl ; compilation finished in 0:00:00.001 -; compiling file "/build/cafeobj-1.5.9/comlib/globals.lisp" (written 04 DEC 2018 06:03:32 PM): +; compiling file "/build/cafeobj-1.5.9/comlib/globals.lisp" (written 05 DEC 2018 08:03:32 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *CURRENT-MODULE* ...)) @@ -9057,8 +9091,8 @@ ; compiling (DEFVAR *TOP-LEVEL-TAG* ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/globals-tmpRV9F8A9A.fasl -; compilation finished in 0:00:00.035 -; compiling file "/build/cafeobj-1.5.9/comlib/macros.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.016 +; compiling file "/build/cafeobj-1.5.9/comlib/macros.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO ONCE-ONLY ...) @@ -9080,8 +9114,8 @@ ; compiling (DEFMACRO FIXNUMP ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/macros-tmpK2ZAJT4I.fasl -; compilation finished in 0:00:00.051 -; compiling file "/build/cafeobj-1.5.9/comlib/print-utils.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.053 +; compiling file "/build/cafeobj-1.5.9/comlib/print-utils.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (INLINE FILECOL) ...) @@ -9234,8 +9268,8 @@ ; compiling (DEFUN PRINT-SIMPLE-PRINC-OPEN ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/print-utils-tmpUX5S4ADN.fasl -; compilation finished in 0:00:00.021 -; compiling file "/build/cafeobj-1.5.9/comlib/message.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.029 +; compiling file "/build/cafeobj-1.5.9/comlib/message.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN FLUSH-ALL ...) @@ -9422,7 +9456,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/message-tmp10401X32.fasl ; compilation finished in 0:00:00.064 -; compiling file "/build/cafeobj-1.5.9/comlib/error.lisp" (written 30 OCT 2018 04:36:26 PM): +; compiling file "/build/cafeobj-1.5.9/comlib/error.lisp" (written 31 OCT 2018 06:36:26 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *SUPPRESS-ERR-HANDLER-MSG*)) @@ -9437,8 +9471,8 @@ ; compiling (DEFMACRO IGNORING-CHAOS-ERROR ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/error-tmpZ7CBRM0G.fasl -; compilation finished in 0:00:00.013 -; compiling file "/build/cafeobj-1.5.9/comlib/misc.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.025 +; compiling file "/build/cafeobj-1.5.9/comlib/misc.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *KEYWORD-PACKAGE* ...) @@ -9658,8 +9692,8 @@ ; compiling (DEFMACRO EXPT2 ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/misc-tmp9OZEQ0G2.fasl -; compilation finished in 0:00:00.135 -; compiling file "/build/cafeobj-1.5.9/comlib/string.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.156 +; compiling file "/build/cafeobj-1.5.9/comlib/string.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PARSE-WITH-DELIMITER ...) @@ -9668,7 +9702,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/string-tmpB2JTL1W9.fasl ; compilation finished in 0:00:00.017 -; compiling file "/build/cafeobj-1.5.9/comlib/list.lisp" (written 25 FEB 2018 05:51:07 PM): +; compiling file "/build/cafeobj-1.5.9/comlib/list.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN FLATTEN-LIST ...) @@ -9679,8 +9713,8 @@ ; compiling (DEFUN DELETE-NTH ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/list-tmpP3BI68WQ.fasl -; compilation finished in 0:00:00.007 -; compiling file "/build/cafeobj-1.5.9/comlib/dag.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.008 +; compiling file "/build/cafeobj-1.5.9/comlib/dag.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT DAG-NODE ...) @@ -9700,8 +9734,8 @@ ; compiling (DEFUN GET-BDAG-PARENTS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/dag-tmpQDARA81Z.fasl -; compilation finished in 0:00:00.050 -; compiling file "/build/cafeobj-1.5.9/comlib/fsys.lisp" (written 22 AUG 2018 12:40:59 PM): +; compilation finished in 0:00:00.049 +; compiling file "/build/cafeobj-1.5.9/comlib/fsys.lisp" (written 23 AUG 2018 02:40:59 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (REQUIRE (QUOTE SB-POSIX)) @@ -9871,8 +9905,8 @@ ; compiling (DEFUN CHAOS-INITIALIZE-FSYS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/fsys-tmpYEMMM7SE.fasl -; compilation finished in 0:00:00.204 -; compiling file "/build/cafeobj-1.5.9/comlib/tree-display.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.173 +; compiling file "/build/cafeobj-1.5.9/comlib/tree-display.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFPARAMETER TREE-SPACING ...) @@ -10349,8 +10383,8 @@ ; compiling (DEFUN PRINT-TREES ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/tree-display-tmp73HU0RPK.fasl -; compilation finished in 0:00:00.060 -; compiling file "/build/cafeobj-1.5.9/comlib/lex.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.058 +; compiling file "/build/cafeobj-1.5.9/comlib/lex.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *BUILTIN-CATS* ...) @@ -10657,8 +10691,8 @@ ; compiling (DEFUN !LEX-READ-INIT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/lex-tmpIO5N7K88.fasl -; compilation finished in 0:00:00.139 -; compiling file "/build/cafeobj-1.5.9/comlib/reader.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.137 +; compiling file "/build/cafeobj-1.5.9/comlib/reader.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *READER-SPECIAL-SCHEMA-PATTERNS* ...) @@ -10774,8 +10808,8 @@ ; compiling (DEFUN WAIT-UNTIL-NON-WHITE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/reader-tmpCM21U60Z.fasl -; compilation finished in 0:00:00.136 -; compiling file "/build/cafeobj-1.5.9/comlib/let-over-lambda.lisp" (written 08 SEP 2015 05:53:34 PM): +; compilation finished in 0:00:00.093 +; compiling file "/build/cafeobj-1.5.9/comlib/let-over-lambda.lisp" (written 09 SEP 2015 07:53:34 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (IF (STRING-LESSP # ...) ...) ; compiling (DEFUN GROUP ...) @@ -10841,8 +10875,8 @@ ; compiling (DEFMACRO WHEN-MATCH ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/comlib/let-over-lambda-tmp9DT7SEFG.fasl -; compilation finished in 0:00:00.227 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bterm.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.185 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bterm.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (BASE-TERM # ...) ...) @@ -11005,8 +11039,8 @@ ; compiling (DEFUN SIMPLE-COPY-TERM ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bterm-tmp8065ESJT.fasl -; compilation finished in 0:00:00.296 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/defterm.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.264 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/defterm.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (%CHAOS-OBJECT #) ...) @@ -11180,8 +11214,8 @@ ; compiling (DEFUN IS-AST ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/defterm-tmp7S8Z6FGF.fasl -; compilation finished in 0:00:00.278 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bobject.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.277 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bobject.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (OBJECT # ...) ...) @@ -11249,8 +11283,8 @@ ; compiling (DEFSTRUCT (STABLE) ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bobject-tmpSIT3QPKP.fasl -; compilation finished in 0:00:00.181 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/absntax.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.183 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/absntax.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTERM SEQ ...) @@ -11290,8 +11324,8 @@ ; compiling (DEFTERM VIEW-DECL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/absntax-tmpE0PA0714.fasl -; compilation finished in 0:00:00.519 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/script.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.542 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/script.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTERM EVAL ...) @@ -11347,8 +11381,8 @@ ; compiling (DEFTERM GENDOC ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/script-tmpJRWHHVG0.fasl -; compilation finished in 0:00:00.724 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/op-theory.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.739 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/op-theory.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTYPE OP-THEORY ...) @@ -11466,8 +11500,8 @@ ; compiling (DEFUN THEORY-CONTAINS-AZ-DIRECT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/op-theory-tmp4WZVROCX.fasl -; compilation finished in 0:00:00.093 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmodexp.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.094 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmodexp.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTYPE MODEXP ...) @@ -11502,8 +11536,8 @@ ; compiling (DEFMACRO MODMORPH-ASSOC-IMAGES ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bmodexp-tmpA0I3UKX8.fasl -; compilation finished in 0:00:00.161 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmodule2.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.175 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmodule2.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MODULE-IS-PARAMETER-THEORY ...) @@ -11716,8 +11750,8 @@ ; compiling (DEFUN CLEAN-UP-MODULE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bmodule2-tmp267Y2N80.fasl -; compilation finished in 0:00:00.274 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bview2.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.261 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bview2.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO VIEW-NAME ...) @@ -11764,7 +11798,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bview2-tmpOUPE5FSJ.fasl ; compilation finished in 0:00:00.033 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/parse-modexp.lisp" (written 02 DEC 2018 01:49:39 AM): +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/parse-modexp.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PARSE-MODEXP ...) @@ -11826,8 +11860,8 @@ ; compiling (DEFUN PARSE-BALANCED-CONTEXT-ONE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/parse-modexp-tmpIGHCU6ZA.fasl -; compilation finished in 0:00:00.098 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/normodexp.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.095 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/normodexp.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (TYPE LIST ...)) @@ -11846,8 +11880,8 @@ ; compiling (DEFUN NORMALIZE-VIEW ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/normodexp-tmpBO0TUGLK.fasl -; compilation finished in 0:00:00.023 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bsort.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.019 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bsort.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (SORT-STRUCT # ...) ...) @@ -12027,8 +12061,8 @@ ; compiling (DEFUN GET-FAMILY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bsort-tmpIIXPIQNW.fasl -; compilation finished in 0:00:00.323 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/boperator.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.351 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/boperator.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT OPSYNTAX ...) @@ -12312,8 +12346,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/boperator-tmpOHM494YR.fasl -; compilation finished in 0:00:00.450 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/baxioms.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.511 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/baxioms.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (REWRITE-RULE # ...) ...) @@ -12356,15 +12390,15 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/baxioms-tmpOVFB07XF.fasl ; compilation finished in 0:00:00.104 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmacro.lisp" (written 08 MAR 2016 12:11:30 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/bmacro.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (MACRO #) ...) ; compiling (DEFUN PRINT-MACRO ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/bmacro-tmpG6VFGMYP.fasl -; compilation finished in 0:00:00.010 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/gen-eval.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.009 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/gen-eval.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *DRIBBLE-AST* ...)) @@ -12416,8 +12450,8 @@ ; compiling (DEFUN EVAL-AST2 ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/gen-eval-tmp4QIPRMOF.fasl -; compilation finished in 0:00:00.013 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/meta.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.014 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/meta.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFUN CLEAR-METALEVEL-SORT ...) ; compiling (DEFUN REGISTER-METALEVEL-SORT ...) @@ -12464,8 +12498,8 @@ ; compiling (DEFUN CHECK-RWL-COHERENCY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/meta-tmpGW0QV22K.fasl -; compilation finished in 0:00:00.115 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/gen-print.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.121 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/gen-print.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *CURRENT-TERM-DEPTH*) ...) @@ -12740,8 +12774,8 @@ ; compiling (DEFUN DUMP-MODEXP-VIEW ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/gen-print-tmp2K9J0HSR.fasl -; compilation finished in 0:00:00.137 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/context.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.169 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/context.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN GET-CONTEXT ...) @@ -12759,8 +12793,8 @@ ; compiling (DEFUN CONTEXT-POP-AND-RECOVER ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/context-tmpP44I4E0Y.fasl -; compilation finished in 0:00:00.020 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/term-utils.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.033 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/term-utils.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR **SA-DEBUG** ...) @@ -12885,7 +12919,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX10)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY TAGBODY ; --> LET FUNCALL SB-C::%FUNCALL BLOCK @@ -12916,7 +12950,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX10)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY TAGBODY ; --> LET FUNCALL SB-C::%FUNCALL BLOCK @@ -12948,7 +12982,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX10)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY TAGBODY ; --> LET FUNCALL SB-C::%FUNCALL BLOCK @@ -12979,7 +13013,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX10)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY TAGBODY ; --> LET FUNCALL SB-C::%FUNCALL BLOCK @@ -13031,7 +13065,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX22)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -13253,8 +13287,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/term-utils-tmp63LQ7EX6.fasl -; compilation finished in 0:00:00.454 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/find.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.478 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/find.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN FIND-MODULE-OR-ERROR ...) @@ -13424,8 +13458,8 @@ ; compiling (DEFUN SYMBOL-TABLE-GET ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/find-tmp86F1A8FB.fasl -; compilation finished in 0:00:00.212 -; compiling file "/build/cafeobj-1.5.9/chaos/primitives/print-object.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.216 +; compiling file "/build/cafeobj-1.5.9/chaos/primitives/print-object.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PRINT-SORT-AST ...) @@ -13678,8 +13712,8 @@ ; compiling (DEFUN PRINT-INSTANCE-DB ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/primitives/print-object-tmpH7D4HL98.fasl -; compilation finished in 0:00:00.244 -; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-macro.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.245 +; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-macro.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *DEBUG-MACRO* ...) @@ -13727,8 +13761,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/term-parser/parse-macro-tmpCDM7YXYI.fasl -; compilation finished in 0:00:00.024 -; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-engine.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.025 +; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-engine.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN DICTIONARY-ADD-INFO-ON-TOKEN ...) @@ -13925,8 +13959,8 @@ ; compiling (DEFUN ARE-WELL-DEFINED-TERMS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/term-parser/parse-engine-tmpLM57P5P.fasl -; compilation finished in 0:00:00.175 -; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-top.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.177 +; compiling file "/build/cafeobj-1.5.9/chaos/term-parser/parse-top.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN SIMPLE-PARSE-FROM-STRING ...) @@ -13960,7 +13994,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX14)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -14060,8 +14094,8 @@ ; compiling (DEFUN METHOD-COMPRESS-OVERLOADED-SET ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/term-parser/parse-top-tmpZE69DN33.fasl -; compilation finished in 0:00:00.115 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-utils.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.116 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-utils.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO WITH-MATCH-DEBUG ...) @@ -14071,7 +14105,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-utils-tmpG8099TO3.fasl ; compilation finished in 0:00:00.012 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-system.lisp" (written 02 DEC 2018 01:49:39 AM): +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-system.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MAKE-EQUATION ...) @@ -14136,8 +14170,8 @@ ; compiling (DEFUN MATCH-SYSTEM-MODIF-M-SYS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-system-tmpTASQCYAW.fasl -; compilation finished in 0:00:00.207 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-state.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.214 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-state.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTYPE GLOBAL-STATE ...) @@ -14189,8 +14223,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-state-tmp35U57IV6.fasl -; compilation finished in 0:00:00.041 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-e.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.038 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-e.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MATCH-EMPTY-STATE-INITIALIZE ...) @@ -14198,16 +14232,16 @@ ; compiling (DEFUN MATCH-EMPTY-EQUAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-e-tmpTZOONXRW.fasl -; compilation finished in 0:00:00.019 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-idem.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.018 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-idem.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN IDEM-MATCH ...) ; compiling (DEFUN IDEM-EXT-MATCH ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-idem-tmpWN0UKDSV.fasl -; compilation finished in 0:00:00.013 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-z.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.012 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-z.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (MATCH-Z-STATE #) ...) @@ -14225,8 +14259,8 @@ ; compiling (DEFUN MATCH-Z-EQUAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-z-tmpBF3HHBTQ.fasl -; compilation finished in 0:00:00.030 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-a.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.027 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-a.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTYPE MATCH-A-STATE ...) @@ -14263,8 +14297,8 @@ ; compiling (DEFUN MATCH-A-EQUAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-a-tmpGYUNPZCY.fasl -; compilation finished in 0:00:00.085 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-c.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.083 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-c.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (MATCH-C-STATE #) ...) @@ -14273,8 +14307,8 @@ ; compiling (DEFUN MATCH-C-EQUAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-c-tmpD68Q8WCA.fasl -; compilation finished in 0:00:00.016 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-az.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.015 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-az.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (MATCH-AZ-STATE #) ...) @@ -14300,8 +14334,8 @@ ; compiling (DEFUN MATCH-EQUATION-COMP-UNPARSE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-az-tmp7MK9KM9C.fasl -; compilation finished in 0:00:00.075 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-cz.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.067 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-cz.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (MATCH-CZ-STATE #) ...) @@ -14320,7 +14354,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-cz-tmpJJ71X849.fasl ; compilation finished in 0:00:00.022 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-ac.lisp" (written 05 NOV 2018 01:26:06 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-ac.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MAKE-AC-STATE ...) @@ -14623,7 +14657,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-ac-tmp1VUK6SR2.fasl ; compilation finished in 0:00:00.273 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-acz.lisp" (written 02 DEC 2018 01:49:39 AM): +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match-acz.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *USE-ONE-VAR-OPT* ...) @@ -14822,8 +14856,8 @@ ; compiling (SETF (GET # ...) ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-acz-tmpR2FIHSUG.fasl -; compilation finished in 0:00:00.354 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.371 +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN FIRST-MATCH ...) @@ -14862,7 +14896,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match-tmp8PYELRKX.fasl ; compilation finished in 0:00:00.018 -; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match2.lisp" (written 05 NOV 2018 01:26:06 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/e-match/match2.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN SIMPLE-MATCH-E-OK? ...) @@ -14885,7 +14919,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX34) (CAR #:INDEX35)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -14937,8 +14971,8 @@ ; compiling (DEFUN MATCH-IS-IDEM-EXT-OK? ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/e-match/match2-tmpEHTOKYT0.fasl -; compilation finished in 0:00:00.091 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/sort.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.117 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/sort.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MAKE-SORT-ID ...) @@ -15216,8 +15250,8 @@ ; compiling (DEFUN SORT-IS-PARAMETERIZED ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/sort-tmpS6U1VHI9.fasl -; compilation finished in 0:00:00.117 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/operator.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.134 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/operator.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN ON-DEBUG-OPERATOR ...) @@ -15385,8 +15419,8 @@ ; compiling (DEFUN PROPAGATE-ATTRIBUTES ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/operator-tmpVTFK6ZJW.fasl -; compilation finished in 0:00:00.356 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/variable.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.445 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/variable.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-VAR-NAME-OVERLOADING-WITH-BUILTIN ...) @@ -15474,8 +15508,8 @@ ; compiling (DEFUN DECLARE-ERROR-VARIABLES-IN ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/variable-tmp75WVSJEW.fasl -; compilation finished in 0:00:00.029 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/match-method.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.030 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/match-method.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MATCH-NEXT-FAIL ...) @@ -15497,8 +15531,8 @@ ; compiling (DEFUN ID-GEN-MATCH ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/match-method-tmpBU5UM3S4.fasl -; compilation finished in 0:00:00.012 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/axiom.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.015 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/axiom.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-RULE ...) @@ -15594,8 +15628,8 @@ ; compiling (DEFUN RECREATE-ERROR-AXIOM ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/axiom-tmpOBHVA3CD.fasl -; compilation finished in 0:00:00.187 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/gen-rule.lisp" (written 22 AUG 2018 12:40:59 PM): +; compilation finished in 0:00:00.213 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/gen-rule.lisp" (written 23 AUG 2018 02:40:59 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN GENERATE-REWRITE-RULES ...) @@ -15708,8 +15742,8 @@ ; compiling (DEFUN NORMALIZE-FOR-IDENTITY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/gen-rule-tmpJ6ELVFLF.fasl -; compilation finished in 0:00:00.151 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/rwl.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.149 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/rwl.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-CONGRUENCE-AXIOM ...) @@ -15717,8 +15751,8 @@ ; compiling (DEFUN ADD-RWL-AXIOMS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/rwl-tmpULDB0RG.fasl -; compilation finished in 0:00:00.037 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/beh.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.036 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/beh.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (BEH-STUFF #) ...) @@ -15799,8 +15833,8 @@ ; compiling (DEFUN BEH-REWRITE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/beh-tmpUTZ0UUTE.fasl -; compilation finished in 0:00:00.106 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/module.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.104 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/module.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CREATE-MODULE ...) @@ -15906,8 +15940,8 @@ ; compiling (DEFUN DELETE-VIEW ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/module-tmpOOSRA8PZ.fasl -; compilation finished in 0:00:00.050 -; compiling file "/build/cafeobj-1.5.9/chaos/construct/trs.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.051 +; compiling file "/build/cafeobj-1.5.9/chaos/construct/trs.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN TRS-GET-MOD-OR-ERROR ...) @@ -16194,8 +16228,8 @@ ; compiling (DEFUN TRS-AXIOM-IS-BUILT-IN ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/construct/trs-tmpDMIL0RVK.fasl -; compilation finished in 0:00:00.200 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mutils.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.220 +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mutils.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-PSUEDO-VARS ...) @@ -16206,7 +16240,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/mutils-tmp8MR9IMIO.fasl ; compilation finished in 0:00:00.008 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/modmorph.lisp" (written 22 AUG 2018 12:40:59 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/modmorph.lisp" (written 23 AUG 2018 02:40:59 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN APPLY-MODMORPH ...) @@ -16416,8 +16450,8 @@ ; compiling (DEFUN MODMORPH-GET-IMAGE-OF-AXIOMS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/modmorph-tmpJQDKAVAY.fasl -; compilation finished in 0:00:00.186 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mrmap.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.210 +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mrmap.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN COMPOSE-RENAMES ...) @@ -16527,8 +16561,8 @@ ; compiling (DEFUN RECREATE-RENAMED-SORT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/mrmap-tmp3I8CEEQY.fasl -; compilation finished in 0:00:00.088 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/meval.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.096 +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/meval.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN EVAL-MODEXP-TOP ...) @@ -16548,8 +16582,8 @@ ; compiling (DEFUN CREATE-RENAME ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/meval-tmpA3RHFLWZ.fasl -; compilation finished in 0:00:00.107 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/view.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.120 +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/view.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *MODEXP-ABSTRACT-MODULE*)) @@ -16657,7 +16691,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX361)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -16702,8 +16736,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/view-tmpYZIB7VXO.fasl -; compilation finished in 0:00:00.178 -; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mimport.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.206 +; compiling file "/build/cafeobj-1.5.9/chaos/decafe/mimport.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *IMPORT-SORT-MAP* ...) @@ -16791,8 +16825,8 @@ ; compiling (DEFUN IMPORT-VARIABLES ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/decafe/mimport-tmpR8PK79V8.fasl -; compilation finished in 0:00:00.133 -; compiling file "/build/cafeobj-1.5.9/chaos/cafein/rengine.lisp" (written 04 DEC 2018 06:03:32 PM): +; compilation finished in 0:00:00.168 +; compiling file "/build/cafeobj-1.5.9/chaos/cafein/rengine.lisp" (written 05 DEC 2018 08:03:32 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL .TRACE-OR-STEP.) ...) @@ -17109,8 +17143,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/cafein/rengine-tmpN1ZVB1HZ.fasl -; compilation finished in 0:00:00.329 -; compiling file "/build/cafeobj-1.5.9/chaos/cafein/cbred.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.297 +; compiling file "/build/cafeobj-1.5.9/chaos/cafein/cbred.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL *CBRED-TRACE-FLAG*)) @@ -17268,7 +17302,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX13)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -17292,8 +17326,8 @@ ; compiling (DEFUN DO-CBRED ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/cafein/cbred-tmpZGRRPISB.fasl -; compilation finished in 0:00:00.092 -; compiling file "/build/cafeobj-1.5.9/chaos/cafein/reducer.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.099 +; compiling file "/build/cafeobj-1.5.9/chaos/cafein/reducer.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (LET (# # ...) ...) @@ -17337,7 +17371,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/cafein/reducer-tmpFNKDE5XP.fasl ; compilation finished in 0:00:00.075 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/regcheck.lisp" (written 08 MAR 2016 12:11:30 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/tools/regcheck.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (SOP # ...) ...) @@ -17383,8 +17417,8 @@ ; compiling (DEFUN CHECK-REGULARITY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/regcheck-tmpRJTU435C.fasl -; compilation finished in 0:00:00.214 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/regularize.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.201 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/regularize.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN REGULARIZE-SIGNATURE-INTERNAL ...) @@ -17436,8 +17470,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/regularize-tmpI9WG87JK.fasl -; compilation finished in 0:00:00.014 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/describe.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.015 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/describe.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN FILTER-HARD-SORTS ...) @@ -17706,8 +17740,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/describe-tmpYDE6I9E6.fasl -; compilation finished in 0:00:00.172 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/sort-tree.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.133 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/sort-tree.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-MODULE-SORT-TREE ...) @@ -17744,8 +17778,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/sort-tree-tmp319UV2V8.fasl -; compilation finished in 0:00:00.026 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/module-tree.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.018 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/module-tree.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-SUBMODULE-TREE ...) @@ -17838,8 +17872,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/module-tree-tmpLYQINFYS.fasl -; compilation finished in 0:00:00.045 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/show.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.046 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/show.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN SHOW-CONTEXT ...) @@ -18072,8 +18106,8 @@ ; compiling (DEFUN PRINT-TERM-HORIZONTAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/show-tmpGA31XWNO.fasl -; compilation finished in 0:00:00.109 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/set.lisp" (written 05 NOV 2018 04:31:26 PM): +; compilation finished in 0:00:00.082 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/set.lisp" (written 06 NOV 2018 06:31:26 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO CHAOS-SWITCH-KEY ...) @@ -18178,8 +18212,8 @@ ; compiling (DEFUN CHAOS-SET-BOOL-PATH ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/set-tmp5HT23M6C.fasl -; compilation finished in 0:00:00.096 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/op-check.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.077 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/op-check.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-METHOD-STRICTNESS ...) @@ -18377,8 +18411,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/op-check-tmpA60KLDKY.fasl -; compilation finished in 0:00:00.157 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/compat.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.172 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/compat.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-COMPATIBILITY ...) @@ -18403,8 +18437,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/compat-tmpD801X3GJ.fasl -; compilation finished in 0:00:00.029 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/help.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.024 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/help.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *HELP-DB* ...) @@ -18412,8 +18446,8 @@ ; compiling (DEFUN READ-HELP-DB ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/help-tmpGOW1GC70.fasl -; compilation finished in 0:00:00.035 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/inspect.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.034 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/inspect.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN SHOW-MODULE-SYMBOL-TABLE ...) @@ -19205,8 +19239,8 @@ ; compiling (DEFUN !LOOK-UP ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/inspect-tmpPQ1X28TL.fasl -; compilation finished in 0:00:00.054 -; compiling file "/build/cafeobj-1.5.9/chaos/tools/sensible.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.047 +; compiling file "/build/cafeobj-1.5.9/chaos/tools/sensible.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-SENSIBLE ...) @@ -19238,8 +19272,8 @@ ; compiling (DEFUN IS-SENSIBLE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tools/sensible-tmpE92ECU7O.fasl -; compilation finished in 0:00:00.021 -; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-mod.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.012 +; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-mod.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MODEXP-TOP-LEVEL-EVAL ...) @@ -19317,8 +19351,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/eval/eval-mod-tmp8S0II570.fasl -; compilation finished in 0:00:00.012 -; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-ast.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.013 +; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-ast.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN RESOLVE-SORT-REF ...) @@ -19795,8 +19829,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/eval/eval-ast-tmpJE88A12F.fasl -; compilation finished in 0:00:00.156 -; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-ast2.lisp" (written 04 DEC 2018 06:03:32 PM): +; compilation finished in 0:00:00.140 +; compiling file "/build/cafeobj-1.5.9/chaos/eval/eval-ast2.lisp" (written 05 DEC 2018 08:03:32 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFPARAMETER *CHAOS-VERSION* ...) @@ -20417,8 +20451,8 @@ ; compiling (DEFUN EVAL-GENDOC ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/eval/eval-ast2-tmpA5FNLPLT.fasl -; compilation finished in 0:00:00.300 -; compiling file "/build/cafeobj-1.5.9/chaos/eval/chaos-top.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.316 +; compiling file "/build/cafeobj-1.5.9/chaos/eval/chaos-top.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFUN DEFINE-BUILTIN-MODULE ...) ; compiling (DEFUN CLEAR-GLOBAL-DB ...) @@ -20433,8 +20467,8 @@ ; compiling (DEFUN CHAOS-TOP ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/eval/chaos-top-tmpHKCV9TP8.fasl -; compilation finished in 0:00:00.014 -; compiling file "/build/cafeobj-1.5.9/chaos/boot/preproc.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.018 +; compiling file "/build/cafeobj-1.5.9/chaos/boot/preproc.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFUN TOKEN-IS-SORT-ID ...) ; compiling (DEFUN CREATE-SORT-ID ...) @@ -20511,8 +20545,8 @@ ; compiling (DEFUN S-RFIND ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/boot/preproc-tmpZ18MA7XE.fasl -; compilation finished in 0:00:00.106 -; compiling file "/build/cafeobj-1.5.9/chaos/boot/prelude.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.098 +; compiling file "/build/cafeobj-1.5.9/chaos/boot/prelude.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFVAR *LAST-TERM-OP-TERM* ...) ; compiling (DEFVAR *LAST-TERM-EQN-RHS* ...) @@ -20545,8 +20579,8 @@ ; compiling (DEFUN INSTALL-PRELUDE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/boot/prelude-tmp6LQJ9T0C.fasl -; compilation finished in 0:00:00.036 -; compiling file "/build/cafeobj-1.5.9/chaos/boot/builtins.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.043 +; compiling file "/build/cafeobj-1.5.9/chaos/boot/builtins.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (CLEAR-GLOBAL-DB) ; compiling (CLEAR-TRS-DB) @@ -20588,7 +20622,7 @@ ; compiling (CHAOS-MISC-INIT) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/boot/builtins-tmpTX7OA81T.fasl -; compilation finished in 0:00:00.027 +; compilation finished in 0:00:00.033 -- defining module* TRIV done. -- defining module! TRUTH-VALUE done. @@ -20600,7 +20634,7 @@ -- defining module! ID done. -- defining module! CHAR-VALUE done. -- defining module! STRING-VALUE done. -; compiling file "/build/cafeobj-1.5.9/chaos/tram/tram.lisp" (written 29 OCT 2018 02:56:14 PM): +; compiling file "/build/cafeobj-1.5.9/chaos/tram/tram.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *TRAM-LAST-MODULE* ...) @@ -20675,7 +20709,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX25)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -20741,8 +20775,8 @@ ; compiling (DEFUN TRAM-SEND-REDUCE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/tram/tram-tmpWOTC3PB7.fasl -; compilation finished in 0:00:00.264 -; compiling file "/build/cafeobj-1.5.9/chaos/psup/psup.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.252 +; compiling file "/build/cafeobj-1.5.9/chaos/psup/psup.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO WITH-LOGGING-ERROR ...) @@ -21086,8 +21120,8 @@ ; compiling (DEFUN PSUP-IMAGE-OF-AXIOMS* ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/chaos/psup/psup-tmpHQE95SAC.fasl -; compilation finished in 0:00:00.107 -; compiling file "/build/cafeobj-1.5.9/thstuff/parse-apply.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.127 +; compiling file "/build/cafeobj-1.5.9/thstuff/parse-apply.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTERM START ...) @@ -21145,8 +21179,8 @@ ; compiling (DEFUN PARSE-APPLY-COMMAND ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/parse-apply-tmpO87FP9NR.fasl -; compilation finished in 0:00:00.105 -; compiling file "/build/cafeobj-1.5.9/thstuff/basics.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.087 +; compiling file "/build/cafeobj-1.5.9/thstuff/basics.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-APPLY-CONTEXT ...) @@ -21749,8 +21783,8 @@ ; compiling (DEFUN COMPUTE-EXTRA-VARIABLES ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/basics-tmpP6A3E92I.fasl -; compilation finished in 0:00:00.129 -; compiling file "/build/cafeobj-1.5.9/thstuff/eval-match.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.123 +; compiling file "/build/cafeobj-1.5.9/thstuff/eval-match.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN EVAL-MATCH-COMMAND ...) @@ -21847,8 +21881,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/eval-match-tmpUSHT8RIL.fasl -; compilation finished in 0:00:00.047 -; compiling file "/build/cafeobj-1.5.9/thstuff/eval-apply.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.048 +; compiling file "/build/cafeobj-1.5.9/thstuff/eval-apply.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN EVAL-START-COMMAND ...) @@ -21909,8 +21943,8 @@ ; compiling (DEFUN APPLY-PRINT-RULE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/eval-apply-tmp7YCPD44Y.fasl -; compilation finished in 0:00:00.061 -; compiling file "/build/cafeobj-1.5.9/thstuff/cexec.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.053 +; compiling file "/build/cafeobj-1.5.9/thstuff/cexec.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (SPECIAL $$CEXEC-TERM)) ; compiling (DEFSTRUCT (RULE-PAT #) ...) @@ -22094,8 +22128,8 @@ ; compiling (DEFUN TERM-PATTERN-INCLUDED-IN-CEXEC ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/cexec-tmpQXR7SNXD.fasl -; compilation finished in 0:00:00.530 -; compiling file "/build/cafeobj-1.5.9/thstuff/case.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.507 +; compiling file "/build/cafeobj-1.5.9/thstuff/case.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFPARAMETER .CASE-MODULE-TRUE. ...) ; compiling (DEFPARAMETER .CASE-MODULE-FALSE. ...) @@ -22105,7 +22139,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/case-tmp6FLI1OC3.fasl ; compilation finished in 0:00:00.022 -; compiling file "/build/cafeobj-1.5.9/thstuff/proof-struct.lisp" (written 02 DEC 2018 01:49:39 AM): +; compiling file "/build/cafeobj-1.5.9/thstuff/proof-struct.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFSTRUCT (TACTIC #) ...) @@ -23004,8 +23038,8 @@ ; compiling (DEFMACRO WITH-IN-CONTEXT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/proof-struct-tmpWBK8JTS9.fasl -; compilation finished in 0:00:00.400 -; compiling file "/build/cafeobj-1.5.9/thstuff/apply-tactic.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.416 +; compiling file "/build/cafeobj-1.5.9/thstuff/apply-tactic.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN DISTRIBUTE-SENTENCES ...) @@ -23798,8 +23832,8 @@ ; compiling (DEFUN APPLY-TACTICS-TO-GOAL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/apply-tactic-tmpUVEUD2ZN.fasl -; compilation finished in 0:00:00.596 -; compiling file "/build/cafeobj-1.5.9/thstuff/citp.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.521 +; compiling file "/build/cafeobj-1.5.9/thstuff/citp.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CHECK-CONTEXT-MODULE ...) @@ -24124,8 +24158,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/citp-tmpOWNJOEU.fasl -; compilation finished in 0:00:00.136 -; compiling file "/build/cafeobj-1.5.9/thstuff/bterm-inspector.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.122 +; compiling file "/build/cafeobj-1.5.9/thstuff/bterm-inspector.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR .BTERM-ASSOC-TABLE. ...) @@ -24751,8 +24785,8 @@ ; compiling (DEFUN BGRIND-BOOL-TERM ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/thstuff/bterm-inspector-tmpVT5BMTA5.fasl -; compilation finished in 0:00:00.211 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/types.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.183 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/types.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN LIST->QUEUE ...) @@ -24852,8 +24886,8 @@ ; compiling (DEFSTRUCT (OPTION-SET) ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/types-tmpN3CFVWZF.fasl -; compilation finished in 0:00:00.142 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/glob.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.173 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/glob.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR $$RAW-CLAUSE ...) @@ -25311,8 +25345,8 @@ ; compiling (DEFUN SETUP-PIGNOSE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/glob-tmpNK27C0R1.fasl -; compilation finished in 0:00:00.073 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/proof-sys.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.070 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/proof-sys.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MODULE-PROOF-SYSTEM ...) @@ -25334,8 +25368,8 @@ ; compiling (DEFMACRO WITH-PROOF-CONTEXT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/proof-sys-tmp3BPE71HR.fasl -; compilation finished in 0:00:00.014 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/syntax.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.016 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/syntax.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN INSTALL-FOPL-SENTENCE ...) @@ -25365,7 +25399,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX25)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -25401,8 +25435,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/syntax-tmp758YUXMV.fasl -; compilation finished in 0:00:00.034 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/index.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.041 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/index.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MAKE-INDEX-TABLE ...) @@ -26030,8 +26064,8 @@ ; compiling (DEFUN GET-CLASHABLE-CLAUSES-FROM-ATOM ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/index-tmpGMQXK1HK.fasl -; compilation finished in 0:00:00.247 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/butils.lisp" (written 25 FEB 2018 05:51:07 PM): +; compilation finished in 0:00:00.273 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/butils.lisp" (written 26 FEB 2018 07:51:07 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN TERM-IS-IDENTICAL ...) @@ -28492,8 +28526,8 @@ ; compiling (DEFUN INCLUDE-FOPL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/butils-tmp49Q238TW.fasl -; compilation finished in 0:00:00.303 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/unify.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.331 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/unify.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN COMPOSE-SUBST ...) @@ -28543,8 +28577,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/unify-tmpMXPMJ5KG.fasl -; compilation finished in 0:00:00.033 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/clause.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.032 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/clause.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN IS-EQUALITY ...) @@ -28965,8 +28999,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/clause-tmpB69313KI.fasl -; compilation finished in 0:00:00.152 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/formula.lisp" (written 29 OCT 2018 02:56:14 PM): +; compilation finished in 0:00:00.126 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/formula.lisp" (written 30 OCT 2018 04:56:14 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *DEBUG-FORMULA* ...) @@ -29115,7 +29149,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX83)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29143,7 +29177,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX87)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29174,7 +29208,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX91)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29202,7 +29236,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX95)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29245,8 +29279,8 @@ ; compiling (DEFUN CNF-TO-LIST ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/formula-tmp9ZT99EEA.fasl -; compilation finished in 0:00:00.298 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/modconv.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.268 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/modconv.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN MAKE-PIGNOSE-AXIOM ...) @@ -29316,8 +29350,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/modconv-tmpW045U8V2.fasl -; compilation finished in 0:00:00.165 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/weight.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.124 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/weight.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFMACRO MODULE-OP-LEX ...) @@ -29491,8 +29525,8 @@ ; compiling (DEFUN TERM-IDENT-X-VARS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/weight-tmp6XOIRI3N.fasl -; compilation finished in 0:00:00.212 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/lrpo.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.171 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/lrpo.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN LRPO-LEX ...) @@ -29511,7 +29545,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX32)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29542,7 +29576,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX36)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> LET BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY ; --> TAGBODY LET FUNCALL SB-C::%FUNCALL BLOCK @@ -29585,8 +29619,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/lrpo-tmp9ZHTLHSG.fasl -; compilation finished in 0:00:00.033 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/resolve.lisp" (written 02 DEC 2018 01:49:39 AM): +; compilation finished in 0:00:00.031 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/resolve.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (INLINE COMB-CLASH-SUBST)) @@ -29897,8 +29931,8 @@ ; compiling (DEFUN FACTOR-SIMPLIFY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/resolve-tmpRW73Q691.fasl -; compilation finished in 0:00:00.098 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/paramod.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.097 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/paramod.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (INLINE GET-TERM-AT)) @@ -30357,8 +30391,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/paramod-tmp4TM0ME1F.fasl -; compilation finished in 0:00:00.058 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/demod.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.055 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/demod.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL .DEMOD-TARGET-CLAUSE.) ...) @@ -30657,8 +30691,8 @@ ; compiling (DEFUN SETUP-DEMODULATORS ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/demod-tmpU2IL9N4.fasl -; compilation finished in 0:00:00.122 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/infer.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.095 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/infer.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN INFER-MAIN ...) @@ -32554,8 +32588,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/infer-tmpOPW41KDL.fasl -; compilation finished in 0:00:00.151 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/sigmatch.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.126 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/sigmatch.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (TYPE FIXNUM ...)) @@ -32618,8 +32652,8 @@ ; compiling (DEFUN GENERATE-SIGMATCH-VIEW ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/sigmatch-tmpIPVWLON2.fasl -; compilation finished in 0:00:00.037 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/refine.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.035 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/refine.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PN-GET-IMAGE-OF-AXIOMS ...) @@ -32705,8 +32739,8 @@ ; compiling (DEFUN PN-CHECK-REFINEMENT ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/refine-tmpO0LCOIDS.fasl -; compilation finished in 0:00:00.015 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/commands.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.016 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/commands.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFTERM FAX ...) @@ -33062,8 +33096,8 @@ ; compiling (DEFUN EVAL-PN-LEX ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/commands-tmpP264WQ6O.fasl -; compilation finished in 0:00:00.352 -; compiling file "/build/cafeobj-1.5.9/BigPink/codes/inv.lisp" (written 05 NOV 2018 01:26:06 PM): +; compilation finished in 0:00:00.406 +; compiling file "/build/cafeobj-1.5.9/BigPink/codes/inv.lisp" (written 06 NOV 2018 03:26:06 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DECLAIM (SPECIAL .PN-CHECK-SAFETY.)) @@ -33493,8 +33527,8 @@ ; compiling (DEFUN PN-CHECK-SAFETY ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/BigPink/codes/inv-tmpESC43OCR.fasl -; compilation finished in 0:00:00.157 -; compiling file "/build/cafeobj-1.5.9/cafeobj/cafeobjvar.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.155 +; compiling file "/build/cafeobj-1.5.9/cafeobj/cafeobjvar.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DEFVAR *CAFEOBJ-NO-BANNER* ...) ; compiling (DEFVAR *CAFEOBJ-VERBOSE* ...) @@ -33510,8 +33544,8 @@ ; compiling (DEFPARAMETER *CAFEOBJ-MOD-ELTS* ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/cafeobjvar-tmpWCAM54ZJ.fasl -; compilation finished in 0:00:00.002 -; compiling file "/build/cafeobj-1.5.9/cafeobj/creader.lisp" (written 22 AUG 2018 12:40:59 PM): +; compilation finished in 0:00:00.001 +; compiling file "/build/cafeobj-1.5.9/cafeobj/creader.lisp" (written 23 AUG 2018 02:40:59 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CAFEOBJ-PARSE ...) @@ -33557,7 +33591,7 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/creader-tmpVTMW561L.fasl ; compilation finished in 0:00:00.008 -; compiling file "/build/cafeobj-1.5.9/cafeobj/oldoc.lisp" (written 02 DEC 2018 01:49:39 AM): +; compiling file "/build/cafeobj-1.5.9/cafeobj/oldoc.lisp" (written 03 DEC 2018 03:49:39 AM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *CAFEOBJ-DOC-DB* ...) @@ -33939,7 +33973,7 @@ ; (SB-C::%FUNCALL (SB-KERNEL:%COERCE-CALLABLE-FOR-CALL SB-C::FUN) ; (CAR #:INDEX226)) ; -; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. +; note: implementation limitation: couldn't inline expand because expansion refers to the optimized away object #. ; --> BLOCK SB-INT:DX-FLET FLET SB-KERNEL:%MAP LET DO BLOCK LET TAGBODY TAGBODY ; --> LET FUNCALL SB-C::%FUNCALL BLOCK @@ -34196,8 +34230,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/oldoc-tmpUNNGT9CF.fasl -; compilation finished in 0:00:00.224 -; compiling file "/build/cafeobj-1.5.9/cafeobj/define.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.195 +; compiling file "/build/cafeobj-1.5.9/cafeobj/define.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR *CAFEOBJ-TOP-COMMANDS* ...) @@ -34418,8 +34452,8 @@ ; compiling (DEFUN PRINT-COMDE-USAGE ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/define-tmp4L3W83SU.fasl -; compilation finished in 0:00:00.042 -; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-com.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.035 +; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-com.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PARSE-IN-CONTEXT-MODEXP-WITH-TERM ...) @@ -34534,8 +34568,8 @@ ; compiling (DEFUN PARSE-GENDOC-COMMAND ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/trans-com-tmpGE7QNNEE.fasl -; compilation finished in 0:00:00.093 -; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-decl.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.059 +; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-decl.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN PARSE-INTERFACE-DECL ...) @@ -34618,8 +34652,8 @@ ; compiling (DEFUN EVAL-DECL-DO-NOTHING ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/trans-decl-tmp9B0UZGT4.fasl -; compilation finished in 0:00:00.119 -; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-form.lisp" (written 08 MAR 2016 12:11:30 PM): +; compilation finished in 0:00:00.096 +; compiling file "/build/cafeobj-1.5.9/cafeobj/trans-form.lisp" (written 09 MAR 2016 02:11:30 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN CAFEOBJ-2-CHAOS-PROC ...) @@ -34743,8 +34777,8 @@ ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/trans-form-tmpAJ5U325P.fasl -; compilation finished in 0:00:00.009 -; compiling file "/build/cafeobj-1.5.9/cafeobj/command-top.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.008 +; compiling file "/build/cafeobj-1.5.9/cafeobj/command-top.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFUN GET-ARG-STRING ...) @@ -34978,8 +35012,8 @@ ; compiling (DEFUN HANDLE-CAFEOBJ-TOP-ERROR ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/command-top-tmpAOF1CYAS.fasl -; compilation finished in 0:00:00.098 -; compiling file "/build/cafeobj-1.5.9/cafeobj/commands.lisp" (written 22 AUG 2018 12:40:59 PM): +; compilation finished in 0:00:00.125 +; compiling file "/build/cafeobj-1.5.9/cafeobj/commands.lisp" (written 23 AUG 2018 02:40:59 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (CLRHASH *CAFEOBJ-TOP-COMMANDS*) @@ -35181,8 +35215,8 @@ ; compiling (DEFINE ("?com" "?command") ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/commands-tmpIXCQTSHA.fasl -; compilation finished in 0:00:00.240 -; compiling file "/build/cafeobj-1.5.9/cafeobj/declarations.lisp" (written 25 FEB 2018 01:58:12 PM): +; compilation finished in 0:00:00.189 +; compiling file "/build/cafeobj-1.5.9/cafeobj/declarations.lisp" (written 26 FEB 2018 03:58:12 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (CLRHASH *CAFEOBJ-DECLARATIONS*) @@ -35219,8 +35253,8 @@ ; compiling (DEFINE (".") ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/declarations-tmp5E6VIEMS.fasl -; compilation finished in 0:00:00.030 -; compiling file "/build/cafeobj-1.5.9/cafeobj/cafeobj-top.lisp" (written 26 DEC 2018 05:50:28 PM): +; compilation finished in 0:00:00.025 +; compiling file "/build/cafeobj-1.5.9/cafeobj/cafeobj-top.lisp" (written 27 DEC 2018 07:50:28 PM): ; compiling (IN-PACKAGE :CHAOS) ; compiling (DECLAIM (OPTIMIZE # ...)) ; compiling (DEFVAR G_LINE_1 ...) @@ -35275,7 +35309,7 @@ ; compiling (DEFUN CAFEOBJ-TOP-LEVEL ...) ; wrote /build/cafeobj-1.5.9/tmpcache/common-lisp/sbcl-1.4.16.debian-linux-x64/build/cafeobj-1.5.9/cafeobj/cafeobj-top-tmpI0PODGVV.fasl -; compilation finished in 0:00:00.041 +; compilation finished in 0:00:00.033 ; ; compilation unit finished ; printed 2276 notes @@ -35377,12 +35411,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/35414/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/56036 and its subdirectories -I: Current time: Mon Aug 9 03:25:41 -12 2021 -I: pbuilder-time-stamp: 1628522741 +I: removing directory /srv/workspace/pbuilder/35414 and its subdirectories +I: Current time: Mon Sep 12 11:49:51 +14 2022 +I: pbuilder-time-stamp: 1662932991