← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to otherlibs/labltk/browser/typecheck.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stefano Zacchiroli
  • Date: 2009-02-22 08:49:13 UTC
  • mfrom: (12.1.1 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090222084913-3i0uw2bhd0lgw0ok
* Uploading to unstable
* debian/control: bump dh-ocaml to (>= 0.4) to avoid buggy ocamlinit.mk

Show diffs side-by-side

added added

removed removed

Lines of Context:
otherlibs/labltk/browser/typecheck.ml
12
12
(*                                                                       *)
13
13
(*************************************************************************)
14
14
 
15
 
(* $Id: typecheck.ml,v 1.15 2003/04/02 06:56:06 garrigue Exp $ *)
 
15
(* $Id: typecheck.ml,v 1.16 2007/05/16 08:21:40 doligez Exp $ *)
16
16
 
17
17
open StdLabels
18
18
open Tk
92
92
  txt.signature <- [];
93
93
  txt.psignature <- [];
94
94
  ignore (Stypes.get_info ());
95
 
  Clflags.save_types := true;
 
95
  Clflags.annotations := true;
96
96
 
97
97
  begin try
98
98
 
109
109
    List.iter psl ~f:
110
110
    begin function
111
111
      Ptop_def pstr ->
112
 
        let str, sign, env' = Typemod.type_structure !env pstr in
 
112
        let str, sign, env' = Typemod.type_structure !env pstr Location.none in
113
113
        txt.structure <- txt.structure @ str;
114
114
        txt.signature <- txt.signature @ sign;
115
115
        env := env'