user=> (read-string "1.1") 1.1 user=> (read-string "1.1.1 (+ 1 1)") java.lang.RuntimeException: java.lang.NumberFormatException: Invalid number: 1.1.1 (NO_SOURCE_FILE:0) user=> (read-string "(+ 1 1)") (+ 1 1)
zkim
on Sun, 26 Sep 2010
user=> (read-string "1.1") 1.1 user=> (read-string "1.1.1 (+ 1 1)") java.lang.RuntimeException: java.lang.NumberFormatException: Invalid number: 1.1.1 (NO_SOURCE_FILE:0) user=> (read-string "(+ 1 1)") (+ 1 1)
gstamp
on Tue, 24 Aug 2010
user=> (read-string "1.1") 1.1 user=> (read-string "1.1.1 (+ 1 1)") java.lang.RuntimeException: java.lang.NumberFormatException: Invalid number: 1.1.1 (NO_SOURCE_FILE:0) user=> (read-string "(+ 1 1)") (+ 1 1)