diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-04-19 08:34:21 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-04-19 08:34:21 +0000 |
| commit | 02ca0f87f83c8b8fc38dfa7c694d2ae82b3a00b0 (patch) | |
| tree | f6823e49f41f9a17f9ef723a8be6d06ba09747e1 /debugger/loadprinter.ml | |
| parent | a476f01085bfa6b4a04e7747f4915b2975f7359a (diff) | |
| download | ocaml-02ca0f87f83c8b8fc38dfa7c694d2ae82b3a00b0.tar.gz | |
enforce uniqueness of typing in label mode
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/loadprinter.ml')
| -rw-r--r-- | debugger/loadprinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml index 758e6d2e24..098a6ee940 100644 --- a/debugger/loadprinter.ml +++ b/debugger/loadprinter.ml @@ -100,7 +100,7 @@ let find_printer_type lid = Ctype.begin_def(); let ty_arg = Ctype.newvar() in Ctype.unify Env.empty - (Ctype.newty (Tarrow("", ty_arg, Ctype.instance Predef.type_unit))) + (Ctype.newty (Tarrow("", ty_arg, Ctype.instance Predef.type_unit, Cok))) (Ctype.instance desc.val_type); Ctype.end_def(); Ctype.generalize ty_arg; |