CMUCL commit: intl-branch src (12 files)
Raymond Toy
rtoy at common-lisp.net
Thu Feb 11 02:33:02 CET 2010
Date: Wednesday, February 10, 2010 @ 20:33:02
Author: rtoy
Path: /project/cmucl/cvsroot/src
Tag: intl-branch
Modified: compiler/ir1final.lisp compiler/ir1opt.lisp compiler/ir1tran.lisp
compiler/ir1util.lisp compiler/ir2tran.lisp compiler/knownfun.lisp
compiler/life.lisp compiler/locall.lisp compiler/ltn.lisp
compiler/ltv.lisp i18n/locale/cmucl.pot
i18n/locale/ko/LC_MESSAGES/cmucl.po
Mark translatable strings; regenerate cmucl.pot and ko/cmucl.po
accordingly.
-------------------------------------+
compiler/ir1final.lisp | 8
compiler/ir1opt.lisp | 16
compiler/ir1tran.lisp | 250 ++++-----
compiler/ir1util.lisp | 42 -
compiler/ir2tran.lisp | 8
compiler/knownfun.lisp | 6
compiler/life.lisp | 4
compiler/locall.lisp | 20
compiler/ltn.lisp | 34 -
compiler/ltv.lisp | 6
i18n/locale/cmucl.pot | 927 +++++++++++++++++++++++++++++++++
i18n/locale/ko/LC_MESSAGES/cmucl.po | 937 +++++++++++++++++++++++++++++++++-
12 files changed, 2057 insertions(+), 201 deletions(-)
Index: src/compiler/ir1final.lisp
diff -u src/compiler/ir1final.lisp:1.24.38.1 src/compiler/ir1final.lisp:1.24.38.2
--- src/compiler/ir1final.lisp:1.24.38.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ir1final.lisp Wed Feb 10 20:33:00 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ir1final.lisp,v 1.24.38.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ir1final.lisp,v 1.24.38.2 2010-02-11 01:33:00 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -35,7 +35,7 @@
(note (transform-note (car failure))))
(cond
((consp what)
- (efficiency-note "Unable to ~A because:~%~6T~?"
+ (efficiency-note _"Unable to ~A because:~%~6T~?"
note (first what) (rest what)))
((valid-function-use node what
:argument-test #'types-intersect
@@ -48,7 +48,7 @@
:warning-function #'frob
:error-function #'frob))
- (efficiency-note "Unable to ~A due to type uncertainty:~@
+ (efficiency-note _"Unable to ~A due to type uncertainty:~@
~{~6T~?~^~&~}"
note (messages))))))))))
@@ -91,7 +91,7 @@
(dtype-returns (function-type-returns dtype))
(*error-function* #'compiler-warning))
(unless (values-types-intersect type-returns dtype-returns)
- (note-lossage "The result type from previous declaration:~% ~S~@
+ (note-lossage _"The result type from previous declaration:~% ~S~@
conflicts with the result type:~% ~S"
(type-specifier type-returns)
(type-specifier dtype-returns)))))))
Index: src/compiler/ir1opt.lisp
diff -u src/compiler/ir1opt.lisp:1.87.14.1 src/compiler/ir1opt.lisp:1.87.14.2
--- src/compiler/ir1opt.lisp:1.87.14.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ir1opt.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ir1opt.lisp,v 1.87.14.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ir1opt.lisp,v 1.87.14.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -196,7 +196,7 @@
(not (eq rtype *empty-type*)))
(let ((*compiler-error-context* node))
(compiler-warning
- "New inferred type ~S conflicts with old type:~
+ _"New inferred type ~S conflicts with old type:~
~% ~S~%*** Bug?"
(type-specifier rtype) (type-specifier node-type))))
(setf (node-derived-type node) int)
@@ -788,7 +788,7 @@
(let ((unused-result (funcall fun node)))
(when unused-result
(let ((*compiler-error-context* node))
- (compiler-warning "The return value of ~A should not be discarded."
+ (compiler-warning _"The return value of ~A should not be discarded."
(continuation-function-name (basic-combination-fun node))))))))
(let ((fun (function-info-destroyed-constant-args kind)))
@@ -1116,7 +1116,7 @@
;;; Just throw the severity and args...
;;;
(defun give-up (&rest args)
- "This function is used to throw out of an IR1 transform, aborting this
+ _N"This function is used to throw out of an IR1 transform, aborting this
attempt to transform the call, but admitting the possibility that this or
some other transform will later suceed. If arguments are supplied, they are
format arguments for an efficiency note."
@@ -1124,7 +1124,7 @@
(throw 'give-up (values :failure args)))
;;;
(defun abort-transform (&rest args)
- "This function is used to throw out of an IR1 transform and force a normal
+ _N"This function is used to throw out of an IR1 transform and force a normal
call to the function at run time. No further optimizations will be
attempted."
(throw 'give-up (values :aborted args)))
@@ -1134,7 +1134,7 @@
;;; delay-transform -- Interface
;;;
(defun delay-transform (node &rest reasons)
- "This function is used to throw out of an IR1 transform, and delay the
+ _N"This function is used to throw out of an IR1 transform, and delay the
transform on the node until later. The reasons specifies when the transform
will be later retried. The :optimize reason causes the transform to be
delayed until after the current IR1 optimization pass. The :constraint
@@ -1654,14 +1654,14 @@
(when total-nvals
(when (and min (< total-nvals min))
(compiler-warning
- "MULTIPLE-VALUE-CALL with ~R values when the function expects ~
+ _"MULTIPLE-VALUE-CALL with ~R values when the function expects ~
at least ~R."
total-nvals min)
(setf (basic-combination-kind node) :error)
(return-from ir1-optimize-mv-call))
(when (and max (> total-nvals max))
(compiler-warning
- "MULTIPLE-VALUE-CALL with ~R values when the function expects ~
+ _"MULTIPLE-VALUE-CALL with ~R values when the function expects ~
at most ~R."
total-nvals max)
(setf (basic-combination-kind node) :error)
Index: src/compiler/ir1tran.lisp
diff -u src/compiler/ir1tran.lisp:1.173.32.1 src/compiler/ir1tran.lisp:1.173.32.2
--- src/compiler/ir1tran.lisp:1.173.32.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ir1tran.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ir1tran.lisp,v 1.173.32.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ir1tran.lisp,v 1.173.32.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -118,7 +118,7 @@
(defvar *current-function-names* ())
(defvar *derive-function-types* t
- "If true, argument and result type information derived from compilation of
+ _N"If true, argument and result type information derived from compilation of
DEFUNs is used when compiling calls to that function. If false, only
information from FTYPE proclamations will be used.")
@@ -157,7 +157,7 @@
;;;; Dynamic-Extent
(defvar *trust-dynamic-extent-declarations* nil
- "If NIL, never trust dynamic-extent declarations.
+ _N"If NIL, never trust dynamic-extent declarations.
If T, always trust dynamic-extent declarations.
@@ -208,7 +208,7 @@
"in a dynamic-extent declaration")))))
(t
(compiler-warning
- "~@<Invalid name ~s in a dynamic-extent declaration.~@:>"
+ _"~@<Invalid name ~s in a dynamic-extent declaration.~@:>"
name))))
(if (dynamic-extent)
(make-lexenv :default lexenv :dynamic-extent (dynamic-extent))
@@ -316,7 +316,7 @@
:key #'kernel:dsd-accessor))
(type (kernel:dd-name info))
(slot-type (kernel:dsd-type slot)))
- (assert slot () "Can't find slot ~S." type)
+ (assert slot () _"Can't find slot ~S." type)
(make-slot-accessor
:name name
:type (specifier-type
@@ -341,9 +341,9 @@
(or (gethash name *free-functions*)
(ecase (info function kind name)
(:macro
- (compiler-error "Found macro name ~S ~A." name context))
+ (compiler-error _"Found macro name ~S ~A." name context))
(:special-form
- (compiler-error "Found special-form name ~S ~A." name context))
+ (compiler-error _"Found special-form name ~S ~A." name context))
((:function nil)
(check-function-name name)
(note-if-setf-function-and-macro name)
@@ -382,7 +382,7 @@
(cond (var
(unless (leaf-p var)
(assert (and (consp var) (eq (car var) 'macro)))
- (compiler-error "Found macro name ~S ~A." name context))
+ (compiler-error _"Found macro name ~S ~A." name context))
var)
(t
(find-free-function name context)))))
@@ -400,7 +400,7 @@
(defun find-free-variable (name)
(declare (values (or leaf cons heap-alien-info)))
(unless (symbolp name)
- (compiler-error "Variable name is not a symbol: ~S." name))
+ (compiler-error _"Variable name is not a symbol: ~S." name))
(or (gethash name *free-variables*)
(let ((kind (info variable kind name))
(type (info variable type name))
@@ -495,7 +495,7 @@
(grovel (%instance-ref value i)))))
(t
(compiler-error
- "Cannot dump objects of type ~S into fasl files."
+ _"Cannot dump objects of type ~S into fasl files."
(type-of value)))))))
(grovel constant)))
(undefined-value))
@@ -513,7 +513,7 @@
((start cont form
&optional
(proxy ``(error 'simple-program-error
- :format-control "Execution of a form compiled with errors:~% ~S"
+ :format-control _"Execution of a form compiled with errors:~% ~S"
:format-arguments (list ',,form))))
&body body)
(let ((skip (gensym)))
@@ -573,14 +573,14 @@
(let ((block (continuation-block cont))
(node-block (continuation-block (node-prev node))))
(assert (eq (continuation-kind cont) :block-start))
- (assert (not (block-last node-block)) () "~S has already ended."
+ (assert (not (block-last node-block)) () _"~S has already ended."
node-block)
(setf (block-last node-block) node)
- (assert (null (block-succ node-block)) () "~S already has successors."
+ (assert (null (block-succ node-block)) () _"~S already has successors."
node-block)
(setf (block-succ node-block) (list block))
(assert (not (member node-block (block-pred block) :test #'eq)) ()
- "~S is already a predecessor of ~S." node-block block)
+ _"~S is already a predecessor of ~S." node-block block)
(push node-block (block-pred block))
(add-continuation-use node cont)
(unless (eq (continuation-asserted-type cont) *wild-type*)
@@ -720,7 +720,7 @@
(typecase lexical-def
(null
(when (eq fun 'declare)
- (compiler-error "Misplaced declaration."))
+ (compiler-error _"Misplaced declaration."))
(ir1-convert-global-functoid start cont form))
(functional
(ir1-convert-local-combination start cont form lexical-def))
@@ -733,7 +733,7 @@
(careful-expand-macro (cdr lexical-def)
form))))))
((or (atom fun) (not (eq (car fun) 'lambda)))
- (compiler-error "Illegal function call."))
+ (compiler-error _"Illegal function call."))
(t
(ir1-convert-combination start cont form
;; TODO: check this case --jwr
@@ -754,7 +754,7 @@
(declare (type continuation start cont) (inline find-constant))
(ir1-error-bailout
(start cont value
- '(error "Attempt to reference undumpable constant."))
+ '(error _"Attempt to reference undumpable constant."))
(when (and (producing-fasl-file)
(not (typep value '(or symbol number character string))))
(maybe-emit-make-load-forms value))
@@ -815,7 +815,7 @@
(leaf
(when (lambda-var-p var)
(when (lambda-var-ignorep var)
- (compiler-note "Reading an ignored variable: ~S." name))
+ (compiler-note _"Reading an ignored variable: ~S." name))
;;
;; FIXME: There's a quirk somewhere when recording this
;; dependency, which I don't have to time to debug right now.
@@ -891,7 +891,7 @@
(defun careful-expand-macro (fun form)
(handler-case (invoke-macroexpand-hook fun form *lexical-environment*)
(error (condition)
- (compiler-error "(during macroexpansion)~%~A"
+ (compiler-error _"(during macroexpansion)~%~A"
condition))))
@@ -932,7 +932,7 @@
(if indices
(with-dynamic-extent (start cont nnext-cont :closure)
(when *dynamic-extent-trace*
- (format t "~&dynamic-extent args ~:s in ~s~%" indices form))
+ (format t _"~&dynamic-extent args ~:s in ~s~%" indices form))
(let ((fun-cont (make-continuation)))
(reference-leaf nnext-cont fun-cont fun)
(ir1-convert-combination-args fun-cont cont (cdr form) indices)))
@@ -1130,7 +1130,7 @@
(cond ((eq int *empty-type*)
(unless (policy nil (= brevity 3))
(compiler-warning
- "Conflicting type declarations ~
+ _"Conflicting type declarations ~
~S and ~S for ~S."
(type-specifier old-type)
(type-specifier type)
@@ -1149,7 +1149,7 @@
(new-vars `(,var-name . (MACRO . (the ,(first decl)
,(cdr var))))))
(heap-alien-info
- (compiler-error "Can't declare type of Alien variable: ~S."
+ (compiler-error _"Can't declare type of Alien variable: ~S."
var-name)))))
(if (or (restr) (new-vars))
@@ -1202,10 +1202,10 @@
(etypecase var
(cons
(assert (eq (car var) 'MACRO))
- (compiler-error "Declaring symbol-macro ~S special." name))
+ (compiler-error _"Declaring symbol-macro ~S special." name))
(lambda-var
(when (lambda-var-ignorep var)
- (compiler-note "Ignored variable ~S is being declared special."
+ (compiler-note _"Ignored variable ~S is being declared special."
name))
(setf (lambda-var-specvar var)
(specvar-for-binding name)))
@@ -1267,7 +1267,7 @@
(etypecase found
(functional
(when (policy nil (>= speed brevity))
- (compiler-note "Ignoring ~A declaration not at ~
+ (compiler-note _"Ignoring ~A declaration not at ~
definition of local function:~% ~S"
sense name)))
(global-var
@@ -1288,7 +1288,7 @@
(if (consp name)
(destructuring-bind (wot fn-name) name
(unless (eq wot 'function)
- (compiler-error "Unrecognizable function or variable name: ~S"
+ (compiler-error _"Unrecognizable function or variable name: ~S"
name))
(find fn-name fvars
:key #'leaf-name
@@ -1309,8 +1309,8 @@
((not var)
(if (or (lexenv-find name variables)
(lexenv-find-function name))
- (compiler-note "Ignoring free ignore declaration for ~S." name)
- (compiler-warning "Ignore declaration for unknown variable ~S."
+ (compiler-note _"Ignoring free ignore declaration for ~S." name)
+ (compiler-warning _"Ignore declaration for unknown variable ~S."
name)))
((and (consp var)
(eq (car var) 'macro)
@@ -1325,7 +1325,7 @@
((functional-p var)
(setf (leaf-ever-used var) t))
((lambda-var-specvar var)
- (compiler-note "Declaring special variable ~S to be ignored." name))
+ (compiler-note _"Declaring special variable ~S to be ignored." name))
((eq (first spec) 'ignorable)
(setf (leaf-ever-used var) t))
(t
@@ -1333,7 +1333,7 @@
(undefined-value))
(defvar *suppress-values-declaration* nil
- "If true, processing of the VALUES declaration is inhibited.")
+ _N"If true, processing of the VALUES declaration is inhibited.")
;;; PROCESS-1-DECLARATION -- Internal
;;;
@@ -1347,7 +1347,7 @@
(special (process-special-declaration spec res vars))
(ftype
(unless (cdr spec)
- (compiler-error "No type specified in FTYPE declaration: ~S." spec))
+ (compiler-error _"No type specified in FTYPE declaration: ~S." spec))
(process-ftype-declaration (second spec) res (cddr spec) fvars))
(function
;;
@@ -1396,12 +1396,12 @@
(string= (symbol-name what) "CLASS"))) ; pcl hack
(or (info type kind what)
(and (consp what) (info type translator (car what)))))
- (compiler-note "Abbreviated type declaration: ~S." spec)
+ (compiler-note _"Abbreviated type declaration: ~S." spec)
(process-type-declaration spec res vars))
((info declaration recognized what)
res)
(t
- (compiler-warning "Unrecognized declaration: ~S." spec)
+ (compiler-warning _"Unrecognized declaration: ~S." spec)
res))))))
@@ -1423,7 +1423,7 @@
(dolist (decl decls)
(dolist (spec (rest decl))
(unless (consp spec)
- (compiler-error "Malformed declaration specifier ~S in ~S."
+ (compiler-error _"Malformed declaration specifier ~S in ~S."
spec decl))
(setq env (process-1-declaration spec env vars fvars cont))))
@@ -1440,11 +1440,11 @@
(cond ((not (eq (info variable where-from name) :assumed))
(let ((found (find-free-variable name)))
(when (heap-alien-info-p found)
- (compiler-error "Declaring an alien variable to be special: ~S"
+ (compiler-error _"Declaring an alien variable to be special: ~S"
name))
(when (or (not (global-var-p found))
(eq (global-var-kind found) :constant))
- (compiler-error "Declaring a constant to be special: ~S." name))
+ (compiler-error _"Declaring a constant to be special: ~S." name))
found))
(t
(make-global-var :kind :special :name name :where-from :declared))))
@@ -1468,12 +1468,12 @@
(declare (list names-so-far) (values lambda-var)
(inline member))
(unless (symbolp name)
- (compiler-error "Lambda-variable is not a symbol: ~S." name))
+ (compiler-error _"Lambda-variable is not a symbol: ~S." name))
(when (member name names-so-far :test #'eq)
- (compiler-error "Repeated variable in lambda-list: ~S." name))
+ (compiler-error _"Repeated variable in lambda-list: ~S." name))
(let ((kind (info variable kind name)))
(when (or (keywordp name) (eq kind :constant))
- (compiler-error "Name of lambda-variable is a constant: ~S." name))
+ (compiler-error _"Name of lambda-variable is a constant: ~S." name))
(if (eq kind :special)
(let ((specvar (find-free-variable name)))
(make-lambda-var :name name
@@ -1498,7 +1498,7 @@
(when (and info
(eq (arg-info-kind info) :keyword)
(eq (arg-info-keyword info) key))
- (compiler-error "Multiple uses of keyword ~S in lambda-list." key))))
+ (compiler-error _"Multiple uses of keyword ~S in lambda-list." key))))
key))
@@ -1531,13 +1531,13 @@
allow-debug-catch-tag
caller)
(unless (consp form)
- (compiler-error "Found a ~S when expecting a lambda expression:~% ~S"
+ (compiler-error _"Found a ~S when expecting a lambda expression:~% ~S"
(type-of form) form))
(unless (eq (car form) 'lambda)
- (compiler-error "Expecting a lambda, but form begins with ~S:~% ~S"
+ (compiler-error _"Expecting a lambda, but form begins with ~S:~% ~S"
(car form) form))
(unless (and (consp (cdr form)) (listp (cadr form)))
- (compiler-error "Lambda-list absent or not a list:~% ~S" form))
+ (compiler-error _"Lambda-list absent or not a list:~% ~S" form))
(multiple-value-bind (vars keyp allow-other-keys aux-vars aux-vals)
(find-lambda-vars (cadr form))
@@ -1550,7 +1550,7 @@
(policy nil (= debug 3))) ; TODO: check the policy settings --jwr
(progn
(when (and *compile-print* *print-debug-tag-conversions*)
- (format t "ir1-convert-lambda: called by: ~S, parent-form: ~S~%"
+ (format t _"ir1-convert-lambda: called by: ~S, parent-form: ~S~%"
caller parent-form))
(ir1-wrap-for-debug body))
body))
@@ -1630,7 +1630,7 @@
(setf (arg-info-supplied-p info) supplied-var)
(names-so-far supplied-p)
(when (> (length (the list spec)) 3)
- (compiler-error "Arg specifier is too long: ~S." spec)))))))
+ (compiler-error _"Arg specifier is too long: ~S." spec)))))))
(dolist (name required)
(let ((var (varify-lambda-arg name (names-so-far))))
@@ -1691,7 +1691,7 @@
(t
(let ((head (first spec)))
(unless (= (length (the list head)) 2)
- (error "Malformed keyword arg specifier: ~S." spec))
+ (error _"Malformed keyword arg specifier: ~S." spec))
(let* ((name (second head))
(var (varify-lambda-arg name (names-so-far)))
(info (make-arg-info
@@ -1710,7 +1710,7 @@
(names-so-far spec)))
(t
(unless (<= 1 (length spec) 2)
- (compiler-error "Malformed &aux binding specifier: ~S."
+ (compiler-error _"Malformed &aux binding specifier: ~S."
spec))
(let* ((name (first spec))
(var (varify-lambda-arg name nil)))
@@ -2320,13 +2320,13 @@
;;;; Control special forms:
(def-ir1-translator progn ((&rest forms) start cont)
- "Progn Form*
+ _N"Progn Form*
Evaluates each Form in order, returing the values of the last form. With no
forms, returns NIL."
(ir1-convert-progn-body start cont forms))
(def-ir1-translator if ((test then &optional else) start cont)
- "If Predicate Then [Else]
+ _N"If Predicate Then [Else]
If Predicate evaluates to non-null, evaluate Then and returns its values,
otherwise evaluate Else and return its values. Else defaults to NIL."
(let* ((pred (make-continuation))
@@ -2366,12 +2366,12 @@
;;; done later, the block would be in the wrong environment.
;;;
(def-ir1-translator block ((name &rest forms) start cont)
- "Block Name Form*
+ _N"Block Name Form*
Evaluate the Forms as a PROGN. Within the lexical scope of the body,
(RETURN-FROM Name Value-Form) can be used to exit the form, returning the
result of Value-Form."
(unless (symbolp name)
- (compiler-error "Block name is not a symbol: ~S." name))
+ (compiler-error _"Block name is not a symbol: ~S." name))
(continuation-starts-block cont)
(let* ((dummy (make-continuation))
(entry (make-entry))
@@ -2393,13 +2393,13 @@
;;;
(def-ir1-translator return-from ((name &optional value)
start cont)
- "Return-From Block-Name Value-Form
+ _N"Return-From Block-Name Value-Form
Evaluate the Value-Form, returning its values from the lexically enclosing
BLOCK Block-Name. This is constrained to be used only within the dynamic
extent of the BLOCK."
(continuation-starts-block cont)
(let* ((found (or (lexenv-find name blocks)
- (compiler-error "Return for unknown block: ~S." name)))
+ (compiler-error _"Return for unknown block: ~S." name)))
(value-cont (make-continuation))
(entry (first found))
(exit (make-exit :entry entry :value value-cont)))
@@ -2431,9 +2431,9 @@
(return))
(let ((tag (elt current tag-pos)))
(when (assoc tag (segments))
- (compiler-error "Repeated tagbody tag: ~S." tag))
+ (compiler-error _"Repeated tagbody tag: ~S." tag))
(unless (or (symbolp tag) (integerp tag))
- (compiler-error "Illegal tagbody statement: ~S." tag))
+ (compiler-error _"Illegal tagbody statement: ~S." tag))
(segments `(,@(subseq current 0 tag-pos) (go ,tag))))
(setq current (nthcdr tag-pos current)))))
(segments)))
@@ -2446,7 +2446,7 @@
;;; each segment with the precomputed Start and Cont values.
;;;
(def-ir1-translator tagbody ((&rest statements) start cont)
- "Tagbody {Tag | Statement}*
+ _N"Tagbody {Tag | Statement}*
Define tags for used with GO. The Statements are evaluated in order
(skipping Tags) and NIL is returned. If a statement contains a GO to a
defined Tag within the lexical scope of the form, then control is transferred
@@ -2488,12 +2488,12 @@
;;; Emit an Exit node without any value.
;;;
(def-ir1-translator go ((tag) start cont)
- "Go Tag
+ _N"Go Tag
Transfer control to the named Tag in the lexically enclosing TAGBODY. This
is constrained to be used only within the dynamic extent of the TAGBODY."
(continuation-starts-block cont)
(let* ((found (or (lexenv-find tag tags :test #'eql)
- (compiler-error "Go to nonexistent tag: ~S." tag)))
+ (compiler-error _"Go to nonexistent tag: ~S." tag)))
(entry (first found))
(exit (make-exit :entry entry)))
(push exit (entry-exits entry))
@@ -2514,11 +2514,11 @@
(values nil))
(list
(unless (= (length bind) 2)
- (compiler-error "Bad compiler-let binding spec: ~S." bind))
+ (compiler-error _"Bad compiler-let binding spec: ~S." bind))
(vars (first bind))
(values (eval (second bind))))
(t
- (compiler-error "Bad compiler-let binding spec: ~S." bind))))
+ (compiler-error _"Bad compiler-let binding spec: ~S." bind))))
(progv (vars) (values)
(ir1-convert-progn-body start cont body))))
@@ -2536,7 +2536,7 @@
(set-difference situations
'(compile load eval
:compile-toplevel :load-toplevel :execute)))
- (compiler-error "Bad Eval-When situation list: ~S." situations))
+ (compiler-error _"Bad Eval-When situation list: ~S." situations))
(if toplevel-p
;; Can only get here from compile-file
@@ -2555,7 +2555,7 @@
(funcall fun '(nil)))))
(def-ir1-translator eval-when ((situations &rest body) start cont)
- "EVAL-WHEN (Situation*) Form*
+ _N"EVAL-WHEN (Situation*) Form*
Evaluate the Forms in the specified Situations, any of :COMPILE-TOPLEVEL,
:LOAD-TOPLEVEL, :EXECUTE."
(do-eval-when-stuff situations body
@@ -2605,13 +2605,13 @@
(lisp::parse-defmacro arglist whole body name 'macrolet
:environment environment)
(unless (symbolp name)
- (compiler-error "Macro name ~S is not a symbol." name))
+ (compiler-error _"Macro name ~S is not a symbol." name))
(unless (listp arglist)
- (compiler-error "Local macro ~S has argument list that is not a list: ~S."
+ (compiler-error _"Local macro ~S has argument list that is not a list: ~S."
name arglist))
(when (< (length def) 3)
(compiler-error
- "Local macro ~S is too short to be a legal definition." name))
+ _"Local macro ~S is too short to be a legal definition." name))
(new-fenv `(,(first def) macro .
,(eval:internal-eval
`(lambda (,whole ,environment)
@@ -2628,7 +2628,7 @@
(def-ir1-translator macrolet ((definitions &parse-body (body decls)) start cont)
- "MACROLET ({(Name Lambda-List Form*)}*) Body-Form*
+ _N"MACROLET ({(Name Lambda-List Form*)}*) Body-Form*
Evaluate the Body-Forms in an environment with the specified local macros
defined. Name is the local macro name, Lambda-List is the DEFMACRO style
destructuring lambda list, and the Forms evaluate to the expansion."
@@ -2642,7 +2642,7 @@
;;; COMPILER-OPTION-BIND
;;;
(def-ir1-translator compiler-option-bind ((bindings &body body) start cont)
- "Compiler-Option-Bind ({(Name Value-Form)}*) Body-Form*
+ _N"Compiler-Option-Bind ({(Name Value-Form)}*) Body-Form*
Establish the specified compiler options for the (lexical) duration of
the body. The Value-Forms are evaluated at compile time."
(let ((*lexical-environment*
@@ -2652,7 +2652,7 @@
(cdr binding)
(listp (cdr binding))
(null (cddr binding)))
- (compiler-error "Bogus binding for ~
+ (compiler-error _"Bogus binding for ~
COMPILER-OPTION-BIND: ~S"
binding))
(cons (car binding)
@@ -2675,7 +2675,7 @@
(declare (list args))
(handler-case (mapcar #'eval args)
(error (condition)
- (compiler-error "Lisp error during evaluation of info args:~%~A"
+ (compiler-error _"Lisp error during evaluation of info args:~%~A"
condition))))
;;; A hashtable that translates from primitive names to translation functions.
@@ -2696,7 +2696,7 @@
start cont)
(unless (symbolp name)
- (compiler-error "%Primitive name is not a symbol: ~S." name))
+ (compiler-error _"%Primitive name is not a symbol: ~S." name))
(let* ((name (intern (symbol-name name)
(or (find-package "OLD-C")
@@ -2705,7 +2705,7 @@
(if translator
(ir1-convert start cont (funcall translator (cdr form)))
(let* ((template (or (gethash name (backend-template-names *backend*))
- (compiler-error "Undefined primitive name: ~A."
+ (compiler-error _"Undefined primitive name: ~A."
name)))
(required (length (template-arg-types template)))
(info (template-info-arg-count template))
@@ -2713,20 +2713,20 @@
(nargs (length args)))
(if (template-more-args-type template)
(when (< nargs min)
- (compiler-error "Primitive called with ~R argument~:P, ~
+ (compiler-error _"Primitive called with ~R argument~:P, ~
but wants at least ~R."
nargs min))
(unless (= nargs min)
- (compiler-error "Primitive called with ~R argument~:P, ~
+ (compiler-error _"Primitive called with ~R argument~:P, ~
but wants exactly ~R."
nargs min)))
(when (eq (template-result-types template) :conditional)
- (compiler-error "%Primitive used with a conditional template."))
+ (compiler-error _"%Primitive used with a conditional template."))
(when (template-more-results-type template)
(compiler-error
- "%Primitive used with an unknown values template."))
+ _"%Primitive used with an unknown values template."))
(ir1-convert start cont
`(%%primitive ',template
@@ -2739,13 +2739,13 @@
;;;; Quote and Function:
(def-ir1-translator quote ((thing) start cont)
- "QUOTE Value
+ _N"QUOTE Value
Return Value without evaluating it."
(reference-constant start cont thing))
(def-ir1-translator function ((thing) start cont)
- "FUNCTION Name
+ _N"FUNCTION Name
Return the lexically apparent definition of the function Name. Name may also
be a lambda."
(flet ((reference-it ()
@@ -2767,7 +2767,7 @@
(t
(if (valid-function-name-p thing)
(reference-it)
- (compiler-error "Illegal function name: ~S" thing))))
+ (compiler-error _"Illegal function name: ~S" thing))))
(reference-it))))
@@ -2809,29 +2809,29 @@
(values nil t)))
(deftransform %coerce-to-function ((thing) * * :when :both)
- (give-up "Might be a symbol, so must call FDEFINITION at runtime."))
+ (give-up _"Might be a symbol, so must call FDEFINITION at runtime."))
;;;; Symbol macros:
(def-ir1-translator symbol-macrolet ((specs &parse-body (body decls))
start cont)
- "SYMBOL-MACROLET ({(Name Expansion)}*) Decl* Form*
+ _N"SYMBOL-MACROLET ({(Name Expansion)}*) Decl* Form*
Define the Names as symbol macros with the given Expansions. Within the
body, references to a Name will effectively be replaced with the Expansion."
(collect ((res))
(dolist (spec specs)
(unless (= (length spec) 2)
- (compiler-error "Malformed symbol macro binding: ~S." spec))
+ (compiler-error _"Malformed symbol macro binding: ~S." spec))
(let ((name (first spec))
(def (second spec)))
(unless (symbolp name)
- (compiler-error "Symbol macro name is not a symbol: ~S." name))
+ (compiler-error _"Symbol macro name is not a symbol: ~S." name))
(let ((kind (info variable kind name)))
(when (member kind '(:special :constant))
- (compiler-error "Attempt to bind a special or constant variable with SYMBOL-MACROLET: ~S." name)))
+ (compiler-error _"Attempt to bind a special or constant variable with SYMBOL-MACROLET: ~S." name)))
(when (assoc name (res) :test #'eq)
- (compiler-warning "Repeated name in SYMBOL-MACROLET: ~S." name))
+ (compiler-warning _"Repeated name in SYMBOL-MACROLET: ~S." name))
(res `(,name . (MACRO . ,def)))))
(let* ((*lexical-environment* (make-lexenv :variables (res)))
@@ -2859,7 +2859,7 @@
(collect ((vars))
(dolist (name names (vars))
(unless (symbolp name)
- (compiler-error "Name is not a symbol: ~S." name))
+ (compiler-error _"Name is not a symbol: ~S." name))
(let ((old (gethash name *free-variables*)))
(when old (vars old))))))
@@ -2882,7 +2882,7 @@
(let ((old-type (info variable type name)))
(unless (types-intersect type old-type)
(compiler-warning
- "New proclaimed type ~S for ~S conflicts with old type ~S."
+ _"New proclaimed type ~S for ~S conflicts with old type ~S."
(type-specifier type) name (type-specifier old-type))))))
(dolist (var (get-old-vars names))
@@ -2939,7 +2939,7 @@
(let ((type (specifier-type spec)))
(unless (csubtypep type (specifier-type 'function))
(compiler-error
- "Declared functional type is not a function type: ~S." spec))
+ _"Declared functional type is not a function type: ~S." spec))
(dolist (name names)
(process-1-ftype-proclamation name type))))
@@ -2967,7 +2967,7 @@
(if (constantp what)
(let ((form (eval what)))
(unless (consp form)
- (compiler-error "Malformed PROCLAIM spec: ~S." form))
+ (compiler-error _"Malformed PROCLAIM spec: ~S." form))
(let ((identifier (first form))
(args (rest form))
@@ -2979,7 +2979,7 @@
(when (or (constant-p old)
(eq (global-var-kind old) :constant))
(compiler-error
- "Attempt to proclaim constant ~S to be special." name))
+ _"Attempt to proclaim constant ~S to be special." name))
(ecase (global-var-kind old)
(:special)
@@ -2990,16 +2990,16 @@
:kind :special)))))))
(type
(when (endp args)
- (compiler-error "Malformed TYPE proclamation: ~S." form))
+ (compiler-error _"Malformed TYPE proclamation: ~S." form))
(process-type-proclamation (first args) (rest args)))
(function
(when (endp args)
- (compiler-error "Malformed FUNCTION proclamation: ~S." form))
+ (compiler-error _"Malformed FUNCTION proclamation: ~S." form))
(process-ftype-proclamation `(function . ,(rest args))
(list (first args))))
(ftype
(when (endp args)
- (compiler-error "Malformed FTYPE proclamation: ~S." form))
+ (compiler-error _"Malformed FTYPE proclamation: ~S." form))
(process-ftype-proclamation (first args) (rest args)))
((inline notinline maybe-inline)
(process-inline-proclamation identifier args))
@@ -3018,7 +3018,7 @@
(setq ignore t))
(t
(setq ignore t)
- (compiler-warning "Unrecognized proclamation: ~S."
+ (compiler-warning _"Unrecognized proclamation: ~S."
form)))))
(unless ignore
@@ -3094,7 +3094,7 @@
(vals nil)))
(t
(unless (<= 1 (length spec) 2)
- (compiler-error "Malformed ~S binding spec: ~S."
+ (compiler-error _"Malformed ~S binding spec: ~S."
context spec))
(let* ((name (first spec))
(var (get-var name)))
@@ -3106,7 +3106,7 @@
(def-ir1-translator let ((bindings &parse-body (body decls))
start cont)
- "LET ({(Var [Value]) | Var}*) Declaration* Form*
+ _N"LET ({(Var [Value]) | Var}*) Declaration* Form*
During evaluation of the Forms, Bind the Vars to the result of evaluating the
Value forms. The variables are bound in parallel after all of the Values are
evaluated."
@@ -3126,7 +3126,7 @@
(def-ir1-translator locally ((&parse-body (body decls))
start cont)
- "LOCALLY Declaration* Form*
+ _N"LOCALLY Declaration* Form*
Sequentially evaluates a body of Form's in a lexical environment
where the given Declaration's have effect."
(let* ((*lexical-environment* (process-declarations decls nil nil cont)))
@@ -3134,7 +3134,7 @@
(def-ir1-translator let* ((bindings &parse-body (body decls))
start cont)
- "LET* ({(Var [Value]) | Var}*) Declaration* Form*
+ _N"LET* ({(Var [Value]) | Var}*) Declaration* Form*
Similar to LET, but the variables are bound sequentially, allowing each Value
form to reference any of the previous Vars."
(multiple-value-bind (vars values)
@@ -3171,7 +3171,7 @@
(collect ((names) (defs))
(dolist (def definitions)
(when (or (atom def) (< (length def) 2))
- (compiler-error "Malformed ~S definition spec: ~S." context def))
+ (compiler-error _"Malformed ~S definition spec: ~S." context def))
(let* ((name (check-function-name (first def)))
(block-name (nth-value 1 (valid-function-name-p (first def))))
(local-name (local-function-name name)))
@@ -3187,7 +3187,7 @@
(def-ir1-translator flet ((definitions &parse-body (body decls))
start cont)
- "FLET ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*
+ _N"FLET ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*
Evaluate the Body-Forms with some local function definitions. The bindings
do not enclose the definitions; any use of Name in the Forms will refer to
the lexically apparent function definition in the enclosing environment."
@@ -3214,7 +3214,7 @@
;;; used for inline expansion we will get the right functions.
;;;
(def-ir1-translator labels ((definitions &parse-body (body decls)) start cont)
- "LABELS ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*
+ _N"LABELS ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*
Evaluate the Body-Forms with some local function definitions. The bindings
enclose the new definitions, so the defined functions can call themselves or
each other."
@@ -3290,7 +3290,7 @@
(when (and (not intersects)
(not (policy nil (= brevity 3))))
(compiler-warning
- "Type ~S in ~S declaration conflicts with enclosing assertion:~% ~S"
+ _"Type ~S in ~S declaration conflicts with enclosing assertion:~% ~S"
(type-specifier ctype) name (type-specifier old-type)))
(make-lexenv :type-restrictions `((,cont . ,new))
:default lexenv)))
@@ -3303,7 +3303,7 @@
;;; expected behavior.
;;;
(def-ir1-translator the ((type value) start cont)
- "THE Type Form
+ _N"THE Type Form
Assert that Form evaluates to the specified type (which may be a VALUES
type.)"
(let ((ctype (values-specifier-type type)))
@@ -3329,7 +3329,7 @@
;;; with the uses's Derived-Type.
;;;
(def-ir1-translator truly-the ((type value) start cont)
- "Truly-The Type Value
+ _N"Truly-The Type Value
Like the THE special form, except that it believes whatever you tell it. It
will never generate a type check, but will cause a warning if the compiler
can prove the assertion is wrong."
@@ -3349,13 +3349,13 @@
;;; out.
(def-ir1-translator setq ((&whole source &rest things) start cont)
- "SETQ {Var Value}*
+ _N"SETQ {Var Value}*
Set the variables to the values. If more than one pair is supplied, the
assignments are done sequentially. If Var names a symbol macro, SETF the
expansion."
(let ((len (length things)))
(when (oddp len)
- (compiler-error "Odd number of args to SETQ: ~S." source))
+ (compiler-error _"Odd number of args to SETQ: ~S." source))
(if (= len 2)
(let* ((name (first things))
(leaf (or (lexenv-find name variables)
@@ -3365,10 +3365,10 @@
(when (or (constant-p leaf)
(and (global-var-p leaf)
(eq (global-var-kind leaf) :constant)))
- (compiler-error "Attempt to set constant ~S." name))
+ (compiler-error _"Attempt to set constant ~S." name))
(when (lambda-var-p leaf)
(when (lambda-var-ignorep leaf)
- (compiler-note "Setting an ignored variable: ~S." name))
+ (compiler-note _"Setting an ignored variable: ~S." name))
(note-dfo-dependency start leaf))
(set-variable start cont leaf (second things)))
(cons
@@ -3415,7 +3415,7 @@
;;; than receiving multiple-values.
;;;
(def-ir1-translator throw ((tag result) start cont)
- "Throw Tag Form
+ _N"Throw Tag Form
Do a non-local exit, return the values of Form from the CATCH whose tag
evaluates to the same thing as Tag."
(ir1-convert start cont
@@ -3480,7 +3480,7 @@
;;; using %within-cleanup.
;;;
(def-ir1-translator catch ((tag &body body) start cont)
- "Catch Tag Form*
+ _N"Catch Tag Form*
Evaluates Tag and instantiates it as a catcher while the body forms are
evaluated in an implicit PROGN. If a THROW is done to Tag within the dynamic
scope of the body, then control will be transferred to the end of the body
@@ -3504,7 +3504,7 @@
;;; doesn't cause creation of an XEP.
;;;
(def-ir1-translator unwind-protect ((protected &body cleanup) start cont)
- "Unwind-Protect Protected Cleanup*
+ _N"Unwind-Protect Protected Cleanup*
Evaluate the form Protected, returning its values. The cleanup forms are
evaluated whenever the dynamic scope of the Protected form is exited (either
due to normal completion or a non-local exit such as THROW)."
@@ -3540,7 +3540,7 @@
;;; compilation of MV-Combinations.
;;;
(def-ir1-translator multiple-value-call ((fun &rest args) start cont)
- "MULTIPLE-VALUE-CALL Function Values-Form*
+ _N"MULTIPLE-VALUE-CALL Function Values-Form*
Call Function, passing all the values of each Values-Form as arguments,
values from the first Values-Form making up the first argument, etc."
(let* ((fun-cont (make-continuation))
@@ -3595,7 +3595,7 @@
;;; whose block is the true control destination.
;;;
(def-ir1-translator multiple-value-prog1 ((result &rest forms) start cont)
- "MULTIPLE-VALUE-PROG1 Values-Form Form*
+ _N"MULTIPLE-VALUE-PROG1 Values-Form Form*
Evaluate Values-Form and then the Forms, but return all the values of
Values-Form."
(continuation-starts-block cont)
@@ -3656,7 +3656,7 @@
;;;
(defun do-macro-compile-time (name def)
(unless (symbolp name)
- (compiler-error "Macro name is not a symbol: ~S." name))
+ (compiler-error _"Macro name is not a symbol: ~S." name))
(ecase (info function kind name)
((nil))
@@ -3664,11 +3664,11 @@
(remhash name *free-functions*)
(undefine-function-name name)
(compiler-warning
- "Defining ~S to be a macro when it was ~(~A~) to be a function."
+ _"Defining ~S to be a macro when it was ~(~A~) to be a function."
name (info function where-from name)))
(:macro)
(:special-form
- (compiler-error "Attempt to redefine special form ~S as a macro." name)))
+ (compiler-error _"Attempt to redefine special form ~S as a macro." name)))
(setf (info function kind name) :macro)
(setf (info function where-from name) :defined)
@@ -3688,12 +3688,12 @@
(ir1-convert start cont `(%%defmacro ',name ,fun ,doc)))
(when *compile-print*
- (compiler-mumble "~&; Converted ~S.~%" name))))
+ (compiler-mumble _"~&; Converted ~S.~%" name))))
(defun do-compiler-macro-compile-time (name def)
(when (eq (info function kind name) :special-form)
- (compiler-error "Attempt to define a compiler-macro for special form ~S."
+ (compiler-error _"Attempt to define a compiler-macro for special form ~S."
name))
(when *compile-time-define-macros*
(setf (info function compiler-macro-function name)
@@ -3714,30 +3714,30 @@
(ir1-convert start cont `(%%define-compiler-macro ',name ,fun ,doc)))
(when *compile-print*
- (compiler-mumble "~&; Converted ~S.~%" name))))
+ (compiler-mumble _"~&; Converted ~S.~%" name))))
;;; Update the global environment to correspond to the new definition.
;;;
(defun do-defconstant-compile-time (name value doc)
(unless (symbolp name)
- (compiler-error "Constant name is not a symbol: ~S." name))
+ (compiler-error _"Constant name is not a symbol: ~S." name))
(when (eq name t)
- (compiler-error "Can't change T."))
+ (compiler-error _"Can't change T."))
(when (eq name nil)
- (compiler-error "Nihil ex nihil (Can't change NIL)."))
+ (compiler-error _"Nihil ex nihil (Can't change NIL)."))
(when (keywordp name)
- (compiler-error "Can't change the value of keywords."))
+ (compiler-error _"Can't change the value of keywords."))
(let ((kind (info variable kind name)))
(case kind
(:constant
(unless (equalp value (info variable constant-value name))
- (compiler-warning "Redefining constant ~S as:~% ~S"
+ (compiler-warning _"Redefining constant ~S as:~% ~S"
name value)))
(:global)
(t
- (compiler-warning "Redefining ~(~A~) ~S to be a constant."
+ (compiler-warning _"Redefining ~(~A~) ~S to be a constant."
kind name))))
(setf (info variable kind name) :constant)
@@ -3999,4 +3999,4 @@
,@(when save-expansion `(',save-expansion)))))
(when *compile-print*
- (compiler-mumble "~&; Converted ~S.~%" name))))))
+ (compiler-mumble _"~&; Converted ~S.~%" name))))))
Index: src/compiler/ir1util.lisp
diff -u src/compiler/ir1util.lisp:1.110.26.1 src/compiler/ir1util.lisp:1.110.26.2
--- src/compiler/ir1util.lisp:1.110.26.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ir1util.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ir1util.lisp,v 1.110.26.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ir1util.lisp,v 1.110.26.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -447,17 +447,17 @@
form)
(defun encode-form-numbers (tlf-number form-number)
- "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum."
+ _N"Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum."
(declare (type (unsigned-byte 14) tlf-number form-number))
(logior tlf-number (ash form-number 14)))
(defun decode-form-numbers (fixnum)
- "Return the tlf-number and form-number from an encoded FIXNUM."
+ _N"Return the tlf-number and form-number from an encoded FIXNUM."
(values (ldb (byte 14 0) fixnum)
(ldb (byte 14 14) fixnum)))
(defun source-location ()
- "Return a source-location for the call site."
+ _N"Return a source-location for the call site."
nil)
(define-compiler-macro source-location ()
@@ -845,7 +845,7 @@
(mark-for-deletion (node-block ref)))
(unless (leaf-ever-used leaf)
(let ((*compiler-error-context* bind))
- (compiler-note "Deleting unused function~:[.~;~:*~% ~S~]"
+ (compiler-note _"Deleting unused function~:[.~;~:*~% ~S~]"
(leaf-name leaf))))
(unless (block-delete-p bind-block)
(unlink-blocks (component-head component) bind-block))
@@ -1069,7 +1069,7 @@
;;;
(defun delete-block (block)
(declare (type cblock block))
- (assert (block-component block) () "Block is already deleted.")
+ (assert (block-component block) () _"Block is already deleted.")
(note-block-deletion block)
(setf (block-delete-p block) t)
@@ -1199,7 +1199,7 @@
(unless (or (leaf-ever-used var)
(lambda-var-ignorep var))
(let ((*compiler-error-context* (lambda-bind fun)))
- (compiler-note "Variable ~S defined but never used." (leaf-name var)))
+ (compiler-note _"Variable ~S defined but never used." (leaf-name var)))
(setf (leaf-ever-used var) t)))
(undefined-value))
@@ -1274,7 +1274,7 @@
0)))
(unless (return-p node)
(let ((*compiler-error-context* node))
- (compiler-note "Deleting unreachable code.")))
+ (compiler-note _"Deleting unreachable code.")))
(return))))))
(undefined-value))
@@ -1404,7 +1404,7 @@
;;; with the correct number of arguments.
;;;
(defun extract-function-args (cont fun num-args)
- "If CONT is a call to FUN with NUM-ARGS args, change those arguments
+ _N"If CONT is a call to FUN with NUM-ARGS args, change those arguments
to feed directly to the continuation-dest of CONT, which must be
a combination."
(declare (type continuation cont)
@@ -1618,7 +1618,7 @@
(defvar *inline-expansion-limit* 400
- "An upper limit on the number of inline function calls that will be expanded
+ _N"An upper limit on the number of inline function calls that will be expanded
in any given code object (single function or block compilation.)")
@@ -1634,7 +1634,7 @@
(cond ((> expanded *inline-expansion-limit*) nil)
((= expanded *inline-expansion-limit*)
(let ((*compiler-error-context* node))
- (compiler-note "*Inline-Expansion-Limit* (~D) exceeded, ~
+ (compiler-note _"*Inline-Expansion-Limit* (~D) exceeded, ~
probably trying to~% ~
inline a recursive function."
*inline-expansion-limit*))
@@ -1654,14 +1654,14 @@
*error-print-length* *error-print-lines*))
(defvar *error-print-level* 3
- "The value for *Print-Level* when printing compiler error messages.")
+ _N"The value for *Print-Level* when printing compiler error messages.")
(defvar *error-print-length* 5
- "The value for *Print-Length* when printing compiler error messages.")
+ _N"The value for *Print-Length* when printing compiler error messages.")
(defvar *error-print-lines* 5
- "The value for *Print-Lines* when printing compiler error messages.")
+ _N"The value for *Print-Lines* when printing compiler error messages.")
(defvar *enclosing-source-cutoff* 1
- "The maximum number of enclosing non-original source forms (i.e. from
+ _N"The maximum number of enclosing non-original source forms (i.e. from
macroexpansion) that we print in full. For additional enclosing forms, we
print only the CAR.")
(declaim (type unsigned-byte *enclosing-source-cutoff*))
@@ -1722,7 +1722,7 @@
;;; DEF-SOURCE-CONTEXT -- Public
;;;
(defmacro def-source-context (name ll &body body)
- "DEF-SOURCE-CONTEXT Name Lambda-List Form*
+ _N"DEF-SOURCE-CONTEXT Name Lambda-List Form*
This macro defines how to extract an abbreviated source context from the
Named form when it appears in the compiler input. Lambda-List is a DEFMACRO
style lambda-list used to parse the arguments. The Body should return a
@@ -1880,7 +1880,7 @@
;;;
(declaim (type (function () nil) *compiler-error-bailout*))
(defvar *compiler-error-bailout*
- #'(lambda () (error "Compiler-Error with no bailout.")))
+ #'(lambda () (error _"Compiler-Error with no bailout.")))
;;; The stream that compiler error output is directed to.
;;;
@@ -1908,7 +1908,7 @@
(declaim (type index *last-message-count*))
(defvar *compiler-notification-function* nil
- "This is the function called by the compiler to specially note a
+ _N"This is the function called by the compiler to specially note a
warning, comment, or error. The function must take five arguments: the
severity, a string describing the nature of the notification, a string
for context, the file namestring, and the file position. The severity
@@ -1950,7 +1950,7 @@
(when terpri (terpri *compiler-error-output*)))
((> *last-message-count* 1)
(pprint-logical-block (*compiler-error-output* nil :per-line-prefix "; ")
- (format *compiler-error-output* "[Last message occurs ~D times]"
+ (format *compiler-error-output* _"[Last message occurs ~D times]"
*last-message-count*))
(format *compiler-error-output* "~2%")))
(setq *last-message-count* 0))
@@ -2001,7 +2001,7 @@
(setq last nil)
(format stream "~2&")
(pprint-logical-block (stream nil :per-line-prefix "; ")
- (format stream "~2&File: ~A" (namestring file)))
+ (format stream _"~2&File: ~A" (namestring file)))
(format stream "~%")))
(unless (and last
@@ -2198,7 +2198,7 @@
(defvar *undefined-warning-limit* 3
- "If non-null, then an upper limit on the number of unknown function or type
+ _N"If non-null, then an upper limit on the number of unknown function or type
warnings that the compiler will print for any given name in a single
compilation. This prevents excessive amounts of output when there really is
a missing definition (as opposed to a typo in the use.)")
Index: src/compiler/ir2tran.lisp
diff -u src/compiler/ir2tran.lisp:1.75.24.1 src/compiler/ir2tran.lisp:1.75.24.2
--- src/compiler/ir2tran.lisp:1.75.24.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ir2tran.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ir2tran.lisp,v 1.75.24.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ir2tran.lisp,v 1.75.24.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -27,12 +27,12 @@
#+(or sparc ppc)
(defvar *always-clear-stack* nil
- "Always perform stack clearing if non-NIL, independent of the
+ _N"Always perform stack clearing if non-NIL, independent of the
compilation policy")
#+(or sparc ppc)
(defvar *enable-stack-clearing* t
- "If non-NIL and the compilation policy allows, stack clearing is enabled.")
+ _N"If non-NIL and the compilation policy allows, stack clearing is enabled.")
(defun ir2-stack-allocate (node)
(declare (type node node))
@@ -110,7 +110,7 @@
(nlx-info
(assert (eq env (block-environment (nlx-info-target thing))))
(ir2-nlx-info-home (nlx-info-info thing))))
- (error "~@<~2I~_~S ~_not found in ~_~S~:>" thing env)))
+ (error _"~@<~2I~_~S ~_not found in ~_~S~:>" thing env)))
;;; Constant-TN -- Internal
;;;
Index: src/compiler/knownfun.lisp
diff -u src/compiler/knownfun.lisp:1.32.32.1 src/compiler/knownfun.lisp:1.32.32.2
--- src/compiler/knownfun.lisp:1.32.32.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/knownfun.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/knownfun.lisp,v 1.32.32.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/knownfun.lisp,v 1.32.32.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -195,7 +195,7 @@
(type (member t nil) important)
(type (member :native :byte :both) when))
(let* ((ctype (specifier-type type))
- (note (or note "optimize"))
+ (note (or note _"optimize"))
(info (function-info-or-lose name))
(old (find-if #'(lambda (x)
(and (type= (transform-type x) ctype)
@@ -248,7 +248,7 @@
(let ((*info-environment* (or (backend-info-environment *target-backend*)
*info-environment*)))
(let ((old (info function info name)))
- (unless old (error "~S is not a known function." name))
+ (unless old (error _"~S is not a known function." name))
(setf (info function info name) (copy-function-info old)))))
Index: src/compiler/life.lisp
diff -u src/compiler/life.lisp:1.23.56.1 src/compiler/life.lisp:1.23.56.2
--- src/compiler/life.lisp:1.23.56.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/life.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/life.lisp,v 1.23.56.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/life.lisp,v 1.23.56.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -336,7 +336,7 @@
(not (eq ref op)))
(return nil)))))
(and (frob (tn-reads tn)) (frob (tn-writes tn))))
- () "More operand ~S used more than once in its VOP." op)
+ () _"More operand ~S used more than once in its VOP." op)
(assert (not (find-in #'global-conflicts-next tn
(ir2-block-global-tns block)
:key #'global-conflicts-tn)))
Index: src/compiler/locall.lisp
diff -u src/compiler/locall.lisp:1.60.24.1 src/compiler/locall.lisp:1.60.24.2
--- src/compiler/locall.lisp:1.60.24.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/locall.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/locall.lisp,v 1.60.24.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/locall.lisp,v 1.60.24.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -342,7 +342,7 @@
res)
(t
(let ((*compiler-error-context* call))
- (compiler-note "Couldn't inline expand because expansion ~
+ (compiler-note _"Couldn't inline expand because expansion ~
calls this let-converted local function:~
~% ~S"
(leaf-name res)))
@@ -458,7 +458,7 @@
(convert-call ref call fun))
(t
(compiler-warning
- "Function called with ~R argument~:P, but wants exactly ~R."
+ _"Function called with ~R argument~:P, but wants exactly ~R."
call-args nargs)
(setf (basic-combination-kind call) :error)))))
@@ -480,7 +480,7 @@
(max-args (optional-dispatch-max-args fun))
(call-args (length (combination-args call))))
(cond ((< call-args min-args)
- (compiler-warning "Function called with ~R argument~:P, but wants at least ~R."
+ (compiler-warning _"Function called with ~R argument~:P, but wants at least ~R."
call-args min-args)
(setf (basic-combination-kind call) :error))
((<= call-args max-args)
@@ -490,7 +490,7 @@
((optional-dispatch-more-entry fun)
(convert-more-call ref call fun))
(t
- (compiler-warning "Function called with ~R argument~:P, but wants at most ~R."
+ (compiler-warning _"Function called with ~R argument~:P, but wants at most ~R."
call-args max-args)
(setf (basic-combination-kind call) :error))))
(undefined-value))
@@ -566,7 +566,7 @@
(key-vars var))
((:rest :optional))
((:more-context :more-count)
- (compiler-warning "Can't local-call functions with &MORE args.")
+ (compiler-warning _"Can't local-call functions with &MORE args.")
(setf (basic-combination-kind call) :error)
(return-from convert-more-call))))))
@@ -578,7 +578,7 @@
(when (optional-dispatch-keyp fun)
(when (oddp (length more))
- (compiler-warning "Function called with odd number of ~
+ (compiler-warning _"Function called with odd number of ~
arguments in keyword portion.")
(setf (basic-combination-kind call) :error)
@@ -590,7 +590,7 @@
(let ((cont (first key)))
(unless (constant-continuation-p cont)
(when flame
- (compiler-note "Non-constant keyword in keyword call."))
+ (compiler-note _"Non-constant keyword in keyword call."))
(setf (basic-combination-kind call) :error)
(return-from convert-more-call))
@@ -605,7 +605,7 @@
allowp (continuation-value val)))
(t
(when flame
- (compiler-note "non-constant :ALLOW-OTHER-KEYS value"))
+ (compiler-note _"non-constant :ALLOW-OTHER-KEYS value"))
(setf (basic-combination-kind call) :error)
(return-from convert-more-call)))))
(dolist (var (key-vars)
@@ -624,7 +624,7 @@
(return)))))))
(when (and loser (not (optional-dispatch-allowp fun)) (not allowp))
- (compiler-warning "Function called with unknown argument keyword ~S."
+ (compiler-warning _"Function called with unknown argument keyword ~S."
(car loser))
(setf (basic-combination-kind call) :error)
(return-from convert-more-call)))
Index: src/compiler/ltn.lisp
diff -u src/compiler/ltn.lisp:1.43.36.1 src/compiler/ltn.lisp:1.43.36.2
--- src/compiler/ltn.lisp:1.43.36.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ltn.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ltn.lisp,v 1.43.36.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ltn.lisp,v 1.43.36.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -275,7 +275,7 @@
(*compiler-error-context* dest))
(when (and (policy-safe-p policy)
(policy dest (>= safety brevity)))
- (compiler-note "Unable to check type assertion in unknown-values ~
+ (compiler-note _"Unable to check type assertion in unknown-values ~
context:~% ~S"
(continuation-asserted-type cont))))
(setf (continuation-%type-check cont) :deleted))
@@ -600,7 +600,7 @@
(and (eq (tn-kind tn) :constant)
(funcall (second restr) (tn-value tn))))
(t
- (error "Neither CONT nor TN supplied.")))))))
+ (error _"Neither CONT nor TN supplied.")))))))
;;; Template-Args-OK -- Internal
@@ -649,7 +649,7 @@
(declare (type template template)
(type ctype result-type))
(when (template-more-results-type template)
- (error "~S has :MORE results with :TRANSLATE." (template-name template)))
+ (error _"~S has :MORE results with :TRANSLATE." (template-name template)))
(let ((types (template-result-types template)))
(cond
((values-type-p result-type)
@@ -794,12 +794,12 @@
(defvar *efficiency-note-limit* 2
- "This is the maximum number of possible optimization alternatives will be
+ _N"This is the maximum number of possible optimization alternatives will be
mentioned in a particular efficiency note. NIL means no limit.")
(declaim (type (or index null) *efficiency-note-limit*))
(defvar *efficiency-note-cost-threshold* 5
- "This is the minumum cost difference between the chosen implementation and
+ _N"This is the minumum cost difference between the chosen implementation and
the next alternative that justifies an efficiency note.")
(declaim (type index *efficiency-note-cost-threshold*))
@@ -814,24 +814,24 @@
(defun strange-template-failure (template call policy frob)
(declare (type template template) (type combination call)
(type policies policy) (type function frob))
- (funcall frob "This shouldn't happen! Bug?")
+ (funcall frob _"This shouldn't happen! Bug?")
(multiple-value-bind (win why)
(is-ok-template-use template call
(policy-safe-p policy))
(assert (not win))
(ecase why
(:guard
- (funcall frob "Template guard failed."))
+ (funcall frob _"Template guard failed."))
(:arg-check
- (funcall frob "Template is not safe, yet we were counting on it."))
+ (funcall frob _"Template is not safe, yet we were counting on it."))
(:arg-types
- (funcall frob "Argument types invalid.")
- (funcall frob "Argument primitive types:~% ~S"
+ (funcall frob _"Argument types invalid.")
+ (funcall frob _"Argument primitive types:~% ~S"
(mapcar #'(lambda (x)
(primitive-type-name
(continuation-ptype x)))
(combination-args call)))
- (funcall frob "Argument type assertions:~% ~S"
+ (funcall frob _"Argument type assertions:~% ~S"
(mapcar #'(lambda (x)
(if (atom x)
x
@@ -841,9 +841,9 @@
(:constant `(:constant ,(third x))))))
(template-arg-types template))))
(:conditional
- (funcall frob "Conditional in a non-conditional context."))
+ (funcall frob _"Conditional in a non-conditional context."))
(:result-types
- (funcall frob "Result types invalid.")))))
+ (funcall frob _"Result types invalid.")))))
;;; Note-Rejected-Templates -- Internal
@@ -909,7 +909,7 @@
(valid (valid-function-use call type))
(strict-valid (valid-function-use call type
:strict-result t)))
- (frob "Unable to do ~A (cost ~D) because:"
+ (frob _"Unable to do ~A (cost ~D) because:"
(or (template-note loser) (template-name loser))
(template-cost loser))
(cond
@@ -921,7 +921,7 @@
:warning-function #'frob))))
(t
(assert (policy-safe-p policy))
- (frob "Can't trust output type assertion under safe ~
+ (frob _"Can't trust output type assertion under safe ~
policy.")))
(count 1))))
@@ -1010,7 +1010,7 @@
(ir1-attributep (function-info-attributes info)
recursive)))))
(let ((*compiler-error-context* call))
- (compiler-warning "Recursive known function definition.")))
+ (compiler-warning _"Recursive known function definition.")))
(ltn-default-call call policy)
(return-from ltn-analyze-known-call (undefined-value)))
(setf (basic-combination-info call) template)
Index: src/compiler/ltv.lisp
diff -u src/compiler/ltv.lisp:1.2.56.1 src/compiler/ltv.lisp:1.2.56.2
--- src/compiler/ltv.lisp:1.2.56.1 Mon Feb 8 12:15:50 2010
+++ src/compiler/ltv.lisp Wed Feb 10 20:33:01 2010
@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
- "$Header: /project/cmucl/cvsroot/src/compiler/ltv.lisp,v 1.2.56.1 2010-02-08 17:15:50 rtoy Exp $")
+ "$Header: /project/cmucl/cvsroot/src/compiler/ltv.lisp,v 1.2.56.2 2010-02-11 01:33:01 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
@@ -25,7 +25,7 @@
(defknown %load-time-value (t) t (flushable movable))
(def-ir1-translator load-time-value ((form &optional read-only-p) start cont)
- "Arrange for FORM to be evaluated at load-time and use the value produced
+ _N"Arrange for FORM to be evaluated at load-time and use the value produced
as if it were a constant. If READ-ONLY-P is non-NIL, then the resultant
object is guaranteed to never be modified, so it can be put in read-only
storage."
@@ -43,7 +43,7 @@
(let ((value
(handler-case (eval form)
(error (condition)
- (compiler-error "(during EVAL of LOAD-TIME-VALUE)~%~A"
+ (compiler-error _"(during EVAL of LOAD-TIME-VALUE)~%~A"
condition)))))
(ir1-convert start cont
(if read-only-p
Index: src/i18n/locale/cmucl.pot
diff -u src/i18n/locale/cmucl.pot:1.1.2.19 src/i18n/locale/cmucl.pot:1.1.2.20
--- src/i18n/locale/cmucl.pot:1.1.2.19 Wed Feb 10 19:04:42 2010
+++ src/i18n/locale/cmucl.pot Wed Feb 10 20:33:01 2010
@@ -10054,7 +10054,7 @@
msgid "Declaring ~S special."
msgstr ""
-#: target:code/eval.lisp
+#: target:compiler/ir1tran.lisp target:code/eval.lisp
msgid "Bad Eval-When situation list: ~S."
msgstr ""
@@ -13328,7 +13328,7 @@
msgid "Define a compiler-macro for NAME."
msgstr ""
-#: target:code/macros.lisp
+#: target:compiler/ir1tran.lisp target:code/macros.lisp
msgid "Symbol macro name is not a symbol: ~S."
msgstr ""
@@ -14703,6 +14703,785 @@
msgid "~S already deallocated!"
msgstr ""
+#: target:compiler/knownfun.lisp
+msgid "optimize"
+msgstr ""
+
+#: target:compiler/knownfun.lisp
+msgid "~S is not a known function."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If true, argument and result type information derived from compilation of\n"
+" DEFUNs is used when compiling calls to that function. If false, only\n"
+" information from FTYPE proclamations will be used."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If NIL, never trust dynamic-extent declarations.\n"
+"\n"
+" If T, always trust dynamic-extent declarations.\n"
+"\n"
+" Otherwise, the value of this variable must be a function of four\n"
+" arguments SAFETY, SPACE, SPEED, and DEBUG. If the function returns\n"
+" true when called, dynamic-extent declarations are trusted,\n"
+" otherwise they are not trusted."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~@<Invalid name ~s in a dynamic-extent declaration.~@:>"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't find slot ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found macro name ~S ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found special-form name ~S ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Variable name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Cannot dump objects of type ~S into fasl files."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Execution of a form compiled with errors:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S has already ended."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S already has successors."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S is already a predecessor of ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Misplaced declaration."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal function call."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to reference undumpable constant."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Reading an ignored variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "(during macroexpansion)~%~A"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~&dynamic-extent args ~:s in ~s~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Conflicting type declarations ~\n"
+" ~S and ~S for ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't declare type of Alien variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring symbol-macro ~S special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignored variable ~S is being declared special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Ignoring ~A declaration not at ~\n"
+" definition of local function:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognizable function or variable name: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignoring free ignore declaration for ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignore declaration for unknown variable ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring special variable ~S to be ignored."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "If true, processing of the VALUES declaration is inhibited."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "No type specified in FTYPE declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Abbreviated type declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognized declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed declaration specifier ~S in ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring an alien variable to be special: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring a constant to be special: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lambda-variable is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated variable in lambda-list: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Name of lambda-variable is a constant: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Multiple uses of keyword ~S in lambda-list."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found a ~S when expecting a lambda expression:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Expecting a lambda, but form begins with ~S:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lambda-list absent or not a list:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "ir1-convert-lambda: called by: ~S, parent-form: ~S~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Arg specifier is too long: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed keyword arg specifier: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed &aux binding specifier: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Progn Form*\n"
+" Evaluates each Form in order, returing the values of the last form. With "
+"no\n"
+" forms, returns NIL."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If Predicate Then [Else]\n"
+" If Predicate evaluates to non-null, evaluate Then and returns its values,\n"
+" otherwise evaluate Else and return its values. Else defaults to NIL."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Block Name Form*\n"
+" Evaluate the Forms as a PROGN. Within the lexical scope of the body,\n"
+" (RETURN-FROM Name Value-Form) can be used to exit the form, returning the\n"
+" result of Value-Form."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Block name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Return-From Block-Name Value-Form\n"
+" Evaluate the Value-Form, returning its values from the lexically enclosing"
+"\n"
+" BLOCK Block-Name. This is constrained to be used only within the dynamic\n"
+" extent of the BLOCK."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Return for unknown block: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated tagbody tag: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal tagbody statement: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Tagbody {Tag | Statement}*\n"
+" Define tags for used with GO. The Statements are evaluated in order\n"
+" (skipping Tags) and NIL is returned. If a statement contains a GO to a\n"
+" defined Tag within the lexical scope of the form, then control is transfer"
+"red\n"
+" to the next statement following that tag. A Tag must an integer or a\n"
+" symbol. A statement must be a list. Other objects are illegal within "
+"the\n"
+" body."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Go Tag\n"
+" Transfer control to the named Tag in the lexically enclosing TAGBODY. "
+"This\n"
+" is constrained to be used only within the dynamic extent of the TAGBODY."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Go to nonexistent tag: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Bad compiler-let binding spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"EVAL-WHEN (Situation*) Form*\n"
+" Evaluate the Forms in the specified Situations, any of :COMPILE-TOPLEVEL,\n"
+" :LOAD-TOPLEVEL, :EXECUTE."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Macro name ~S is not a symbol."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Local macro ~S has argument list that is not a list: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Local macro ~S is too short to be a legal definition."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MACROLET ({(Name Lambda-List Form*)}*) Body-Form*\n"
+" Evaluate the Body-Forms in an environment with the specified local macros\n"
+" defined. Name is the local macro name, Lambda-List is the DEFMACRO style\n"
+" destructuring lambda list, and the Forms evaluate to the expansion."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Compiler-Option-Bind ({(Name Value-Form)}*) Body-Form*\n"
+" Establish the specified compiler options for the (lexical) duration of\n"
+" the body. The Value-Forms are evaluated at compile time."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Bogus binding for ~\n"
+" COMPILER-OPTION-BIND: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lisp error during evaluation of info args:~%~A"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Undefined primitive name: ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Primitive called with ~R argument~:P, ~\n"
+" but wants at least ~R."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Primitive called with ~R argument~:P, ~\n"
+" but wants exactly ~R."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive used with a conditional template."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive used with an unknown values template."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "QUOTE Value\n"
+" Return Value without evaluating it."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"FUNCTION Name\n"
+" Return the lexically apparent definition of the function Name. Name may "
+"also\n"
+" be a lambda."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal function name: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Might be a symbol, so must call FDEFINITION at runtime."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"SYMBOL-MACROLET ({(Name Expansion)}*) Decl* Form*\n"
+" Define the Names as symbol macros with the given Expansions. Within the\n"
+" body, references to a Name will effectively be replaced with the Expansion"
+"."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed symbol macro binding: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Attempt to bind a special or constant variable with SYMBOL-MACROLET: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated name in SYMBOL-MACROLET: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "New proclaimed type ~S for ~S conflicts with old type ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declared functional type is not a function type: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed PROCLAIM spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to proclaim constant ~S to be special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed TYPE proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed FUNCTION proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed FTYPE proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognized proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed ~S binding spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LET ({(Var [Value]) | Var}*) Declaration* Form*\n"
+" During evaluation of the Forms, Bind the Vars to the result of evaluating "
+"the\n"
+" Value forms. The variables are bound in parallel after all of the Values "
+"are\n"
+" evaluated."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LOCALLY Declaration* Form*\n"
+" Sequentially evaluates a body of Form's in a lexical environment\n"
+" where the given Declaration's have effect."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LET* ({(Var [Value]) | Var}*) Declaration* Form*\n"
+" Similar to LET, but the variables are bound sequentially, allowing each "
+"Value\n"
+" form to reference any of the previous Vars."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed ~S definition spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"FLET ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*\n"
+" Evaluate the Body-Forms with some local function definitions. The "
+"bindings\n"
+" do not enclose the definitions; any use of Name in the Forms will refer "
+"to\n"
+" the lexically apparent function definition in the enclosing environment."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LABELS ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*\n"
+" Evaluate the Body-Forms with some local function definitions. The "
+"bindings\n"
+" enclose the new definitions, so the defined functions can call themselves "
+"or\n"
+" each other."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Type ~S in ~S declaration conflicts with enclosing assertion:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"THE Type Form\n"
+" Assert that Form evaluates to the specified type (which may be a VALUES\n"
+" type.)"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Truly-The Type Value\n"
+" Like the THE special form, except that it believes whatever you tell it. "
+"It\n"
+" will never generate a type check, but will cause a warning if the compiler"
+"\n"
+" can prove the assertion is wrong."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"SETQ {Var Value}*\n"
+" Set the variables to the values. If more than one pair is supplied, the\n"
+" assignments are done sequentially. If Var names a symbol macro, SETF the\n"
+" expansion."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Odd number of args to SETQ: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to set constant ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Setting an ignored variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Throw Tag Form\n"
+" Do a non-local exit, return the values of Form from the CATCH whose tag\n"
+" evaluates to the same thing as Tag."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Catch Tag Form*\n"
+" Evaluates Tag and instantiates it as a catcher while the body forms are\n"
+" evaluated in an implicit PROGN. If a THROW is done to Tag within the "
+"dynamic\n"
+" scope of the body, then control will be transferred to the end of the "
+"body\n"
+" and the thrown values will be returned."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Unwind-Protect Protected Cleanup*\n"
+" Evaluate the form Protected, returning its values. The cleanup forms are\n"
+" evaluated whenever the dynamic scope of the Protected form is exited "
+"(either\n"
+" due to normal completion or a non-local exit such as THROW)."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL Function Values-Form*\n"
+" Call Function, passing all the values of each Values-Form as arguments,\n"
+" values from the first Values-Form making up the first argument, etc."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MULTIPLE-VALUE-PROG1 Values-Form Form*\n"
+" Evaluate Values-Form and then the Forms, but return all the values of\n"
+" Values-Form."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Macro name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Defining ~S to be a macro when it was ~(~A~) to be a function."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to redefine special form ~S as a macro."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~&; Converted ~S.~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to define a compiler-macro for special form ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Constant name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't change T."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Nihil ex nihil (Can't change NIL)."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't change the value of keywords."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Redefining constant ~S as:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Redefining ~(~A~) ~S to be a constant."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Return the tlf-number and form-number from an encoded FIXNUM."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Return a source-location for the call site."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Deleting unused function~:[.~;~:*~% ~S~]"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Block is already deleted."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Variable ~S defined but never used."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Deleting unreachable code."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"If CONT is a call to FUN with NUM-ARGS args, change those arguments\n"
+" to feed directly to the continuation-dest of CONT, which must be\n"
+" a combination."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"An upper limit on the number of inline function calls that will be expanded\n"
+" in any given code object (single function or block compilation.)"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"*Inline-Expansion-Limit* (~D) exceeded, ~\n"
+" probably trying to~% ~\n"
+" inline a recursive function."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Level* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Length* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Lines* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"The maximum number of enclosing non-original source forms (i.e. from\n"
+" macroexpansion) that we print in full. For additional enclosing forms, "
+"we\n"
+" print only the CAR."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"DEF-SOURCE-CONTEXT Name Lambda-List Form*\n"
+" This macro defines how to extract an abbreviated source context from the\n"
+" Named form when it appears in the compiler input. Lambda-List is a "
+"DEFMACRO\n"
+" style lambda-list used to parse the arguments. The Body should return a\n"
+" list of subforms suitable for a \"~{~S ~}\" format string."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Compiler-Error with no bailout."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"This is the function called by the compiler to specially note a\n"
+"warning, comment, or error. The function must take five arguments: the\n"
+"severity, a string describing the nature of the notification, a string\n"
+"for context, the file namestring, and the file position. The severity\n"
+"is one of :note, :warning, or :error. Except for the severity, all of\n"
+"these can be NIL if unavailable or inapplicable."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "[Last message occurs ~D times]"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "~2&File: ~A"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"If non-null, then an upper limit on the number of unknown function or type\n"
+" warnings that the compiler will print for any given name in a single\n"
+" compilation. This prevents excessive amounts of output when there really "
+"is\n"
+" a missing definition (as opposed to a typo in the use.)"
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid "New inferred type ~S conflicts with old type:~\n"
+" ~% ~S~%*** Bug?"
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid "The return value of ~A should not be discarded."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform, aborting this\n"
+" attempt to transform the call, but admitting the possibility that this or\n"
+" some other transform will later suceed. If arguments are supplied, they "
+"are\n"
+" format arguments for an efficiency note."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform and force a normal\n"
+" call to the function at run time. No further optimizations will be\n"
+" attempted."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform, and delay the\n"
+" transform on the node until later. The reasons specifies when the transfor"
+"m\n"
+" will be later retried. The :optimize reason causes the transform to be\n"
+" delayed until after the current IR1 optimization pass. The :constraint\n"
+" reason causes the transform to be delayed until after constraint\n"
+" propagation."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL with ~R values when the function expects ~\n"
+" at least ~R."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL with ~R values when the function expects ~\n"
+" at most ~R."
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid "Unable to ~A because:~%~6T~?"
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid ""
+"Unable to ~A due to type uncertainty:~@\n"
+" ~{~6T~?~^~&~}"
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid ""
+"The result type from previous declaration:~% ~S~@\n"
+" conflicts with the result type:~% ~S"
+msgstr ""
+
#: target:compiler/array-tran.lisp
msgid "Element-Type is not constant."
msgstr ""
@@ -14866,11 +15645,56 @@
msgid "Square"
msgstr ""
+#: target:compiler/locall.lisp
+msgid ""
+"Couldn't inline expand because expansion ~\n"
+" calls this let-converted local function:~\n"
+" ~% ~S"
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants exactly ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants at least ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants at most ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Can't local-call functions with &MORE args."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid ""
+"Function called with odd number of ~\n"
+" arguments in keyword portion."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Non-constant keyword in keyword call."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "non-constant :ALLOW-OTHER-KEYS value"
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with unknown argument keyword ~S."
+msgstr ""
+
#: target:compiler/constraint.lisp
msgid "*** Unreachable code in constraint ~\n"
" propagation... Bug?"
msgstr ""
+#: target:compiler/life.lisp
+msgid "More operand ~S used more than once in its VOP."
+msgstr ""
+
#: target:compiler/debug-dump.lisp
msgid ""
"Extract the namestring from FILE-INFO for the DEBUG-SOURCE. \n"
@@ -14964,6 +15788,18 @@
msgid "No unique move-arg-vop for moves in SC ~S."
msgstr ""
+#: target:compiler/ltv.lisp
+msgid ""
+"Arrange for FORM to be evaluated at load-time and use the value produced\n"
+" as if it were a constant. If READ-ONLY-P is non-NIL, then the resultant\n"
+" object is guaranteed to never be modified, so it can be put in read-only\n"
+" storage."
+msgstr ""
+
+#: target:compiler/ltv.lisp
+msgid "(during EVAL of LOAD-TIME-VALUE)~%~A"
+msgstr ""
+
#: target:compiler/gtn.lisp
msgid ""
"Return value count mismatch prevents known return ~\n"
@@ -14977,6 +15813,93 @@
" convention:~% ~S"
msgstr ""
+#: target:compiler/ltn.lisp
+msgid ""
+"Unable to check type assertion in unknown-values ~\n"
+" context:~% ~S"
+msgstr ""
+
+#: target:compiler/represent.lisp target:compiler/ir2tran.lisp
+#: target:compiler/ltn.lisp
+msgid "Neither CONT nor TN supplied."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "~S has :MORE results with :TRANSLATE."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid ""
+"This is the maximum number of possible optimization alternatives will be\n"
+" mentioned in a particular efficiency note. NIL means no limit."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid ""
+"This is the minumum cost difference between the chosen implementation and\n"
+" the next alternative that justifies an efficiency note."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "This shouldn't happen! Bug?"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Template guard failed."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Template is not safe, yet we were counting on it."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument types invalid."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument primitive types:~% ~S"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument type assertions:~% ~S"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Conditional in a non-conditional context."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Result types invalid."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Unable to do ~A (cost ~D) because:"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Can't trust output type assertion under safe ~\n"
+" policy."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Recursive known function definition."
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid ""
+"Always perform stack clearing if non-NIL, independent of the\n"
+"compilation policy"
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid ""
+"If non-NIL and the compilation policy allows, stack clearing is enabled."
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid "~@<~2I~_~S ~_not found in ~_~S~:>"
+msgstr ""
+
#: target:compiler/codegen.lisp
msgid "Returns the number of bytes used by the code object header."
msgstr ""
Index: src/i18n/locale/ko/LC_MESSAGES/cmucl.po
diff -u src/i18n/locale/ko/LC_MESSAGES/cmucl.po:1.1.2.19 src/i18n/locale/ko/LC_MESSAGES/cmucl.po:1.1.2.20
--- src/i18n/locale/ko/LC_MESSAGES/cmucl.po:1.1.2.19 Wed Feb 10 19:04:42 2010
+++ src/i18n/locale/ko/LC_MESSAGES/cmucl.po Wed Feb 10 20:33:01 2010
@@ -10301,7 +10301,7 @@
msgid "Declaring ~S special."
msgstr ""
-#: target:code/eval.lisp
+#: target:compiler/ir1tran.lisp target:code/eval.lisp
msgid "Bad Eval-When situation list: ~S."
msgstr ""
@@ -13618,7 +13618,7 @@
msgid "Define a compiler-macro for NAME."
msgstr ""
-#: target:code/macros.lisp
+#: target:compiler/ir1tran.lisp target:code/macros.lisp
msgid "Symbol macro name is not a symbol: ~S."
msgstr ""
@@ -15003,6 +15003,792 @@
msgid "~S already deallocated!"
msgstr ""
+#: target:compiler/knownfun.lisp
+msgid "optimize"
+msgstr ""
+
+#: target:compiler/knownfun.lisp
+#, fuzzy
+msgid "~S is not a known function."
+msgstr "í˜„ìž¬ì˜ ì—ë™ì ì¸ ê³µê°„ì€ ~D입니다.~%"
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If true, argument and result type information derived from compilation of\n"
+" DEFUNs is used when compiling calls to that function. If false, only\n"
+" information from FTYPE proclamations will be used."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If NIL, never trust dynamic-extent declarations.\n"
+"\n"
+" If T, always trust dynamic-extent declarations.\n"
+"\n"
+" Otherwise, the value of this variable must be a function of four\n"
+" arguments SAFETY, SPACE, SPEED, and DEBUG. If the function returns\n"
+" true when called, dynamic-extent declarations are trusted,\n"
+" otherwise they are not trusted."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~@<Invalid name ~s in a dynamic-extent declaration.~@:>"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't find slot ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found macro name ~S ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found special-form name ~S ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Variable name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Cannot dump objects of type ~S into fasl files."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Execution of a form compiled with errors:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S has already ended."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S already has successors."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~S is already a predecessor of ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Misplaced declaration."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal function call."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to reference undumpable constant."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Reading an ignored variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "(during macroexpansion)~%~A"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~&dynamic-extent args ~:s in ~s~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Conflicting type declarations ~\n"
+"\t\t\t\t ~S and ~S for ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't declare type of Alien variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring symbol-macro ~S special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignored variable ~S is being declared special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Ignoring ~A declaration not at ~\n"
+"\t\t\t\t definition of local function:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognizable function or variable name: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignoring free ignore declaration for ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Ignore declaration for unknown variable ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring special variable ~S to be ignored."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "If true, processing of the VALUES declaration is inhibited."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "No type specified in FTYPE declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Abbreviated type declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognized declaration: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed declaration specifier ~S in ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring an alien variable to be special: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declaring a constant to be special: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lambda-variable is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated variable in lambda-list: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Name of lambda-variable is a constant: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Multiple uses of keyword ~S in lambda-list."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Found a ~S when expecting a lambda expression:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Expecting a lambda, but form begins with ~S:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lambda-list absent or not a list:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "ir1-convert-lambda: called by: ~S, parent-form: ~S~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Arg specifier is too long: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed keyword arg specifier: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed &aux binding specifier: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Progn Form*\n"
+" Evaluates each Form in order, returing the values of the last form. With "
+"no\n"
+" forms, returns NIL."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"If Predicate Then [Else]\n"
+" If Predicate evaluates to non-null, evaluate Then and returns its values,\n"
+" otherwise evaluate Else and return its values. Else defaults to NIL."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Block Name Form*\n"
+" Evaluate the Forms as a PROGN. Within the lexical scope of the body,\n"
+" (RETURN-FROM Name Value-Form) can be used to exit the form, returning the\n"
+" result of Value-Form."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Block name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Return-From Block-Name Value-Form\n"
+" Evaluate the Value-Form, returning its values from the lexically "
+"enclosing\n"
+" BLOCK Block-Name. This is constrained to be used only within the dynamic\n"
+" extent of the BLOCK."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Return for unknown block: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated tagbody tag: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal tagbody statement: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Tagbody {Tag | Statement}*\n"
+" Define tags for used with GO. The Statements are evaluated in order\n"
+" (skipping Tags) and NIL is returned. If a statement contains a GO to a\n"
+" defined Tag within the lexical scope of the form, then control is "
+"transferred\n"
+" to the next statement following that tag. A Tag must an integer or a\n"
+" symbol. A statement must be a list. Other objects are illegal within "
+"the\n"
+" body."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Go Tag\n"
+" Transfer control to the named Tag in the lexically enclosing TAGBODY. "
+"This\n"
+" is constrained to be used only within the dynamic extent of the TAGBODY."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Go to nonexistent tag: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Bad compiler-let binding spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"EVAL-WHEN (Situation*) Form*\n"
+" Evaluate the Forms in the specified Situations, any of :COMPILE-TOPLEVEL,\n"
+" :LOAD-TOPLEVEL, :EXECUTE."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Macro name ~S is not a symbol."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Local macro ~S has argument list that is not a list: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Local macro ~S is too short to be a legal definition."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MACROLET ({(Name Lambda-List Form*)}*) Body-Form*\n"
+" Evaluate the Body-Forms in an environment with the specified local macros\n"
+" defined. Name is the local macro name, Lambda-List is the DEFMACRO style\n"
+" destructuring lambda list, and the Forms evaluate to the expansion."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Compiler-Option-Bind ({(Name Value-Form)}*) Body-Form*\n"
+" Establish the specified compiler options for the (lexical) duration of\n"
+" the body. The Value-Forms are evaluated at compile time."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Bogus binding for ~\n"
+"\t\t\t\t\t\t COMPILER-OPTION-BIND: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Lisp error during evaluation of info args:~%~A"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Undefined primitive name: ~A."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Primitive called with ~R argument~:P, ~\n"
+"\t \t\t but wants at least ~R."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Primitive called with ~R argument~:P, ~\n"
+"\t\t\t\t but wants exactly ~R."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive used with a conditional template."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "%Primitive used with an unknown values template."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"QUOTE Value\n"
+" Return Value without evaluating it."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"FUNCTION Name\n"
+" Return the lexically apparent definition of the function Name. Name may "
+"also\n"
+" be a lambda."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Illegal function name: ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Might be a symbol, so must call FDEFINITION at runtime."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"SYMBOL-MACROLET ({(Name Expansion)}*) Decl* Form*\n"
+" Define the Names as symbol macros with the given Expansions. Within the\n"
+" body, references to a Name will effectively be replaced with the Expansion."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed symbol macro binding: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Attempt to bind a special or constant variable with SYMBOL-MACROLET: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Repeated name in SYMBOL-MACROLET: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "New proclaimed type ~S for ~S conflicts with old type ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Declared functional type is not a function type: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed PROCLAIM spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to proclaim constant ~S to be special."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed TYPE proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed FUNCTION proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed FTYPE proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Unrecognized proclamation: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed ~S binding spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LET ({(Var [Value]) | Var}*) Declaration* Form*\n"
+" During evaluation of the Forms, Bind the Vars to the result of evaluating "
+"the\n"
+" Value forms. The variables are bound in parallel after all of the Values "
+"are\n"
+" evaluated."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LOCALLY Declaration* Form*\n"
+" Sequentially evaluates a body of Form's in a lexical environment\n"
+" where the given Declaration's have effect."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LET* ({(Var [Value]) | Var}*) Declaration* Form*\n"
+" Similar to LET, but the variables are bound sequentially, allowing each "
+"Value\n"
+" form to reference any of the previous Vars."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Malformed ~S definition spec: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"FLET ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*\n"
+" Evaluate the Body-Forms with some local function definitions. The "
+"bindings\n"
+" do not enclose the definitions; any use of Name in the Forms will refer "
+"to\n"
+" the lexically apparent function definition in the enclosing environment."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"LABELS ({(Name Lambda-List Declaration* Form*)}*) Declaration* Body-Form*\n"
+" Evaluate the Body-Forms with some local function definitions. The "
+"bindings\n"
+" enclose the new definitions, so the defined functions can call themselves "
+"or\n"
+" each other."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Type ~S in ~S declaration conflicts with enclosing assertion:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"THE Type Form\n"
+" Assert that Form evaluates to the specified type (which may be a VALUES\n"
+" type.)"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Truly-The Type Value\n"
+" Like the THE special form, except that it believes whatever you tell it. "
+"It\n"
+" will never generate a type check, but will cause a warning if the "
+"compiler\n"
+" can prove the assertion is wrong."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"SETQ {Var Value}*\n"
+" Set the variables to the values. If more than one pair is supplied, the\n"
+" assignments are done sequentially. If Var names a symbol macro, SETF the\n"
+" expansion."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+#, fuzzy
+msgid "Odd number of args to SETQ: ~S."
+msgstr "í˜„ìž¬ì˜ ì—ë™ì ì¸ ê³µê°„ì€ ~D입니다.~%"
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to set constant ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Setting an ignored variable: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Throw Tag Form\n"
+" Do a non-local exit, return the values of Form from the CATCH whose tag\n"
+" evaluates to the same thing as Tag."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Catch Tag Form*\n"
+" Evaluates Tag and instantiates it as a catcher while the body forms are\n"
+" evaluated in an implicit PROGN. If a THROW is done to Tag within the "
+"dynamic\n"
+" scope of the body, then control will be transferred to the end of the "
+"body\n"
+" and the thrown values will be returned."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"Unwind-Protect Protected Cleanup*\n"
+" Evaluate the form Protected, returning its values. The cleanup forms are\n"
+" evaluated whenever the dynamic scope of the Protected form is exited "
+"(either\n"
+" due to normal completion or a non-local exit such as THROW)."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL Function Values-Form*\n"
+" Call Function, passing all the values of each Values-Form as arguments,\n"
+" values from the first Values-Form making up the first argument, etc."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid ""
+"MULTIPLE-VALUE-PROG1 Values-Form Form*\n"
+" Evaluate Values-Form and then the Forms, but return all the values of\n"
+" Values-Form."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Macro name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Defining ~S to be a macro when it was ~(~A~) to be a function."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to redefine special form ~S as a macro."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "~&; Converted ~S.~%"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Attempt to define a compiler-macro for special form ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Constant name is not a symbol: ~S."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't change T."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Nihil ex nihil (Can't change NIL)."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Can't change the value of keywords."
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Redefining constant ~S as:~% ~S"
+msgstr ""
+
+#: target:compiler/ir1tran.lisp
+msgid "Redefining ~(~A~) ~S to be a constant."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Return the TLF-NUMBER and FORM-NUMBER encoded as fixnum."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Return the tlf-number and form-number from an encoded FIXNUM."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+#, fuzzy
+msgid "Return a source-location for the call site."
+msgstr "í˜„ìž¬ì˜ ì—ë™ì ì¸ ê³µê°„ì€ ~D입니다.~%"
+
+#: target:compiler/ir1util.lisp
+msgid "Deleting unused function~:[.~;~:*~% ~S~]"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Block is already deleted."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Variable ~S defined but never used."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Deleting unreachable code."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"If CONT is a call to FUN with NUM-ARGS args, change those arguments\n"
+" to feed directly to the continuation-dest of CONT, which must be\n"
+" a combination."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"An upper limit on the number of inline function calls that will be expanded\n"
+" in any given code object (single function or block compilation.)"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"*Inline-Expansion-Limit* (~D) exceeded, ~\n"
+"\t\t\t probably trying to~% ~\n"
+"\t\t\t inline a recursive function."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Level* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Length* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "The value for *Print-Lines* when printing compiler error messages."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"The maximum number of enclosing non-original source forms (i.e. from\n"
+" macroexpansion) that we print in full. For additional enclosing forms, "
+"we\n"
+" print only the CAR."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"DEF-SOURCE-CONTEXT Name Lambda-List Form*\n"
+" This macro defines how to extract an abbreviated source context from the\n"
+" Named form when it appears in the compiler input. Lambda-List is a "
+"DEFMACRO\n"
+" style lambda-list used to parse the arguments. The Body should return a\n"
+" list of subforms suitable for a \"~{~S ~}\" format string."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "Compiler-Error with no bailout."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"This is the function called by the compiler to specially note a\n"
+"warning, comment, or error. The function must take five arguments: the\n"
+"severity, a string describing the nature of the notification, a string\n"
+"for context, the file namestring, and the file position. The severity\n"
+"is one of :note, :warning, or :error. Except for the severity, all of\n"
+"these can be NIL if unavailable or inapplicable."
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "[Last message occurs ~D times]"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid "~2&File: ~A"
+msgstr ""
+
+#: target:compiler/ir1util.lisp
+msgid ""
+"If non-null, then an upper limit on the number of unknown function or type\n"
+" warnings that the compiler will print for any given name in a single\n"
+" compilation. This prevents excessive amounts of output when there really "
+"is\n"
+" a missing definition (as opposed to a typo in the use.)"
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"New inferred type ~S conflicts with old type:~\n"
+"\t\t~% ~S~%*** Bug?"
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid "The return value of ~A should not be discarded."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform, aborting this\n"
+" attempt to transform the call, but admitting the possibility that this or\n"
+" some other transform will later suceed. If arguments are supplied, they "
+"are\n"
+" format arguments for an efficiency note."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform and force a normal\n"
+" call to the function at run time. No further optimizations will be\n"
+" attempted."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"This function is used to throw out of an IR1 transform, and delay the\n"
+" transform on the node until later. The reasons specifies when the "
+"transform\n"
+" will be later retried. The :optimize reason causes the transform to be\n"
+" delayed until after the current IR1 optimization pass. The :constraint\n"
+" reason causes the transform to be delayed until after constraint\n"
+" propagation."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL with ~R values when the function expects ~\n"
+"\t at least ~R."
+msgstr ""
+
+#: target:compiler/ir1opt.lisp
+msgid ""
+"MULTIPLE-VALUE-CALL with ~R values when the function expects ~\n"
+"\t at most ~R."
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid "Unable to ~A because:~%~6T~?"
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid ""
+"Unable to ~A due to type uncertainty:~@\n"
+"\t ~{~6T~?~^~&~}"
+msgstr ""
+
+#: target:compiler/ir1final.lisp
+msgid ""
+"The result type from previous declaration:~% ~S~@\n"
+"\t\t\t\t conflicts with the result type:~% ~S"
+msgstr ""
+
#: target:compiler/array-tran.lisp
msgid "Element-Type is not constant."
msgstr ""
@@ -15167,12 +15953,59 @@
msgid "Square"
msgstr ""
+#: target:compiler/locall.lisp
+msgid ""
+"Couldn't inline expand because expansion ~\n"
+"\t\t\t\t calls this let-converted local function:~\n"
+"\t\t\t\t ~% ~S"
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants exactly ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants at least ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Function called with ~R argument~:P, but wants at most ~R."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "Can't local-call functions with &MORE args."
+msgstr ""
+
+#: target:compiler/locall.lisp
+#, fuzzy
+msgid ""
+"Function called with odd number of ~\n"
+"\t \t\t arguments in keyword portion."
+msgstr "í˜„ìž¬ì˜ ì—ë™ì ì¸ ê³µê°„ì€ ~D입니다.~%"
+
+#: target:compiler/locall.lisp
+msgid "Non-constant keyword in keyword call."
+msgstr ""
+
+#: target:compiler/locall.lisp
+msgid "non-constant :ALLOW-OTHER-KEYS value"
+msgstr ""
+
+#: target:compiler/locall.lisp
+#, fuzzy
+msgid "Function called with unknown argument keyword ~S."
+msgstr "í˜„ìž¬ì˜ ì—ë™ì ì¸ ê³µê°„ì€ ~D입니다.~%"
+
#: target:compiler/constraint.lisp
msgid ""
"*** Unreachable code in constraint ~\n"
"\t\t\t propagation... Bug?"
msgstr ""
+#: target:compiler/life.lisp
+msgid "More operand ~S used more than once in its VOP."
+msgstr ""
+
#: target:compiler/debug-dump.lisp
msgid ""
"Extract the namestring from FILE-INFO for the DEBUG-SOURCE. \n"
@@ -15268,6 +16101,18 @@
msgid "No unique move-arg-vop for moves in SC ~S."
msgstr ""
+#: target:compiler/ltv.lisp
+msgid ""
+"Arrange for FORM to be evaluated at load-time and use the value produced\n"
+" as if it were a constant. If READ-ONLY-P is non-NIL, then the resultant\n"
+" object is guaranteed to never be modified, so it can be put in read-only\n"
+" storage."
+msgstr ""
+
+#: target:compiler/ltv.lisp
+msgid "(during EVAL of LOAD-TIME-VALUE)~%~A"
+msgstr ""
+
#: target:compiler/gtn.lisp
msgid ""
"Return value count mismatch prevents known return ~\n"
@@ -15281,6 +16126,94 @@
"\t\t convention:~% ~S"
msgstr ""
+#: target:compiler/ltn.lisp
+msgid ""
+"Unable to check type assertion in unknown-values ~\n"
+"\t context:~% ~S"
+msgstr ""
+
+#: target:compiler/represent.lisp target:compiler/ir2tran.lisp
+#: target:compiler/ltn.lisp
+msgid "Neither CONT nor TN supplied."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "~S has :MORE results with :TRANSLATE."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid ""
+"This is the maximum number of possible optimization alternatives will be\n"
+" mentioned in a particular efficiency note. NIL means no limit."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid ""
+"This is the minumum cost difference between the chosen implementation and\n"
+" the next alternative that justifies an efficiency note."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "This shouldn't happen! Bug?"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Template guard failed."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Template is not safe, yet we were counting on it."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument types invalid."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument primitive types:~% ~S"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Argument type assertions:~% ~S"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Conditional in a non-conditional context."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Result types invalid."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Unable to do ~A (cost ~D) because:"
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid ""
+"Can't trust output type assertion under safe ~\n"
+"\t\t policy."
+msgstr ""
+
+#: target:compiler/ltn.lisp
+msgid "Recursive known function definition."
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid ""
+"Always perform stack clearing if non-NIL, independent of the\n"
+"compilation policy"
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid ""
+"If non-NIL and the compilation policy allows, stack clearing is enabled."
+msgstr ""
+
+#: target:compiler/ir2tran.lisp
+msgid "~@<~2I~_~S ~_not found in ~_~S~:>"
+msgstr ""
+
#: target:compiler/codegen.lisp
#, fuzzy
msgid "Returns the number of bytes used by the code object header."
More information about the cmucl-commit
mailing list