Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ajout -dtypes 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2003-04-06 12:46:07 +00:00
parent 1e16182dc0
commit 2a43a7097d
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Changes
View File

@ -1,16 +1,21 @@
Language features:
- Introduction of a new kind of data types: the virtual data types.
Virtual types are intended to modelize non free algebraic types that
must verified semantic relations that were not enforceable in
must verify semantic relations that were not enforceable in
previously available Caml data types.
Values from virtual types can be freely used in pattern matching but
the creation of values is reserved to special purpose functions
provided in the type definition module.
That way, the construction functions can enforced any required invariant for
That way, the construction functions can enforce any required invariant for
the datatype.
Type-checking:
- Allow polymorphic generalization of covariant parts of expansive expressions
- Added a new "-dtypes" option to ocamlc/ocamlopt, and an emacs extension
"emacs/caml-types.el". The compiler option saves inferred type information
to file *.types, and the emacs extension allows the user to look at the
type of any subexpression in the source file. Works even in the case
of a type error (only the types computed up to the error are available).
Both compilers:
- The sources for a module, say "Mod", can be placed either in Mod.ml or