summaryrefslogtreecommitdiffstats
path: root/bytecomp/lambda.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-10-03 14:03:30 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-10-03 14:03:30 +0000
commit97fba0e18e7970fb1b055ae449072090c26d694c (patch)
tree5f1168dfae22163ccb5f2713c1a7c7633fdeff24 /bytecomp/lambda.mli
parentc55446a1d03720de06c484bb6a6ad63ce97a867f (diff)
"with" -> "with type"
Compilation de [| ... |] avec plus de 256 elements. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/lambda.mli')
-rw-r--r--bytecomp/lambda.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli
index 8710902e6..d3c8bfc8f 100644
--- a/bytecomp/lambda.mli
+++ b/bytecomp/lambda.mli
@@ -93,7 +93,7 @@ val name_lambda: lambda -> (Ident.t -> lambda) -> lambda
val name_lambda_list: lambda list -> (lambda list -> lambda) -> lambda
val is_guarded: lambda -> bool
-module IdentSet: Set.S with elt = Ident.t
+module IdentSet: Set.S with type elt = Ident.t
val free_variables: lambda -> IdentSet.t
type compilenv