From: David Bakhash
Subject: `Series' implementation for Allegro CL?
Date: 
Message-ID: <cxjogwfrdo9.fsf@hawk.bu.edu>
I know that CMUCL has a series implementation, but what about for
Allegro?  I've asked before, but it was in a posting that also asked
questions about prolog and other stuff, and so the Series
implementation in ACL wasn't addressed, as far as I know.

dave

From: Raymond Toy
Subject: Re: `Series' implementation for Allegro CL?
Date: 
Message-ID: <4n4sy5s1el.fsf@rtp.ericsson.se>
David Bakhash <·····@bu.edu> writes:

> I know that CMUCL has a series implementation, but what about for
> Allegro?  I've asked before, but it was in a posting that also asked
> questions about prolog and other stuff, and so the Series
> implementation in ACL wasn't addressed, as far as I know.

I've tested my version of series with ACL 4.3 Linux.  It works except
for about 20-40 (or 500+) test cases.  I plan on uploading it
somewhere soon, because it now also works with Harlequin.

If you need it now, I can mail it to you.

Ray
From: Raymond Toy
Subject: Series package
Date: 
Message-ID: <4nwwb1qc43.fsf@rtp.ericsson.se>
David Bakhash <·····@bu.edu> writes:

> I know that CMUCL has a series implementation, but what about for
> Allegro?  I've asked before, but it was in a posting that also asked
> questions about prolog and other stuff, and so the Series
> implementation in ACL wasn't addressed, as far as I know.
> 

I've uploaded my version of Richard Water's Series package.  You can
find it at

	http://www.mindspring.com/~rtoy/software/series

It's quite similar to the version on www.cons.org/cmucl.  The major
differences are

	1.  Some portability enhancements from Tim Bradshaw.

	2.  Some changes to support Harlequin lisp, from Reginald
	    S. Perry.

	3.  I added a scan-stream function, analogous to scan-file.

I've tested this version on CMUCL, ACL 4.3 Linux, and Reginald tested
it on Harlequin.  Of the 500+ tests, CMUCL fails about 10 (compiler
bugs), ACL fails about 40 (some kind of bug in eval?), and Harlequin
Lispworks 3.2.2 passes all tests, but LWW and LW4.1beta fails 2 tests.

Hope someone finds this useful.

Ray
From: Jon Dyte
Subject: Re: Series package
Date: 
Message-ID: <3575972E.7F924117@totient.demon.co.uk>
I downloaded Raymond's Series package
and tested it with acl50beta for RN4.0

I had to downcase all the lisp code for
the new acl to work with ; I'm not certain
of the wisdom of this acl :case-sensitive-lower.
Alternatively I could have built a new image.

However I generated the fasl for s-code.lisp
and tried the test package. This failed.

However I commented out the lines which
force it break on warnings and signals
and amended one call to compiler-let
to cltl1:compiler-let

I then recompiled the s-test.lisp,
loaded it and hey presto all the tests
pass, with some warnings on the way.
I am not certain about having to suppress
the *break-on-warnings* and *break-on-signals*
flags from being true.

The output is below.



Jon

+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Loading /usr/local/acl5.0beta/libacl50b5.so.
Mapping /usr/local/acl5.0beta/lisp.dxl...done.
Mapping /usr/local/acl5.0beta/acl50b5.pll.
Allegro CL 5.0.beta [Linux/X86] (4/28/98 16:53)
Copyright (C) 1985-1998, Franz Inc., Berkeley, CA, USA.  All Rights
Reserved.
;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the current
;; optimization settings evaluate (explain-compiler-settings).
;;---
;; Current reader case mode: :case-sensitive-lower
user(1): :ld s-code
; Fast loading /home/jon/rtoy-series/s-code.fasl
; Autoloading for package "cltl1":
;   Fast loading from bundle code/cltl1.fasl.
user(2): (series::install)
t
user(3): :cl s-test.lisp    
;;; Compiling file s-test.lisp
Warning: to is defined more than once as a operator in the file
s-test.lisp.
;;; Writing fasl file s-test.fasl
;;; Fasl write complete
; Fast loading /home/jon/rtoy-series/s-test.fasl
Warning: to is defined more than once as a operator in the file
s-test.lisp.


