Moving on! I hope this long thread will be instructive for later  
Google searches.

   (* Get the path associated with a polymorphic type *)
   let rec get_appl_path _loc = function
     | <:ctyp< $lid:_$ >> as tp -> tp
     | <:ctyp< $_$ . $_$ >> as tp -> tp
     | <:ctyp< $tp$ $_$ >> -> get_appl_path _loc tp
     | _ -> failwith "get_appl_path: unknown type"

File "pa_sexp_conv.ml", line 320, characters 22-25:
While expanding quotation "ctyp" in a position of "patt":
   Parse error: ident_of_ctyp: this type is not an identifier

That would be <:ctyp< $_$ . $_$ >> as tp -> tp

It would work (from what I understand) if it was <:ctyp< ! $_$ . $_$  
 >> but what does this match and how to fix it?

	Thanks, Joel

--
http://wagerlabs.com/