On 25/04/2012 10:04, Claire Dross wrote:
On 16/04/2012 17:52, Claire Dross wrote:
Hello,
I am new to caml-list, so sorry in advance if it is not the right
place to make this post. In a quite important piece of ocaml code, I
have a function:
let matching_term terms env uf id (pats, subst)
On 16/04/2012 17:52, Claire Dross wrote:
Hello,
I am new to caml-list, so sorry in advance if it is not the right
place to make this post. In a quite important piece of ocaml code, I
have a function:
let matching_term terms env uf id (pats, subst) (seen, forms) =
match pats, subst with
Hi Claire,
Without much confidence, I would start by checking matchpats for uses of
fmt.
On 16 April 2012 17:52, Claire Dross claire.dr...@lri.fr wrote:
Hello,
I am new to caml-list, so sorry in advance if it is not the right place to
make this post. In a quite important piece of ocaml