← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/std/util/defval.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/std/util/defval.lisp
30
30
 
31
31
(in-package "STD")
32
32
(include-book "xdoc/top" :dir :system)
33
 
(include-book "std/strings/cat" :dir :system)
34
33
(include-book "support")
35
34
(set-state-ok t)
36
35
(program)
197
196
       ;; Undocumented topic.  Hence, we always want to extend long, etc.
198
197
 
199
198
       (long     (or long ""))
200
 
       (name-str (str::cat (symbol-package-name name) "::" (symbol-name name)))
 
199
       (name-str (concatenate 'string (symbol-package-name name) "::" (symbol-name name)))
201
200
       (long     (if showdef
202
 
                     (str::cat long "@(def " name-str ")")
 
201
                     (concatenate 'string long "@(def " name-str ")")
203
202
                   long))
204
203
       (long     (if showval
205
 
                     (str::cat long "<p><b>Value:</b></p>"
206
 
                               "@(`(:code " name-str ")`)")
 
204
                     (concatenate 'string
 
205
                                  long "<p><b>Value:</b></p>"
 
206
                                  "@(`(:code " name-str ")`)")
207
207
                   long)))
208
208
 
209
209
    `(defsection ,name