Three questions about pcase for Stefan

[Michael Heerdegen]

Hi Stefan,

1.  The following raises an error:

(pcase 1.0
  (1.0 t))

i.e., floats do not count as "atom".  This is consistent, also explained
correctly in the doc, but may nonetheless be confusing.  What led you to
this decision?


2.  Do you think we can already bury the old deprecated special behavior
of the atoms nil and t as patterns?


3.  Is it correct to say that not only the functions used in a pred
pattern, but any ordinary Lisp code part of any pattern (guard, app,
let, etc.) should be pure in the same sense?


Thanks,

Michael.