diff options
Diffstat (limited to 'otherlibs/labltk/compiler')
| -rw-r--r-- | otherlibs/labltk/compiler/compile.ml | 6 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/tables.ml | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml index bbf2c4e89..a7f46168d 100644 --- a/otherlibs/labltk/compiler/compile.ml +++ b/otherlibs/labltk/compiler/compile.ml @@ -66,7 +66,7 @@ let rec types_of_template = function * Pretty print a type * used to write ML type definitions *) -let ppMLtype ?:any[=false] ?:return[=false] ?:def[=false] ?:counter[=ref 0] = +let ppMLtype ?(:any=false) ?(:return=false) ?(:def=false) ?(:counter=ref 0) = let rec ppMLtype = function Unit -> "unit" @@ -492,7 +492,7 @@ let rec converterCAMLtoTK :context_widget argname as:ty = * *) -let code_of_template :context_widget ?func:funtemplate[=false] template = +let code_of_template :context_widget ?(func:funtemplate=false) template = let catch_opts = ref ("","") in (* class name and first option *) let variables = ref [] in let variables2 = ref [] in @@ -591,7 +591,7 @@ let write_clause :w :context_widget comp = (* The full converter *) -let write_CAMLtoTK :w def:typdef ?safetype:st[=true] name = +let write_CAMLtoTK :w def:typdef ?(safetype:st = true) name = let write_one name constrs = w ("let cCAMLtoTK"^name); let context_widget = diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index efa0b9ac5..b93181048 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -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)) |