/usr/share/cafeobj-1.5/prelude/std.bin is in cafeobj 1.5.7-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | ;CHAOS_BINS_____
#|| -*- Mode: LISP -*-
-- Chaos internal file --
chaos version: 1.4.13
file: lib/prelude/std.bin
Wed March 5 18:28:14: JST 2014
* NOTE : DO NOT MODIFY THIS FILE ULESS YOU REALLY KNOW WHAT YOU ARE DOING!.
||#
;;;
;;; Copyright (c) 2000-2015, Toshimi Sawada. All rights reserved.
;;;
;;; Redistribution and use in source and binary forms, with or without
;;; modification, are permitted provided that the following conditions
;;; are met:
;;;
;;; * Redistributions of source code must retain the above copyright
;;; notice, this list of conditions and the following disclaimer.
;;;
;;; * Redistributions in binary form must reproduce the above
;;; copyright notice, this list of conditions and the following
;;; disclaimer in the documentation and/or other materials
;;; provided with the distribution.
;;;
;;; THIS SOFTWARE IS PROVIDED BY THE AUTHOR 'AS IS' AND ANY EXPRESSED
;;; OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
;;; WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
;;; ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
;;; DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
;;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
;;; GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
;;; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
;;; WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
;;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
;;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
;;;
(in-package :CHAOS)
(eval-when (:execute :load-toplevel)
;;; system standard prelude.
(setq *include-bool* t)
(setf *current-module* nil)
(setf *print-circle* nil)
(setf *print-pretty* nil)
(install-prelude)
;;; atuoloader
(setq *autoload-alist*
'(("TRUTH" . "truth")
("BOOL" . "bool")
("RWL" . "rwl")
("NZNAT" . "nznat")
("NAT" . "nat")
("INT" . "int")
("RAT" . "rat")
("FLOAT" . "float")
("CHARACTER" . "character")
("FOPL-CLAUSE" . "fopl")
;; ("PROPC" . "propc")
("STRING" . "string")
("2TUPLE" . "2tuple")
("3TUPLE" . "3tuple")
("4TUPLE" . "4tuple")
("EQL" . "eql")
("QID" . "qid")
("META-LEVEL" . "metalevel")
("BOOL+" . "bool+")
))
)
;;; EOF
|