[Demexp-cvs] arch commit: demexp--development--0.3--patch-13

[David]

Revision: demexp--development--0.3--patch-13
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jul 11 12:15:30 CEST 2004
Standard-date: 2004-07-11 10:15:30 GMT
Modified-files: srv/classification.ml.nw srv/cpref.ml.nw
    srv/id.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-13
Summary: use of Id.Tag module in Classification
Keywords: 

* In srv/, use of Id.Tag module in Classification and CPref modules.

  We no longer have Classification.Invalid_tag exception.

* In srv/Id, creation of operations from_int, replace, fold and rewrite
  of as_int (to check for tag existence). Associated tests also
  written.