Version française
Home     About     Download     Resources     Contact us    
Browse thread
Camlp4 optional arguments
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: SerP <serp@s...>
Subject: Camlp4 optional arguments
	USER_IN_WHITELIST autolearn=no version=3.2.3

X-Spam-Level: 

X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on luckytravels.com

X-Virus-Scanned: ClamAV 0.80/533/Sat Oct 16 21:09:44 2004
	clamav-milter version 0.80j
	on luckytravels.com
X-Virus-Status: Clean

|This construction does not work properly.

let label = "foo" in
<:ctyp< ? $lid:label$ : int -> () >> |:  optional label type.

But this, work fine:
<:ctyp<?foo:int -> ()>>


How I can use antiqoutation in this expression?
Thanks