[CIL users] svn not working

2010-06-22 Thread Marco Trudel
Dear all Checking out the CIL trunk (svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil) currently doesn't work. I'm getting asked for a password (svngu...@hal.cs.berkeley.edu's password) for an external dependency (cil/ocamlutil). Would be great if this could be fixed. Thanks Marco ---

Re: [CIL users] svn not working

2010-06-22 Thread Marco Trudel
Oh, actually Olivier Crameri already reported that two months ago... Does this mean that CIL has been completely discontinued? That would really be a pity since it's actually a great program! Cheers! Marco On 22.06.2010 10:58, Marco Trudel wrote: > Dear all > > Checking out the CIL trunk > (svn:

[CIL users] missing implicit casts

2010-06-22 Thread Marco Trudel
Dear all There seem to be some implicit casts that CIL misses. This code: void foo(int i, char c) { foo('.', 2); i = c; c = i; } becomes: void foo(int i, char c) { foo('.', (char)2); i = (int)c; c = (char)i; } Where I guess the call to foo should be "foo((int)'.', (char)2);"

Re: [CIL users] missing implicit casts

2010-06-22 Thread Pascal Cuoq
Hello, On Jun 22, 2010, at 11:13 AM, Marco Trudel wrote: > void foo(int i, char c) { > foo('.', 2); > i = c; > c = i; > } > > becomes: > > void foo(int i, char c) { > foo('.', (char)2); > i = (int)c; > c = (char)i; > } > > Where I guess the call to foo should be "foo((int)'.',

Re: [CIL users] missing implicit casts

2010-06-22 Thread Gabriel Kerneis
On Tue, Jun 22, 2010 at 11:13:34AM +0200, Marco Trudel wrote: > Where I guess the call to foo should be "foo((int)'.', (char)2);". Does > anyone already have a fix for that? No fix yet, sorry. Could you report it on the bug tracker please? This helps tracking open bugs and squashing them in a r

Re: [CIL users] missing implicit casts

2010-06-22 Thread Marco Trudel
Oh, indeed! char c = '.'; becomes char c = (char)'.'; Thanks and sorry for the noise. Marco On 22.06.2010 11:16, Pascal Cuoq wrote: > Hello, > > On Jun 22, 2010, at 11:13 AM, Marco Trudel wrote: >> void foo(int i, char c) { >> foo('.', 2); >> i = c; >> c = i; >> } >> >> becomes: >> >> void f

Re: [CIL users] svn not working

2010-06-22 Thread Gabriel Kerneis
Marco, On Tue, Jun 22, 2010 at 11:06:58AM +0200, Marco Trudel wrote: > Oh, actually Olivier Crameri already reported that two months ago... > Does this mean that CIL has been completely discontinued? No, the access rules seem broken (and I cannot fix them since I have no access to the server eith

Re: [CIL users] svn not working

2010-06-22 Thread Praveen Venkatachari
Checkout the cil using $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil Ignore if it asks for password Then, checkout ocamlutil from $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil Copy ocamlutil into the cil folder, and install cil. Thanks, Praveen On 22 June