Skip to content
Blame Permalink
  • Erwan Jahier's avatar
    5316f18a
    Some work to prepare the merge with the lurette git repo. · 5316f18a
    Erwan Jahier authored 
    I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.
    5316f18a
    Some work to prepare the merge with the lurette git repo.
    Erwan Jahier authored 
    I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.