Evaluating Medley compatibility with Practical Common Lisp code: Chapter 18

[pamoroso]

Chapter 18. A Few FORMAT Recipes

This is the continuation of the work on issue #609. To evaluate the compatibility of Medley Common Lisp with ANSI Common Lisp I'm testing on Medley the code of Peter Seibel's book Practical Common Lisp.

Session transcript

I evaluated the expressions of chapter 18 at a XCL Exec. A couple of function calls have references to reserved symbols such as list and char, so I replaced them with literal values.

This code gives a pretty good shakeup to format and yet it seems to work as expected:

2/8> (loop for cons on '(1 2 3 4 5)
    do (format t "~a" (car cons))
    when (cdr cons) do (format t ", "))
1, 2, 3, 4, 5
NIL
2/9> 

2/9> (format t "~{~a~^, ~}" '(1 2 3 4 5))
1, 2, 3, 4, 5
NIL
2/10> 

2/10> (format t "~$" pi)
3.14
NIL
2/11> 

2/11> (format t "~5$" pi)
3.14159
NIL
2/12> 

2/12> (format t "~v$" 3 pi)
3.142
NIL
2/13> 

2/13> (format t "~#$" pi)
3.1
NIL
2/14> 

2/14> (format t "~,5f" pi)
3.14159
NIL
2/15> 

2/15> (format t "~d" 1000000)
1000000
NIL
2/16> 

2/16> (format t "~:d" 1000000)
1,000,000
NIL
2/17> 

2/17> (format t "~@d" 1000000)
+1000000
NIL
2/18> 

2/18> (format t "~:@d" 1000000)
+1,000,000
NIL
2/19> 

2/19> (format nil "The value is: ~a" 10)
"The value is: 10"
2/20> 

2/20> (format nil "The value is: ~a" "foo")
"The value is: foo"
2/21> 

2/21> (format nil "The value is: ~a" (list 1 2 3))
"The value is: (1 2 3)"
2/22> 

2/22> (format t "Syntax error. Unexpected character: ~:c" #\a)
Syntax error. Unexpected character: a
NIL
2/23> 

2/23> (format t "~@c~%" #\a)
#\a
NIL
2/24> 

2/24> (format nil "~:@c" (code-char 0))
"Null"
2/25> 

2/25> (format nil "~d" 1000000)
"1000000"
2/26> 

2/26> (format nil "~:d" 1000000)
"1,000,000"
2/27> 

2/27> (format nil "~@d" 1000000)
"+1000000"
2/28> 

2/28> (format nil "~:@d" 1000000)
"+1,000,000"
2/29> 

2/29> (format nil "~12d" 1000000)
"     1000000"
2/30> 

2/30> (format nil "~12,'0d" 1000000)
"000001000000"
2/31> 

2/31> (format nil "~4,'0d-~2,'0d-~2,'0d" 2005 6 10)
"2005-06-10"
2/32> 

2/32> (format nil "~:d" 100000000)
"100,000,000"
2/33> 

2/33> (format nil "~,,'.,4:d" 100000000)
"1.0000.0000"
2/34> 

2/34> (format nil "~x" 1000000)
"F4240"
2/35> 

2/35> (format nil "~o" 1000000)
"3641100"
2/36> 

2/36> (format nil "~b" 1000000)
"11110100001001000000"
2/37> 

2/37> (format nil "~f" pi)
"3.1415927"
2/38> 

2/38> (format nil "~,4f" pi)
"3.1416"
2/39> 

2/39> (format nil "~e" pi)
"3.1415927"
2/40> 

2/40> (format nil "~,4e" pi)
"3.1416E+0"
2/41> 

2/41> (format nil "~$" pi)
"3.14"
2/42> 

2/42> (format nil "~2,4$" pi)
"0003.14"
2/43> 

2/43> (format nil "~r" 1234)
"one thousand two hundred thirty-four"
2/44> 

2/44> (format nil "~:r" 1234)
"one thousand two hundred thirty-fourth"
2/45> 

2/45> (format nil "~@r" 1234)
"MCCXXXIV"
2/46> 

2/46> (format nil "~:@r" 1234)
"MCCXXXIIII"
2/47> 

2/47> (format nil "file~p" 1)
"file"
2/48> 

2/48> (format nil "file~p" 10)
"files"
2/49> 

2/49> (format nil "file~p" 0)
"files"
2/50> 

2/50> (format nil "~r file~:p" 1)
"one file"
2/51> 

2/51> (format nil "~r file~:p" 10)
"ten files"
2/52> 

2/52> (format nil "~r file~:p" 0)
"zero files"
2/53> 

2/53> (format nil "~r famil~:@p" 1)
"one family"
2/54> 

2/54> (format nil "~r famil~:@p" 10)
"ten families"
2/55> 

2/55> (format nil "~r famil~:@p" 0)
"zero families"
2/56> 

2/56> (format nil "~(~a~)" "FOO")
"foo"
2/57> 

2/57> (format nil "~(~@r~)" 124)
"cxxiv"
2/58> 

2/58> (format nil "~(~a~)" "tHe Quick BROWN foX")
"the quick brown fox"
2/59> 

2/59> (format nil "~@(~a~)" "tHe Quick BROWN foX")
"The quick brown fox"
2/60> 

2/60> (format nil "~:(~a~)" "tHe Quick BROWN foX")
"The Quick Brown Fox"
2/61> 

2/61> (format nil "~:@(~a~)" "tHe Quick BROWN foX")
"THE QUICK BROWN FOX"
2/62> 

2/62> (format nil "~[cero~;uno~;dos~]" 0)
"cero"
2/63> 

2/63> (format nil "~[cero~;uno~;dos~]" 1)
"uno"
2/64> 

2/64> (format nil "~[cero~;uno~;dos~]" 2)
"dos"
2/65> 

2/65> (format nil "~[cero~;uno~;dos~]" 3)
""
2/66> 

2/66> (format nil "~[cero~;uno~;dos~:;mucho~]" 3)
"mucho"
2/67> 

2/67> (format nil "~[cero~;uno~;dos~:;mucho~]" 100)
"mucho"
2/68> 

2/68> (defparameter *list-etc*
  "~#[NONE~;~a~;~a and ~a~:;~a, ~a~]~#[~; and ~a~:;, ~a, etc~].")
*LIST-ETC*
2/69> 

2/69> (format nil *list-etc*)
"NONE."
2/70> 

2/70> (format nil *list-etc* 'a)
"A."
2/71> 

2/71> (format nil *list-etc* 'a 'b)
"A and B."
2/72> 

2/72> (format nil *list-etc* 'a 'b 'c)
"A, B and C."
2/73> 

2/73> (format nil *list-etc* 'a 'b 'c 'd)
"A, B, C, etc."
2/74> 

2/74> (format nil *list-etc* 'a 'b 'c 'd 'e)
"A, B, C, etc."
2/75> 

2/75> (defvar test-result t)
TEST-RESULT
2/76> 

2/76> (format t "~:[FAIL~;pass~]" test-result)
pass
NIL
2/77> 

2/77> (format nil "~@[x = ~a ~]~@[y = ~a~]" 10 20)
"x = 10 y = 20"
2/78> 

2/78> (format nil "~@[x = ~a ~]~@[y = ~a~]" 10 nil)
"x = 10 "
2/79> 

2/79> (format nil "~@[x = ~a ~]~@[y = ~a~]" nil 20)
"y = 20"
2/80> 

2/80> (format nil "~@[x = ~a ~]~@[y = ~a~]" nil nil)
""
2/81> 

2/81> (format nil "~{~a, ~}" (list 1 2 3))
"1, 2, 3, "
2/82> 

2/82> (format nil "~{~a~^, ~}" (list 1 2 3))
"1, 2, 3"
2/83> 

2/83> (format nil "~@{~a~^, ~}" 1 2 3)
"1, 2, 3"
2/84> 

2/84> (format nil "~{~a~#[~;, and ~:;, ~]~}" (list 1 2 3))
"1, 2, and 3"
2/85> 

2/85> (format nil "~{~a~#[~;, and ~:;, ~]~}" (list 1 2))
"1, and 2"
2/86> 

2/86> (defparameter *english-list*
  "~{~#[~;~a~;~a and ~a~:;~@{~a~#[~;, and ~:;, ~]~}~]~}")
*ENGLISH-LIST*
2/87> 

2/87> (format nil *english-list* '())
""
2/88> 

2/88> (format nil *english-list* '(1))
"1"
2/89> 

2/89> (format nil *english-list* '(1 2))
"1 and 2"
2/90> 

2/90> (format nil *english-list* '(1 2 3))
"1, 2, and 3"
2/91> 

2/91> (format nil *english-list* '(1 2 3 4))
"1, 2, 3, and 4"
2/92> 

2/92> (defparameter *english-list*
  "~{~#[<empty>~;~a~;~a and ~a~:;~@{~a~#[~;, and ~:;, ~]~}~]~:}")

New VARIABLES definition for *ENGLISH-LIST*.
*ENGLISH-LIST*
2/93> 

2/93> (format nil *english-list* '())
"<empty>"
2/94> 

2/94> (format nil "~r ~:*(~d)" 1)
"one (1)"
2/95> 

2/95> (format nil "I saw ~r el~:*~[ves~;f~:;ves~]." 0)
"I saw zero elves."
2/96> 

2/96> (format nil "I saw ~r el~:*~[ves~;f~:;ves~]." 1)
"I saw one elf."
2/97> 

2/97> (format nil "I saw ~r el~:*~[ves~;f~:;ves~]." 2)
"I saw two elves."
2/98> 

2/98> (format nil "~{~s~*~^ ~}" '(:a 10 :b 20))
":A :B"
2/99>