English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    
Browse thread
(old) camlp4 question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pietro Abate <Pietro.Abate@a...>
Subject: (old) camlp4 question
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