The bit below gives an error

     | <:ctyp< $tp1$ . $tp2$ >> ->

ocamlc -c -I +camlp4 -pp camlp4orf -for-pack Sexplib pa_sexp_conv.ml
File "pa_sexp_conv.ml", line 105, characters 24-29:
While expanding quotation "ctyp" in a position of "patt":
   Parse error: ident_of_ctyp: this type is not an identifier

How do I interpret this and what do I need to learn to fix it?

I'm still reading through Martin's pa_json translation but I don't  
think he uses the construct above.

	Thanks, Joel

--
http://wagerlabs.com/