From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p06CV8Ds003754 for ; Thu, 6 Jan 2011 13:31:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoBAJZEJU1KfVI0kGdsb2JhbACWCY4HCBUBAQEBCQkMBxEEIKZNiXiCFYRXLoYFAQEDBYVHBIsJgx1q X-IronPort-AV: E=Sophos;i="4.60,283,1291590000"; d="scan'208";a="86162214" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Jan 2011 13:31:11 +0100 Received: by wwd20 with SMTP id 20so16207673wwd.9 for ; Thu, 06 Jan 2011 04:31:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:content-type:mime-version :subject:from:in-reply-to:date:content-transfer-encoding:message-id :references:to:x-mailer; bh=sQMr+tNwjUV7H8giKVCwXWWLcfwiqwJN1Tl4jPX+jGM=; b=okXDqNHMTqs+DCaxJSpG9E1JpiNmJs+MvvVCLQ9tmEek2LjPUIz3Jiy/3hk4Qssoih D8MWiRNiqYky8xc60gJ4/8giyrfsC8kp8BWw/gF8CTdSvHBZ4IkDUEo4Ut/rAplp0lEC xYuo/gtdpes/BJQxcynkuu/FoIjkeNDRoCDQg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=SWFIOBIWFLlvl8ScAFXM5rRJt5txqxWqOzajm0V9FWuG1hQAzyupiUza3hqvaLFss6 mqDRwnFVQc1itQLDIUjU127kjqa7ZrCwAZCXsbz5F1sc3rYhLV6c3+Sb4pfSff5nLUiW joMJbzK2jxqal5s/5skxhj34lqBgVZlD3aQUw= Received: by 10.216.46.135 with SMTP id r7mr531786web.21.1294317071420; Thu, 06 Jan 2011 04:31:11 -0800 (PST) Received: from [192.168.0.193] ([95.60.213.7]) by mx.google.com with ESMTPS id j58sm11762206wes.45.2011.01.06.04.31.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 04:31:10 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1082) From: Joel Reymont In-Reply-To: Date: Thu, 6 Jan 2011 12:31:08 +0000 Message-Id: References: To: caml-list@inria.fr X-Mailer: Apple Mail (2.1082) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p06CV8Ds003754 Subject: [Caml-list] Re: replacing swig An even better question... How would you create C/C++ function signature annotations in OCaml + Camlp4, without requiring a DSL? Can this be done and is this desirable? On Jan 6, 2011, at 12:20 PM, Joel Reymont wrote: > Suppose you are writing a SWIG replacement based on gccxml, gcc plugins, etc. > > How would you figure out if the user meant char** as a pointer to a string vs an array of characters? > > SWIG handles this with typemaps. Does this mean that whatever replaces SWIG would also require a typemap DSL? --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont