On Wed, Jul 21, 2010 at 10:59:25AM +0800, haihao shen wrote:
Currently I am doing some work on CIL.
There is a dedicated CIL mailing-list:
cil-us...@lists.sourceforge.net
You should get more feedback there.
Regards,
--
Gabriel
___
Caml-list mailing
Thanks.
On Wed, Jul 21, 2010 at 2:36 PM, Gabriel Kerneis kern...@pps.jussieu.frwrote:
On Wed, Jul 21, 2010 at 10:59:25AM +0800, haihao shen wrote:
Currently I am doing some work on CIL.
There is a dedicated CIL mailing-list:
cil-us...@lists.sourceforge.net
You should get more feedback
Hello,
I started several days ago to use version 3.12.0+beta1
(at the suggestion of a colleague to whom I explained
what I need).
I have one main problem, which I see as a bug.
The code I want to write is the following:
module IntList = Set.Make(struct type t=int let compare x y = x-y end) ;;
Hello again,
Given that I started bugging you, here is another problem
I have (not blocking, though, as the previous one).
The simplified syntax:
module MyModule (Param:ParamType) :
sig
...
end
=
struct
...
end
;;
does not work for module type declarations.
The declaration of a
Jeremy Yallop yal...@gmail.com wrote:
On 21 July 2010 14:38, Dumitru Potop-Butucaru
dumitru.potop_butuc...@inria.fr wrote:
module type Abc =
functor (M:Simple) -
sig
val x : M.t
end
You're trying to treat Abc as a functor from signatures to signatures
(i.e. as a parameterised
Hi,
My name is Chris and I came across http://caml.inria.fr/
today while searching in Google.
Your site is easy to read, has good info,
and so it prompted me to write to you.
I work with fiddlewiddle.com , and I'm hoping you'll consider
linking to my site in return for me offering you a
Hi,
I need a keyed hash function (HMAC) based on SHA256. I looked at Cryptokit's
support for HMAC, and though it has built-in support for HMAC-MD5 and HMAC-SHA1,
it seems HMAC-SHA256 is not directly supported, despite Cryptokit implementing
the SHA256 algorithm.
While RFC 2104 seems
On 21-07-2010, Dario Teixeira darioteixe...@yahoo.com wrote:
Hi,
I need a keyed hash function (HMAC) based on SHA256. I looked at Cryptokit's
support for HMAC, and though it has built-in support for HMAC-MD5 and
HMAC-SHA1,
it seems HMAC-SHA256 is not directly supported, despite Cryptokit
Hi,
If you haven't yet read it, this paper “The Promises of Functional
Programming”, from Computing in Science Engineering, shows the
growing interest for functional programming in scientific circles
(OCaml is even mentioned!).
http://www.computer.org/portal/web/computingnow/0609/whatsnew/cise
Hello everybody,
Thanks for your help.
I now have 2 solutions that should work
(it will take a couple of days to change my **real**
project to see if it works).
However, I still did not understand this statement of
Jeremy Yallop:
module type Abc =
functor (M:Simple) -
sig
val x :
Hi,
If you decide to code the solution and provide the patch, I will be
happy to apply it to cryptokit (if the main author of cryptokit accepts
it, of course).
I'm attaching the patches adding support for HMAC-SHA256 and HMAC-RIPEMD160
(I don't need the latter, but for the sake of
On 7/21/2010 8:41 PM, Dumitru Potop-Butucaru wrote:
If I understand well, what I try to do is impossible for
some deep theoretical reason. Can someone explain this
to me, or point me to a relevant paper explaining it?
Turning a module type into a module is not possible in general: if the
12 matches
Mail list logo