diff options
Diffstat (limited to 'otherlibs/labltk/compiler/tables.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/tables.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index bd650463e..efa0b9ac5 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -235,7 +235,7 @@ let rec has_callback = function (*** Returned types ***) let really_add ty = - if List.mem item:ty !types_returned then () + if List.mem key:ty !types_returned then () else types_returned := ty :: !types_returned let rec add_return_type = function @@ -283,7 +283,7 @@ let rec find_constructor cname = function else find_constructor cname l (* Enter a type, must not be previously defined *) -let enter_type typname ?:variant{=false} arity constructors = +let enter_type typname ?:variant[=false] arity constructors = try Hashtbl.find types_table key:typname; raise (Duplicate_Definition ("type", typname)) |