On Wed, 03 Sep 2014 13:43:55 -0700, Per Bothner <per@bothner.com> said:
> ...
>    P is of the form (P_1 . . . P_k P_e ellipsis P_m+1 ... P_n)
>    where E is a proper list of n elements, the first
>    k of which match P_1 through P_k , respectively, whose
>    next m−k elements each match P_e, whose remaining
>    n−m elements match P_m+1 through P_n

> The phrase 'of the form (P_1 ... P_k P_e ellipsis P_m+1 ...  P_n)'
> doesn't really make sense since m and n come out of nowhere.

  In fact, m and n are defined by that
  phrase (with an implicit "where m and n
  are such that"); pretty usual practice in
  my view.

  ---Vassil.

--
Vassil Nikolov | Васил Николов | <vnikolov@pobox.com>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports