Artifact e18b5b5696c687dd842370732b5d872bd37a1dd6e6d2089c7b9e468ae347cf73:
- File
psl-1983/3-1/comp/common-predicates.sl
— part of check-in
[eb17ceb7f6]
at
2020-04-21 19:40:01
on branch master
— Add Reduce 3.0 to the historical section of the archive, and some more
files relating to version sof PSL from the early 1980s. Thanks are due to
Paul McJones and Nelson Beebe for these, as well as to all the original
authors.git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/historical@5328 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 906) [annotate] [blame] [check-ins using] [more...]
- File
psl-1983/comp/common-predicates.sl
— part of check-in
[eb17ceb7f6]
at
2020-04-21 19:40:01
on branch master
— Add Reduce 3.0 to the historical section of the archive, and some more
files relating to version sof PSL from the early 1980s. Thanks are due to
Paul McJones and Nelson Beebe for these, as well as to all the original
authors.git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/historical@5328 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 906) [annotate] [blame] [check-ins using]
(* "% COMMON-PREDICATES.SL - Predicates used for Anyreg and C-macro expansion % % Author: Eric Benson % Symbolic Computation Group % Computer Science Dept. % University of Utah % Date: 21 December 1981 % Copyright (c) 1981 University of Utah %") (fluid '(EntryPoints!* !*FastLinks)) (global '(!*R2I)) (de RegisterP (Expression) (EqCar Expression 'REG)) (de AnyP (Expression) T) (de TaggedLabel (X) (EqCar X 'Label)) (de EqTP (Expression) (equal Expression T)) (de MinusOneP (Expression) (equal Expression -1)) (de InternallyCallableP (X) % only when writing a file (and (or !*WritingFaslFile (not (FUnBoundP 'AsmOut))) (or !*FastLinks (and !*R2I (memq X EntryPoints!*)) (FlagP X 'InternalFunction) (FlagP X 'FastLink)))) (de AddressConstantP (Expression) (or (atom Expression) (equal (car Expression) 'Immediate)))