• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
          • Pretty-printing-implementation
            • Missing-functionality
            • Printconfig
            • Cons-ppr1
            • Print-escaped-charlist
            • Atom-size
            • Print-escaped-str
            • Obj-size
            • Maybe-merge-flat
            • Ppr
            • Printer-instructions
              • Pinst
              • Pflat
                • Pflat-fix
                • Pflat-equiv
                • Make-pflat
                • Change-pflat
                • Pflat->width
                • Pflat->what
                • Pflat-p
              • Pinstlist
            • Keyword-param-valuep
            • Print-flat-objs
            • Radix-print-int
            • Print-escaped-atom
            • Print-atom
            • Print-escaped-symbol
            • Radix-print-complex
            • Basic-print-complex
            • Radix-print-rat
            • Spaces1
            • Basic-print-rat
            • Basic-print-nat
            • Basic-print-int
            • Spaces
            • My-needs-slashes
            • Pinstlist->max-width
            • Nat-size
            • Special-term-num
            • Print-column
            • Print-base-fix
            • Int-size
            • Keyword-fix
            • Print-instruction
            • Pinst->width
            • In-home-package-p
            • Eviscerated->guts
            • Evisceratedp
            • Pprdot
          • Eviscerate
          • Pretty
          • Revappend-pretty
          • Pretty-list
        • Printtree
        • Base64
        • Charset-p
        • Strtok!
        • Cases
        • Concatenation
        • Html-encoding
        • Character-kinds
        • Substrings
        • Strtok
        • Equivalences
        • Url-encoding
        • Lines
        • Explode-implode-equalities
        • Ordering
        • Numbers
        • Pad-trim
        • Coercion
        • Std/strings/digit-to-char
        • Substitution
        • Symbols
      • Std/osets
      • Std/io
      • Std/basic
      • Std/system
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
      • Std/typed-alists
      • Std/stobjs
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Printer-instructions

Pflat

Print some objects all on one line.

This is a product type introduced by fty::defprod.

Fields
width — posp
The width of what will be printed.
what
The object(s) to print flat.

Think of what as a (perhaps improper) list. This instruction means to print the elements of what, and its final cdr, separated appropriately by spaces or dot.

Usually what is a proper list, say (X1 ... XN). In this case, we print these elements, separated by spaces, all on one line.

When what is instead an improper list, say (X1 ... XN . LAST), we again print the Xi separated by spaces, but then also print . LAST. Here last might be some (non-nil) atom or an eviscerated object.

When what is a single, non-NIL atom, we print . WHAT. Note that this doesn't correspond to any actual Lisp object in isolation. That is, no Lisp object prints as . FOO.

Subtopics

Pflat-fix
Fixing function for pflat structures.
Pflat-equiv
Basic equivalence relation for pflat structures.
Make-pflat
Basic constructor macro for pflat structures.
Change-pflat
Modifying constructor for pflat structures.
Pflat->width
Get the width field from a pflat.
Pflat->what
Get the what field from a pflat.
Pflat-p
Recognizer for pflat structures.