Hi all,
I want to write a type like this in camlp4 :
type ('a,'b) b = [ `T of 'b ]
type a = ('b,int) b as 'b

Suppose I have a list of ctyp [<:ctyp< 'b >>;<:ctyp< int >>; ... ]
How can I write the type ('b,int) b as 'b ??

I've tried with <:ctyp< type a = b ($list:l$) as 'b >> but the result
is incorrect ... what is the right syntax ?

pietro

-- 
++ Blog: http://blog.rsise.anu.edu.au/?q=pietro
++ 
++ "All great truths begin as blasphemies." -George Bernard Shaw
++ Please avoid sending me Word or PowerPoint attachments.
   See http://www.fsf.org/philosophy/no-word-attachments.html