user(4): (do-tests)
doing 543 pending tests of 543 tests total.
 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
27 28
 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
53 54
 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
79 80
 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102
103 104
 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122
123
 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
142
 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160
161
 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179
180
 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198
199
 200 201 202 203 204 205 206 207 208 209 210 211 212; While
                                                    ; compiling
                                                    ; (:anonymous-lambda
216):
Warning: The type float is a compound floating type in the declaration
         component:
             (type float #:sum-4310)
         To affect the efficiency of compiled code, declare explicitly
either
         the type single-float or double-float.
 213; While compiling (:anonymous-lambda 217):
Warning: The type float is a compound floating type in the declaration
         component:
             (type float #:sum-4316)
         To affect the efficiency of compiled code, declare explicitly
either
         the type single-float or double-float.
 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231
232
 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250
251
 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269
270
 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
289
 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307
308
 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326
331
 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349
350
 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368
369
 370 371 372 373 374 375; While compiling (:anonymous-lambda 375):
Warning: tag #:bbb-7405 is never referenced
 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
394
 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412
413
 414 415 416 417; While compiling (:anonymous-lambda 417):
Warning: tag #:nil-8056 is never referenced
 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435
436
 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454
455
 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473
474
 475 476 477 478 479 480 481 482 483 484 485 487 488 489 490 491 492 493
495
 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513
514
 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529; While
                                                            ; compiling
                                                            ;
(:anonymous-lambda
                                                            ;  482):
Warning: tag #:-x-9420 is never referenced
 530 531 532; While compiling (:anonymous-lambda 485):
Warning: tag #:bbb-9514 is never referenced
 533 534 535 536 537; While compiling (:anonymous-lambda 489):
Warning: tag nil is never referenced
 538 539 540 541; While compiling (:anonymous-lambda 493):
Warning: tag nil is never referenced
 542 543 544 545 546 547 548
no tests failed.
From: Raymond Toy
Subject: Re: Series package
Date: 
Message-ID: <4nvhqie1re.fsf@rtp.ericsson.se>
Jon Dyte <········@totient.demon.co.uk> writes:

> I downloaded Raymond's Series package

Really, it's not "my" package.  It's Water's package.

> and tested it with acl50beta for RN4.0

RH4.0?

I've downloaded acl50beta, but haven't tried it.

> 
> However I commented out the lines which
> force it break on warnings and signals
> and amended one call to compiler-let
> to cltl1:compiler-let

Ok.  I guess I need to do the same thing in s-tests.lisp as was done
in s-code.lisp to get compiler-let for ACL.

> 
> I then recompiled the s-test.lisp,
> loaded it and hey presto all the tests
> pass, with some warnings on the way.

Pretty cool!  Obviously 50beta is much better than 4.3 since 4.3 caught
segfaults on quite a few tests.

> I am not certain about having to suppress
> the *break-on-warnings* and *break-on-signals*
> flags from being true.

If you left these on, would the tests just stop on those tests that
produced warnings, as shown in your message?  You should have been
able to continue from them.  Or did they actually break the tests?

> 216):
> Warning: The type float is a compound floating type in the declaration
>          component:
>              (type float #:sum-4310)
>          To affect the efficiency of compiled code, declare explicitly
> either
>          the type single-float or double-float.

Obviously true.  Could change the test to say single or double, but
not necessary.

>  370 371 372 373 374 375; While compiling (:anonymous-lambda 375):
> Warning: tag #:bbb-7405 is never referenced

> Warning: tag #:-x-9420 is never referenced
>  530 531 532; While compiling (:anonymous-lambda 485):
> Warning: tag #:bbb-9514 is never referenced
>  533 534 535 536 537; While compiling (:anonymous-lambda 489):
> Warning: tag nil is never referenced
>  538 539 540 541; While compiling (:anonymous-lambda 493):
> Warning: tag nil is never referenced
>  542 543 544 545 546 547 548

I don't know how to get series not to put in tags that aren't used,
but they should be harmless.

Ray