declaration of an infix operator in a .mli file

From: Laurent Chéno (lcheno@club-internet.fr)
Date: Mon Sep 07 1998 - 17:15:07 MET DST


Message-Id: <199809071512.RAA29206@front1.grolier.fr>
Subject: declaration of an infix operator in a .mli file
Date: Mon, 7 Sep 98 17:15:07 +0200
From: Laurent Ch=?ISO-8859-1?Q?éno?= <lcheno@club-internet.fr>
To: "Caml list" <caml-list@margaux.inria.fr>

Sorry : poor-english version at the end of this message.

Dans foo.ml, j'ai les définitions suivantes de nouveaux =
opérateurs infixes :

(***)
let epsilon = 1.0e-4 ;;

let (prefix =?) = fun x y -> abs_float (x -. y) <. epsilon
and (prefix <?) = fun x y -> x <. y +. epsilon
and (prefix >?) = fun x y -> y <. x +. epsilon ;;
(***)

Quel fichier foo.mli dois-je écrire pour les exporter ?

Et, au fait, pourquoi

let (prefix =?) x y = abs_float (x -. y) <. epsilon ;;

est-il incorrect ? (J'obtiens une Erreur de syntaxe.)

Cordialement, Laurent Chéno

----

I wrote this litte file foo.ml :

(***) let epsilon = 1.0e-4 ;;

let (prefix =?) = fun x y -> abs_float (x -. y) <. epsilon and (prefix <?) = fun x y -> x <. y +. epsilon and (prefix >?) = fun x y -> y <. x +. epsilon ;; (***)

I do'nt know write the file foo.mli.

Another question : why is the following wrong ?

let (prefix =?) x y = abs_float (x -. y) <. epsilon ;;

(I obtain a Syntax error)



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:15 MET