freenode/#clim - IRC Chatlog
Search
8:01:14
jackdaniel
speaking of "real", apparently McCLIM doesn't find presentation of type float being a subtype of real
8:02:08
jackdaniel
or to be more specific, presentation of type float is not active when I look for real
8:07:43
jackdaniel
or to be even more specific, presentation-type-of on 3.14 returns float, and float is not a subtype of (real 0)
8:08:18
jackdaniel
so despite 3.14 being of type (real 0), when we present it, we have less specific type unless we specify it ourself
12:44:21
beach
The specification uses the term "command" for several different things, unfortunately.
12:44:56
beach
And DEFINE-COMMAND does not define a command according to the meaning(s) of the term.
12:46:08
scymtym
it says "/command/ is a command object, that is, a cons of a command name and a list of the command's arguments." (// indicating italic). so it refers to the parameter specifically
12:51:22
jackdaniel
scymtym: yes, allowing only a command name is more a syntactic sugar. the real problem was that restart report function assumed, it is a cons
12:52:02
jackdaniel
so if we have issues invalid command (i.e atom), error was caused in restart report function (when debugger was invoked)
12:54:22
scymtym
but won't the change enable the execution of invalid commands? that is, i would have expected (command-name (ensure-list …)) in the restart, not on the normal execution path
12:58:00
jackdaniel
ensuring that it is a list falls into robustness principle (be liberal with what you accept, be strict with what you issue)
12:58:38
jackdaniel
but I'm fine with any solution. I don't think there is a need for specialization here
13:05:59
scymtym
i mean specializing the default method on CONS so a no-applicable-method error will be signaled