[Caml-list] Re: Fan, a promising replacement of camlp4

["Török Edwin" <edwin+ml-ocaml@etorok.net>]

On 01/23/2013 07:25 AM, Hongbo Zhang wrote:
> On 1/22/13 8:55 AM, Török Edwin wrote:
>> On 01/21/2013 07:29 AM, bob zhang wrote:
>>>
>>>         There are a number of enhancements I don't mention here, it
>>> would be very helpful that you could suggest what kind of
>>> functionality you want, Fan is already much better than camlp4 in all
>>> rounds, it is still at alpha stage, so your opinions matter a lot :-)
>>>
>>
>> How do you build it?
>> I tried this but it failed:
>> $ ocaml -version
>> The OCaml toplevel, version 4.00.1
>> $ ocamlbuild -clean
>> $ ocamlbuild cold/FanDriver.native
>>
>> + ocamlfind ocamlc -annot -w +a-4-32-30 -c -w -41 -I cold -I cold/Lib -o cold/Lib/Ctyp.cmo cold/Lib/Ctyp.ml
>> File "cold/Lib/Ctyp.ml", line 92, characters 21-25:
>> Error: The record field label FSig.ctyp belongs to the type FSig.col
>>         but is mixed here with labels of type FSig.record_col
>> Command exited with code 2.
>> Compilation unsuccessful after building 88 targets (0 cached) in 00:00:08.
>>
> Hi,
>    It seems that I used 'record name disambiguation' feature in the trunk accidentally(which is trivial to fix).
>    Would you have a try using the trunk compiler?

It works with trunk.

The ./re script needs this tiny patch to get rid of a bashism, and then it works too:

diff --git a/re b/re
index 63562dd..3d1c1c7 100755
--- a/re
+++ b/re
@@ -2,7 +2,7 @@
 # -*- Mode:Shell-script -*-
 set -e
 PROGNAME=$(basename $0)
-function error_exit
+error_exit()
 {