Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 38 lines (31 sloc) 1.639 kb
41b378e * Fixed camlp4 compilation
Fabrice Le Fessant authored
1 OCaml Binary Annots
2 ===================
3
4 The goal of this branch is to replace textual .annot files by
5 binary files, containing more information. In the long term, these
6 binary files should contain all the information useful for ocamlspot,
7 ocamlwizard, and other editor enhancer tools.
8
9 Current status
10 --------------
11
12 + The parse tree has been improved with more location information
13 + The typed tree has been improved with more location information, and
14 is now a surjection of the parse tree
15 + A new module Pprintast has been copied from BER-metaocaml, to print
16 the parse tree to equivalent sources
17 + The typed tree has been modified (replacement of Lazy values) to allow
18 direct output in a file
19 + A new module Untypeast has been created to convert a typed tree to an
20 equivalent parse tree
21 + Using the -annot generates .cmt and .cmti files, which contains a dump
22 of the typed tree
23 + A tool tools/genannot has been added, to convert .cmt files to .annot
24 files
25
128d70d * Added the current format in README.md
Fabrice Le Fessant authored
26 + TODO: the typed tree to parse tree converter needs to replace Path.t with
41b378e * Fixed camlp4 compilation
Fabrice Le Fessant authored
27 Longidents of the shortest possible size, to avoir conflicts
128d70d * Added the current format in README.md
Fabrice Le Fessant authored
28 + TODO: in case of a type error, we might want to still dump a complete typed tree with partial type information
29 + TODO: in case of type error, there is no way to distinguish an erroneous .cmti
30 file where just one signature was correctly typed from a correct .cmti.
31
32 Current format of .cmt/.cmti files
33 ----------------------------------
34
35 Currently, the format of .cmt/.cmti files is a binary dump (output_value)
36 of a value of type 'Typedtree.saved_type array'. The array contains just one
37 value if no error happened.
Something went wrong with that request. Please try again.