From: Dumitru Potop-Butucaru dumitru.potop_butuc...@inria.fr
However, I still did not understand this statement of
Jeremy Yallop:
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
On 22/07/2010 04:29, Alain Frisch wrote:
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
Dario Teixeira darioteixe...@yahoo.com writes:
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
Hello,
On 22-07-2010, Goswin von Brederlow goswin-...@web.de wrote:
Dario Teixeira darioteixe...@yahoo.com writes:
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
Jacques Garrigue garri...@math.nagoya-u.ac.jp wrote:
module type MyModuleType(Param:ParamType) = sig ... end
But this just doesn't make sense.
Hm, I would disagree. It makes perfect sense, it just wouldn't desugar in
the way Dumitru thought it should.
/Andreas
Hi,
Well in fact, HMAC-SHA256 and HMAC-RIPEMD160 has been implemented in
the source code, but never released. So no patching involved.
Indeed... In fact, I had looked into the project's WebSVN before,
but since the last trunk commit was dated from 3 years ago, I assumed
th current release
On 2010/07/22, at 18:37, rossb...@mpi-sws.org wrote:
Jacques Garrigue garri...@math.nagoya-u.ac.jp wrote:
module type MyModuleType(Param:ParamType) = sig ... end
But this just doesn't make sense.
Hm, I would disagree. It makes perfect sense, it just wouldn't desugar in
the way Dumitru
Sylvain Le Gall sylv...@le-gall.net writes:
Hello,
On 22-07-2010, Goswin von Brederlow goswin-...@web.de wrote:
Dario Teixeira darioteixe...@yahoo.com writes:
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
