From 25cf2297c8d14c14cfb2ff7695c9b6331825f4c9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 6 Jun 2009 08:59:51 +0000 Subject: [PATCH] some renaming to make ocamlopt happy --- .../components/ng_paramodulation/.depend | 18 ++++++++++-------- .../components/ng_paramodulation/.depend.opt | 18 ++++++++++-------- .../components/ng_paramodulation/Makefile | 2 +- .../{fosubst.ml => foSubst.ml} | 0 .../{fosubst.mli => foSubst.mli} | 0 .../ng_paramodulation/{founif.ml => foUnif.ml} | 2 +- .../{founif.mli => foUnif.mli} | 0 .../components/ng_paramodulation/paramod.ml | 2 +- 8 files changed, 23 insertions(+), 19 deletions(-) rename helm/software/components/ng_paramodulation/{fosubst.ml => foSubst.ml} (100%) rename helm/software/components/ng_paramodulation/{fosubst.mli => foSubst.mli} (100%) rename helm/software/components/ng_paramodulation/{founif.ml => foUnif.ml} (98%) rename helm/software/components/ng_paramodulation/{founif.mli => foUnif.mli} (100%) diff --git a/helm/software/components/ng_paramodulation/.depend b/helm/software/components/ng_paramodulation/.depend index 0033d44db..8181c02de 100644 --- a/helm/software/components/ng_paramodulation/.depend +++ b/helm/software/components/ng_paramodulation/.depend @@ -1,18 +1,20 @@ +terms.cmi: pp.cmi: terms.cmi -fosubst.cmi: terms.cmi -founif.cmi: terms.cmi +foSubst.cmi: terms.cmi +foUnif.cmi: terms.cmi index.cmi: terms.cmi orderings.cmi: terms.cmi nCicBlob.cmi: terms.cmi cicBlob.cmi: terms.cmi +paramod.cmi: terms.cmo: terms.cmi terms.cmx: terms.cmi pp.cmo: terms.cmi pp.cmi pp.cmx: terms.cmx pp.cmi -fosubst.cmo: terms.cmi fosubst.cmi -fosubst.cmx: terms.cmx fosubst.cmi -founif.cmo: terms.cmi fosubst.cmi founif.cmi -founif.cmx: terms.cmx fosubst.cmx founif.cmi +foSubst.cmo: terms.cmi foSubst.cmi +foSubst.cmx: terms.cmx foSubst.cmi +foUnif.cmo: terms.cmi foUnif.cmi +foUnif.cmx: terms.cmx foUnif.cmi index.cmo: terms.cmi index.cmi index.cmx: terms.cmx index.cmi orderings.cmo: terms.cmi orderings.cmi @@ -21,5 +23,5 @@ nCicBlob.cmo: terms.cmi nCicBlob.cmi nCicBlob.cmx: terms.cmx nCicBlob.cmi cicBlob.cmo: terms.cmi cicBlob.cmi cicBlob.cmx: terms.cmx cicBlob.cmi -paramod.cmo: terms.cmi pp.cmi nCicBlob.cmi founif.cmi paramod.cmi -paramod.cmx: terms.cmx pp.cmx nCicBlob.cmx founif.cmx paramod.cmi +paramod.cmo: terms.cmi pp.cmi nCicBlob.cmi paramod.cmi +paramod.cmx: terms.cmx pp.cmx nCicBlob.cmx paramod.cmi diff --git a/helm/software/components/ng_paramodulation/.depend.opt b/helm/software/components/ng_paramodulation/.depend.opt index 0033d44db..8181c02de 100644 --- a/helm/software/components/ng_paramodulation/.depend.opt +++ b/helm/software/components/ng_paramodulation/.depend.opt @@ -1,18 +1,20 @@ +terms.cmi: pp.cmi: terms.cmi -fosubst.cmi: terms.cmi -founif.cmi: terms.cmi +foSubst.cmi: terms.cmi +foUnif.cmi: terms.cmi index.cmi: terms.cmi orderings.cmi: terms.cmi nCicBlob.cmi: terms.cmi cicBlob.cmi: terms.cmi +paramod.cmi: terms.cmo: terms.cmi terms.cmx: terms.cmi pp.cmo: terms.cmi pp.cmi pp.cmx: terms.cmx pp.cmi -fosubst.cmo: terms.cmi fosubst.cmi -fosubst.cmx: terms.cmx fosubst.cmi -founif.cmo: terms.cmi fosubst.cmi founif.cmi -founif.cmx: terms.cmx fosubst.cmx founif.cmi +foSubst.cmo: terms.cmi foSubst.cmi +foSubst.cmx: terms.cmx foSubst.cmi +foUnif.cmo: terms.cmi foUnif.cmi +foUnif.cmx: terms.cmx foUnif.cmi index.cmo: terms.cmi index.cmi index.cmx: terms.cmx index.cmi orderings.cmo: terms.cmi orderings.cmi @@ -21,5 +23,5 @@ nCicBlob.cmo: terms.cmi nCicBlob.cmi nCicBlob.cmx: terms.cmx nCicBlob.cmi cicBlob.cmo: terms.cmi cicBlob.cmi cicBlob.cmx: terms.cmx cicBlob.cmi -paramod.cmo: terms.cmi pp.cmi nCicBlob.cmi founif.cmi paramod.cmi -paramod.cmx: terms.cmx pp.cmx nCicBlob.cmx founif.cmx paramod.cmi +paramod.cmo: terms.cmi pp.cmi nCicBlob.cmi paramod.cmi +paramod.cmx: terms.cmx pp.cmx nCicBlob.cmx paramod.cmi diff --git a/helm/software/components/ng_paramodulation/Makefile b/helm/software/components/ng_paramodulation/Makefile index 152c74a1b..a48753c4a 100644 --- a/helm/software/components/ng_paramodulation/Makefile +++ b/helm/software/components/ng_paramodulation/Makefile @@ -1,7 +1,7 @@ PACKAGE = ng_paramodulation INTERFACE_FILES = \ - terms.mli pp.mli fosubst.mli founif.mli index.mli orderings.mli \ + terms.mli pp.mli foSubst.mli foUnif.mli index.mli orderings.mli \ nCicBlob.mli cicBlob.mli paramod.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) diff --git a/helm/software/components/ng_paramodulation/fosubst.ml b/helm/software/components/ng_paramodulation/foSubst.ml similarity index 100% rename from helm/software/components/ng_paramodulation/fosubst.ml rename to helm/software/components/ng_paramodulation/foSubst.ml diff --git a/helm/software/components/ng_paramodulation/fosubst.mli b/helm/software/components/ng_paramodulation/foSubst.mli similarity index 100% rename from helm/software/components/ng_paramodulation/fosubst.mli rename to helm/software/components/ng_paramodulation/foSubst.mli diff --git a/helm/software/components/ng_paramodulation/founif.ml b/helm/software/components/ng_paramodulation/foUnif.ml similarity index 98% rename from helm/software/components/ng_paramodulation/founif.ml rename to helm/software/components/ng_paramodulation/foUnif.ml index bcea59ad5..e4ea77c99 100644 --- a/helm/software/components/ng_paramodulation/founif.ml +++ b/helm/software/components/ng_paramodulation/foUnif.ml @@ -14,7 +14,7 @@ exception UnificationFailure of string Lazy.t;; module Founif (B : Terms.Blob) = struct - module Subst = Fosubst.Subst(B) + module Subst = FoSubst.Subst(B) module U = Terms.Utils(B) let unification vars locked_vars t1 t2 = diff --git a/helm/software/components/ng_paramodulation/founif.mli b/helm/software/components/ng_paramodulation/foUnif.mli similarity index 100% rename from helm/software/components/ng_paramodulation/founif.mli rename to helm/software/components/ng_paramodulation/foUnif.mli diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml index 3206ff7d2..0414de7e3 100644 --- a/helm/software/components/ng_paramodulation/paramod.ml +++ b/helm/software/components/ng_paramodulation/paramod.ml @@ -8,7 +8,7 @@ let nparamod metasenv subst context t = let module B = NCicBlob.NCicBlob(C) in let module Pp = Pp.Pp (B) in let res,vars = B.embed t in - let module FU = Founif.Founif(B) in + let module FU = FoUnif.Founif(B) in let test_unification vars = function | Terms.Node [_; _; lhs; rhs] -> prerr_endline "Unification test :"; -- 2.39.2